id:kyon_mm

投稿一覧(最新100件)

"表示的意味論に基づくパターンマッチング コンパイル方式の構築と実装"
これについてはちょっと懐疑的だなぁ。。。/ "ドメイン特化型開発における自動化テストプロセスの提案"
これについてはちょっと懐疑的だなぁ。。。/ "ドメイン特化型開発における自動化テストプロセスの提案"
Rubyに多相レコードを実装した論文かな? 読んでみる!/ "多相レコード型に基づくRubyプログラムの型推論"