STAFF / 教員紹介
鈴木 信行 教授 / 静岡
専門分野
数理論理学、非古典論理
研究内容
非古典論理の研究をしています。特に、超直観主義論理、様相論理などの非古典述語論理を意味的手法で研究しています。認識論理(様相論理の一種)の応用にも興味があります。
What’s new / 新着情報
- プロゲステロン膜受容体（γタイプ）は魚類嗅神経の形成に必須であることを解明しました詳細は以下のページよりご参照ください．h …
- 第21回インターアカデミア会議をポーランドにて開催しました2024年9月4日から6日までの3日間、 …
- 竹内成生さん（宮崎真研究室）日本生理心理学会2023年度優秀論文賞受賞竹内成生さん (情報科学専攻修了・宮崎真 …
- １次募集要項 (令和7年4月入学・令和6年10月入学)を掲載一次入試募集要項（令和7年4月入学・令和 …
- 【プレスリリース】岩手県から日本最古の植物化石を発見静岡大学理学部のルグラン ジュリアン助教 …