小川 孝典 | 首都大学東京理工学研究科数理情報科学専攻
スポンサーリンク
概要
首都大学東京理工学研究科数理情報科学専攻 | 論文
- ラグランジュ平均曲率流とシンプレクティック面積 (部分多様体論とその周辺領域における新たな研究対象)
- ランダムなビット列における連 (証明論と論理・計算の構造)
- 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)