|
表紙
哲學.
146
(
2021
.
3
) |
|
|
|
|
|
標題紙
哲學.
146
(
2021
.
3
) |
|
|
|
内容
哲學.
146
(
2021
.
3
) |
|
|
|
岡田光弘君略歴
Mitsuhiro Okada : a short CV
哲學.
146
(
2021
.
3
) ,p. 1
-
3
|
|
|
|
岡田光弘君業績抜粋
Selected works of Mitsuhiro Okada
Mitsuhiro Okada : a list of selected works
哲學.
146
(
2021
.
3
) ,p. 5
-
13
|
|
|
|
恩師大出晁 (大江晁) 先生の想い出
A memoir of my teacher, Professor Akira Ôide (Akira Ohe)
岡田, 光弘
哲學.
146
(
2021
.
3
) ,p. 15
-
18
|
|
|
|
線形論理の意味論のtruthmaker解釈に向けて
Towards a truthmaker interpretation of the semantics of linear logic
小関, 健太郎
, 岡田, 光弘
哲學.
146
(
2021
.
3
) ,p. 19
-
37
|
|
|
|
動的意味の真理条件的性質
Dynamic meaning and truth-conditions
天本, 貴之
哲學.
146
(
2021
.
3
) ,p. 39
-
82
|
|
|
|
竹内の整礎性証明再訪
Takeuti's well-ordering proofs revisited
Takeuti's well-foundedness arguments revisited
秋吉, 亮太
, Arana, Andrew
哲學.
146
(
2021
.
3
) ,p. 83
-
110
|
|
|
|
「基礎づけの基礎づけ」問題の構造
The structure of the problem of meta-ground
北村, 直彰
哲學.
146
(
2021
.
3
) ,p. 111
-
125
|
|
|
|
図的表現を用いた多属性意思決定研究に関する現状と展望
A review and agenda for multi-attribute decision-making study using graphical representation
森井, 真広
,
井出野, 尚
哲學.
146
(
2021
.
3
) ,p. 127
-
150
|
|
|
|
「否定は描けるか」プロジェクトの概要 : 意味論と実世界データ分析
A brief introduction to "can negation be depicted?" project : semantics and real-world data analysis
佐藤, 有理
哲學.
146
(
2021
.
3
) ,p. 151
-
161
|
|
|
|
計算と演繹 : 個人的な回想
Computation and deduction : a personal reminiscence
高橋, 優太
哲學.
146
(
2021
.
3
) ,p. 163
-
168
|
|
|
|
図形表現を用いた証明の正規化について
On normalization of heterogeneous proofs combining formulas and diagrams
竹村, 亮
哲學.
146
(
2021
.
3
) ,p. 169
-
176
|
|
|
|
師資相承
From master to disciple
長谷部, 浩二
哲學.
146
(
2021
.
3
) ,p. 177
-
191
|
|
|
|
|
|
|
|
|
|
|
