水谷 哲也

数理論理学をベースに、コンピュータプログラムのことのみならず世の中の森羅万象をモデル化することに興味があります。特に、藝術的な音楽演奏の構造や、間違っているかも知れない人間の知識に基づく判断などを論理的に解き明かす研究を行っています。情報学類生は、しっかりした基礎の上に多様な応用が広がっていることをふまえて欲しいと思ってます。