(プレゼン前の準備)

プレゼン設定

• 日本語、ローカルサーバ
• 日本語、研究室サーバ
• English, locally-running server
• English, server in Miyazaki

ローカルサーバ

• SimpleServerまたはMagicHaskellerを起動しておく。遅くとも発表3０分前．� cd ~/lndired/MagicHaskeller/partial/MagicHaskeller ./SimpleServer -w -t predicatesWithRatio +RTS -N
• lighttpdも起動していなければ起動。
  sudo /etc/init.d/lighttpd start
• CGIでちゃんと動いているかどうか確認�

ネットワーク

• 国内のプレゼンならWiFi routerの電源を入れて接続を確認。
• 海外でのプレゼンは、WiFiについては確認しまくるしかない。
• 研究室のCGIがちゃんと動いているか確認。�
  -expの方も。p
• ipft410にログインして、ps aux | grep SimpleServer; ps aux | grep MagicHaskellerでメモリ状況を確認
• ifpserverのalternative serverについても同様。
• ipft410ですぐにnohup ./SimpleServer & を起動できるようにしておく。

ディスプレイの調整 〜 Precision M6500の場合

• (最初からつないだ状態で起動すると、クローンにできたこともあったと思う。が、当てにしない。)
• NVIDIA Server Settingsを開き、TwinViewにした上で、2つの画面の左上を重ねる。
  (gnome-control-center displayだと重ねられない)
• Firefoxのサイズをちょうどプロジェクタのディスプレイサイズにあわせる。
• フォントサイズも調整すると良いかも。

Automatic programming service for Haskell which is:

• Easy to use (as easy as a web search engine, I believe)
• Fast (except when using Rational numbers)
• Offhanded (available even from a smartphone)

(Local copy of my home page, with links to the locally-running MagicHaskeller, just in case when the network is down.)

• Numbers, characters, lists, tuples, higher-order functions, etc. are available.
  数，文字，リスト，タプル，高階関数などなどが使える．
• Recursions are achieved by using higher-order functions
  再帰は高階関数で実現
• Queries are not actually limited to input-output examples, but you can use Haskell expressions liberally.
  実は，入出力例以外でも，結構自由に書ける．

• not good at dealing with partial functions
  部分関数は苦手．
• up to about 7 function applications in the internal representation
  （内部表現において）関数適用7回まで。
  • count in the η-long normal form
    η-long normal formでカウント。
  • some useful combinations of functions (e.g. \f x n -> iterate f x !! abs n) are considered 1 function
    いくつかの有用な関数の組み合わせ(たとえば \f x n -> iterate f x !! abs n)は1つの関数と数える。
  • uncommon functions (e.g. gcd) with less priority are considered to involve 1 or 2 applications
    あまり使われない関数 (たとえば gcd) は、優先順序を下げて、関数適用が1〜2回入っていると考えて数える。
• only a few literals
  少しのリテラルしか使えず。
• Rational numbers are slow.
  (Because their implementation in the Standard Library is slow.)
  有理数関係は遅い．（標準ライブラリの実装が遅い）

• not generating semantically equivalent expressions
  意味論的に等価な式の生成を抑制
  • by not generating reducible expressions (by pattern matching)
    簡約可能な式を生成しない！
  • by shelving expressions whose difference from other ones has not been found by random search
    引数上でランダム探索を行い、同じ型ですでに生成したすべての式と意味論的に異なることが示されない限りは、その式を結果としない。(ランダム探索を続ける。)
• remove functions with unused arguments

  (They can be constructed from functions only with used arguments.)

  冗長な引数（使用しない引数）のある関数の除去

  (冗長な引数のない関数から構築可能)

• easy-to-use Haskell program synthesis system
  簡単に使えるHaskellプログラム合成

• Sometimes works, sometimes not.
  解ける問題もあれば、解けない問題も....

• Supposed to be useful for casual programming
  気軽にプログラムを組むのに良いはず

• Generate-and-test approach with shared memo table
  実装上は生成テスト法＋共有メモテーブル

Future work

• Lots of room for algorithm/usability improvements, e.g.
  さらなるアルゴリズム改善・利便性向上の余地かなりあり。
  • Introducing literals
  • Saving memory & writing to disk
  • More efficient Rational implementation (or Double/Float?)
• MagicExceller, MagicMathematicaer, etc.

• Providing more options (esp. about the function set) by releasing the server source
  サーバのソースを公開して，(特に関数セットに関する)選択肢を与える

Thanks

for not cracking the server so far!

Appendix

Evaluation: 99 Haskell Problems

Problem 1: Find the last element of a list.

Problem 2: Find the last but one element of a list.

Problem 3: Find the K'th element of a list. The first element in the list is number 1.

Problem 4: Find the number of elements of a list.

Problem 5: Reverse a list.

Problem 6: Find out whether a list is a palindrome.

Problem 7: Flatten a nested list structure. Could not make a query (no support of creating new data types)

Problem 8: Eliminate consecutive duplicates of list elements.

Problem 9: Pack consecutive duplicates of list elements into sublists.

Problem 10: Run-length encoding of a list.

Problem 11 - 13: Could not make a query (no support of creating new data types)

Problem 14: Duplicate the elements of a list.

Problem 15: Replicate the elements of a list a given number of times.

Problem 16: Drop every N'th element from a list.

Problem 17: Split a list into two parts; the length of the first part is given.

Problem 18: Extract a slice from a list.

Problem 19: Rotate a list N places to the left.

Problem 20: Remove the K'th element from a list.

Evaluation: Problems from the Flash Fill paper (Gulwani, PoPL 2011)

Example 1: Extract the telephone number.

Example 2: Extract the quantity.

Example 3: Extract the directory name

Example 4: Generate abbreviation.

Example 5: Split odds.

Example 6: Remove excess spaces.

Results in Full

99 Haskell Problems

problem	MagH result	Flash Fill result
Problem 1	O	O
Problem 2	O	O
Problem 3	O	X
Problem 4	Otr	X
Problem 5	Otr	X
Problem 6	O	X
Problem 7	Xdata	Xdata
Problem 8	O	X
Problem 9	Otr	X
Problem 10	X	X
Problem 11	Xdata	Xdata
Problem 12	Xdata	Xdata
Problem 13	Xdata	Xdata
Problem 14	O	O
Problem 15	O	X
Problem 16	X	X
Problem 17	X	X
Problem 18	O	X
Problem 19	X	X
Problem 20	X	X

Flash Fill Examples

problem	MagH result	Flash Fill result
Example 1	X	O
Example 2	O	O
Example 3	X	O
Example 4	O	O
Example 5	X	O
Example 6	O	O
Example 7	X	O
Example 8	X	X
Example 9	X	O
Example 10	X	O

Future work (alternative)

• Lots of room for algorithm/usability improvements, e.g.
  さらなるアルゴリズム改善・利便性向上の余地かなりあり。
  • Introducing literals
  • Saving memory & writing to disk
  • More efficient Rational implementation (or Double/Float?)
• MagicExceller, MagicMathematicaer, etc.

• Providing more options (esp. about the function set) by releasing the server source
  サーバのソースを公開して，(特に関数セットに関する)選択肢を与える