口コミサイト LabLog の
数理論理学(ガイナ ダニエル)
数理論理学や圏論、形式手法を専門とする研究室。

About研究室について
数理論理学・圏論・形式手法を専門とする。
数理論理学の
共創学部の
九州大学の
教員紹介ページには、
用語の説明
- 数理論理学
- 正しい
推論や 証明の しくみを、 数学の 対象と して 調べる 分野 - 圏論
- 数学の
いろいろな 対象どうしの 関係を、 矢印の つながりで 整理してとらえる 数学の 分野 - 形式手法
- ソフトウェアや
システムの 仕様を 数学の 言葉で 書き、 正しく 動く ことを 確かめる 方法
Research研究テーマ
専門分野は、
Members教員
- 准教授ガイナ ダニエル
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related数理論理学(ガイナ ダニエル)に近い研究室
この
画像について
トップと
- トップの
画像:「High Threshold Logic circuit diagram」 Jain.dhrj/CC BY-SA 3.0(トリミング) - 関連する
研究室 (地球物理学 (大野 正夫)) :「Tavurvur volcano edit」 Taro Taylor edit by Richard Bartz/CC BY 2.0(トリミング) - 関連する
研究室 (〈自然地理学〉) :「Malolo Barrier Reef 5」 Maksym Kozlenko/CC BY-SA 4.0(トリミング) - 関連する
研究室 (自然地理学 (菅 浩伸)) :「Aerial views of The Great Barrier Reef, Queensland (Ank Kumar) 01」 Ank gsx/CC BY-SA 4.0(トリミング) - 関連する
研究室 ( 〈動物栄養生理学〉) :「Broiler Chickens 001」 Icem4k/CC BY-SA 4.0(トリミング)
LabLog について
LabLog
この



