教員・研究室情報
| 取得学位 |
|
|---|---|
| 研究室・ユニット名 | 数学 |
| 研究テーマ |
自然演繹における部分構造論理の正規化可能条件についての研究<br /> |
| 研究キーワード |
数学
数理科学
圏論
部分構造論理
論理構造の解明
|
| 教育・研究への取り組み |
自然演繹における部分構造論理の体系を整備し、それらの体系どもにおける標準化定理の成立の可否を示し、特に標準化実行過程における分配律や結合律の影響を明らかにすること。あわせて、計算論における計算過程やプログラムの実行過程の詳細な考察等を可能にする方法論的枠組みの提供することを目的としています。 |
受験生へのメッセージ
数学とは、全ての可能性を想像した上でこれしかないという論理を追求する学問です。みなさんは意外に思うかもしれませんが、「想像」は数学に必要不可欠です。そして、「想像」と「論理」は、自然科学のみならず、社会科学・人文科学などの全ての科学で必要なものです。
研究シーズ
| 研究キーワード |
論理構造の解明部分構造論理量子論理
|
|---|---|
| 研究テーマ | 自然演繹で定式化された部分構造論理による量子論理について |
| 研究の概要・特徴 |
部分構造論理は、計算機科学や複雑系科学など、科学の先端分野で、方法論的枠組を提供するものとして、近年著しい発展を遂げている論理である。 |
| 産業界等への アピールポイント (用途・応用例等) |
「論理的思考力」などとよく言われますが、そもそも論理とはなにか、を考察しています。 |