Nyarlathotep

Nyarlathotep

• 1.
  Nyarlathotep いつもニコニコあなたの隣に い寄る混沌
• 2.
  自己紹介 • 矢倉 大夢(@hiromu1996) • 高校1年生 • パソコン研究部長
• 3.
  自己紹介 • 興味のあること •Linuxカーネル • セキュリティ • 競技プログラミング • 難解プログラミング言語
• 4.
  自己紹介 • OSS奨励賞を受賞 (sora_hと一緒に) •未踏IT人材発掘・育成事業 • 未踏の合宿から直接きました
• 5.
  (」・ω・)」うー！(／・ω・)／にゃー！
• 9.
  Esolangが ナメられている ※Esolang = Esoteric Programming Language   = 難解プログラミング言語
• 10.
  これは由々しき事態だ！
• 11.
  Esolangの怖さを 思い知るがよい
• 12.
  作りました • Nyarlathotep  •純粋関数型 • 遅延評価 • 型なしラムダ計算 • チューリング完全
• 13.
  SKIコンビネータ • SKIコンビネータ •S := λxyz. xz(yz)  • K := λxy. x  • I := λx.x  • これがあればチューリング完全
• 14.
  Uコンビネータ • U :=λf. ((f S)K)  • S = (U(U(U(UU))))  • K = (U(U(UU))  • I = (UU)  • これさえあればチューリング完全
• 15.
  入出力 • ソースコードが表現する関数に 入力文字列のリストを適用する •その結果のリストを文字列として表示 • 文字はチャーチ数で表す
• 16.
  チャーチ数 • 数値を関数で表すための仕組み •0 := λfx. x • 1 := λfx. fx • 2 := λfx. f(fx) • 3 := λfx. f(f(fx))
• 17.
  というわけで • (」・ω・)」うー！ →関数適用 • (／・ω・)／にゃー！ → U combinator
• 18.
  サンプル • echo  •(」・ω・)」うー！ (／・ω・)／ にゃー！ (／・ω・)／にゃー！ • 時間があればその他のデモを
• 19.
  さいごに • 同級生の純粋関数型野郎 @_yingtaiに見せたところ •Iotaの命令置換だしレベル低いじゃん • (IotaというEsolangがある)
• 20.
  さいごに • 次回までにはニャルコンビネータとか 作ってきます（予定） • ご清聴ありがとうございました • https://github.com/hiromu/Nyarlathotep