Shin-ya Nishizaki 研究室

主宰者：Shin-ya Nishizaki
東京工業大学

AI 要約（直近 5 年の研究成果）

本研究室では、プログラミング言語の理論的基礎と実践的応用の両面から研究を行っています。理論面では、ラムダ計算という計算機科学の基礎的な数学モデルを拡張し、プログラムの実行時に変数とその値の対応関係（環境）を一級のデータとして扱う仕組みを形式化しています。また、制御フローを柔軟に操作するための言語構造を数学的に厳密に定義し、その性質を証明することで、プログラミング言語設計の基盤を提供しています。 実践面では、これらの理論的知見を用いて、ビデオゲームやロボット、産業機械などのインタラクティブシステムに必要な制御入力の検証を自動化するツールを開発しています。人間の手の動きという物理的制約とゲームコントローラーなどの論理的なルール定義を統合し、AI推論技術（充足可能性判定問題を解く手法）を活用して、実装段階で発見される矛盾や不可能な入力パターンを早期に検出できるシステムを構築しています。このアプローチにより、開発コストを削減し、より堅牢で使いやすいシステム設計を実現することを目指しています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（7 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。