口コミサイト LabLog の
鹿島亮研究室
数学のことばで論理そのものを調べる、数理論理学の研究室。

About研究室について
非古典論理を、数学として調べる。
鹿島研究室は、
なかでも、
論理の
著書に
用語の説明
- 数理論理学
- 証明や
推論の しく み その ものを、 数学の 方法で あつかう 分野 - 非古典論理
- 「真か
偽か」だけで 考える 古典論理とは 別の 規則を もつ論理。 様相論理や 直観主義論理など - ラムダ計算
- 関数を
つくる、 関数に 値を 当ては める、と いう 操作だけで 計算を 書き表すしく み
Research研究テーマ
数理論理学を
Members教員
- 准教授鹿島 亮研究業績 ↗
Voices先輩の声
評価・クチコミは、
インタビューに
先輩の
--
--
--
--
--
--
先輩の
- この
研究室の 推しポイントは? - 入ってみて
分かった ことは? - 雰囲気や
先生の 人柄は? - どんな
学生に おすすめ? - 卒業後の
進路は?
Related鹿島亮研究室に近い研究室
この
画像について
トップと
- トップの
画像:「Formulas on an old blackboard (Unsplash)」 Roman Mager roman_lazygeek/CC0(トリミング) - 「証明できる」ことの
論理:「1925 kurt gödel」 作者不詳/パブリックドメイン (トリミング) - 関連する
研究室 (西畑伸也研究室) :「Collision de solitons hydrodynamiques」 Christophe.Finot, Julien Fatome, Stéphane Pitois/CC BY-SA 4.0(トリミング) - 関連する
研究室 (土岡俊介研究室) :「Gosset 1 22 polytope」 Tom Ruen/パブリックドメイン (トリミング) - 関連する
研究室 (田中健一郎研究室) :「Domain coloring x2-1 x-2-i x-2-i d x2+2+3i」 Djiboun/CC BY-SA 4.0(トリミング) - 関連する
研究室 (梅原雅顕研究室) :「Catalan minimal surface 03」 Rectas/CC0(トリミング)
LabLog について
LabLog
この




