Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献一覧: 服部 哲哉 (著者)
2件
1
0
0
0
OA
超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-
著者
田中 一之
山崎 武
服部 哲弥
小澤 正直
黒田 覚
隈部 正博
服部 哲哉
小澤 正直
鈴木 登志雄
黒田 覚
隈部 正博
鹿島 亮
出版者
東北大学
雑誌
基盤研究(B)
巻号頁・発行日
2007
本研究の主題は, 超準的手法の論理的基礎付けである. 従来集合論をベースに行われた超準的議論を, 計算可能性と結びついた2階算術の弱い体系において実行することにより, 命題の構成的な内容まで超準的に得られるようにする. 代表者が考案した2階算術の超準的方法論の改良と整備を行いながら, 2階算術の超準モデルを研究し, 同時に実数集合の計算構造について探査する. とくに, ランダムな無限列としての実数とその集合の性質を調べる.
1
0
0
0
OA
2次元場の理論とカレント代数(講義ノート)
著者
東島 清
服部 哲哉
出版者
素粒子論グループ 素粒子研究編集部
雑誌
素粒子論研究
(
ISSN:03711838
)
巻号頁・発行日
vol.84, no.4, pp.153-175, 1992-01-20