Yoriyuki Yamagata

論理学、数学、計算機科学、ときどき哲学

連絡先

学術出版物

プレゼンテーション

ソフトウェア

  • Camomile: OCaml用のユニコードライブラリ
  • nksnd: かな漢字変換エンジン