あさいです。 プログラミング言語の基礎理論を研究しています。 どうすれば無駄なくプログラムを実行できるか、楽にプログラムを作れるようになるか、プログラムの誤りを減らせるか。 対象をよく理解しその本質をとらえると、自然と物事は簡単なものの組み合わせになってきます。 研究室NEWS 以下の論文がカテゴリ1 (国内外未発表枠) で発表されました。 論理関係によるshift/resetの部分評価器の正当性の証明 (横関, 浅井) 定義のデータ化による証明木可視化システムMikiβの拡張 (大石,浅井) 以下のポスタがカテゴリ3 (ポスター・デモ発表) で発表されました。 OCaml Blockly を使った中学生向けの１次関数の学習教材 (大石,窪田, 柴田, 茅根, 横関, 浅井) OCaml Blocklyのチュートリアルサイトの理解度向上に向けた改善 (柴田, 浅井) UniverseJsラ