Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献詳細
1
0
0
0
OA
超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-
著者
田中 一之
山崎 武
服部 哲弥
小澤 正直
黒田 覚
隈部 正博
服部 哲哉
小澤 正直
鈴木 登志雄
黒田 覚
隈部 正博
鹿島 亮
出版者
東北大学
雑誌
基盤研究(B)
巻号頁・発行日
2007
本研究の主題は, 超準的手法の論理的基礎付けである. 従来集合論をベースに行われた超準的議論を, 計算可能性と結びついた2階算術の弱い体系において実行することにより, 命題の構成的な内容まで超準的に得られるようにする. 代表者が考案した2階算術の超準的方法論の改良と整備を行いながら, 2階算術の超準モデルを研究し, 同時に実数集合の計算構造について探査する. とくに, ランダムな無限列としての実数とその集合の性質を調べる.
言及状況
変動(ピーク前後)
変動(月別)
分布
Twitter
(1 users, 1 posts, 0 favorites)
超準解析、無限ゲームとかへの応用もあるみたいでヤバ(チラッと見たけどわからんので誰か教えて) https://t.co/Iz2dvSgzbk
収集済み URL リスト
https://kaken.nii.ac.jp/ja/report/KAKENHI-PROJECT-19340019/193400192010jisseki/
(1)