職位：教授

学位：博士（人間・環境学）

学歴：

• 1998年3月 京都大学理学部卒業
• 2004年3月 京都大学大学院人間・環境学研究科博士後期課程修了

所属学会：Association for Symbolic Logic

現在の専門分野：数理論理

研究テーマ：非古典論理と物理・プログラム理論

技術相談・協力ができるテーマ：論理学，数学，プログラミング講習等

担当科目：情報数学，論理数学，工学実験Ⅱ，プログラミング基礎Ⅲ，情報理論，形式言語理論，計算理論 ，数理論理学

研究室情報：徳尾研究室の主なテーマは，数理論理とプログラム理論です．数理論理とは，人間の思考・推論のプロセスを数学的に研究する分野です．関連して，“数学的に正しい”とはどういうことか，“証明”や“計算”とは何か，といった根源的な問題も考えます．現在，数理論理はコンピュータ・プログラムの理論的基盤の一つとなっており，プログラムの性質を分析したり，プログラムが正しく動くことを保証したり，新しいプログラミング・パラダイムを提案したりすることにも用いられています．

4年生へ：卒業研究では，数学・論理学に基づく理論的研究（ソフトウェア）を軸に，各自興味のあるテーマを自由に設定することも可能です．数学やプログラミングの得手・不得手は問いませんが，物事を深く考えることが好きな人はとくに向いていると思います．

教員室：情報工学科棟 3階

くわしくは『徳尾研究室ホームページ』へ