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