鈴木 登志雄 | 首都大学東京理工学研究科数理情報科学専攻
スポンサーリンク
概要
関連著者
-
鈴木 登志雄
首都大学東京理工学研究科数理情報科学専攻
-
鈴木 登志雄
首都大学東京理工学研究科
-
鈴木 登志雄
大阪府立大学理学部
-
山崎 武
東北大学理学部
-
隈部 正博
放送大学教養学部
-
川村 保敬
首都大学東京理工学研究科数理情報科学専攻
-
山崎 武
大阪府立大学理学部
-
中村 亮太
首都大学東京理工学研究科数理情報科学専攻
-
川西 暁夫
大阪府立大学理学系大学院数理・情報科学専攻
著作論文
- ランダムなビット列における連 (証明論と論理・計算の構造)
- Failure of the uniqueness of eigen-distribution on random assignments for game trees (Formal Systems and Computality Theory)
- ランダム性をもったゲーム木を読み切るコストの期待値 (形式体系と計算理論)
- Truth-table reductions and minimum sizes of forcing conditions : preliminary draft(Proof Theory of Arithmetic)
- Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)
- 手描き曲線からの乱数抽出とそのセマンティクス : 中間報告 (証明論と計算論)
- On Splitting Numbers(Mathematical Logic and Applications'92)