情報論理学

正在显示日语原文 · 查看译文

人と計算機の隔たりを埋めるプログラミング理論の研究室。

程序设计语言理论形式语言理论定理证明

About关于研究室

ヒトとコンピュータのギャップを埋める。

情報論理学研究室は、プログラミングにおける人間と計算機の隔たりを埋めることを目指して研究しています。
人間に合わせた書き方では計算機に負担がかかり、計算機に合わせた書き方では人間に負担がかかります。
そこで、人向けの記述から計算機向けの記述を導くプログラム変換と、意図に沿うかを保証するプログラム検証に取り組んでいます。
形式木言語理論を中心に、定理証明支援系を使った研究も進めています。