著者

田中 一之

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.32, no.1, pp.3-8, 2004-10-25 (Released:2009-07-23)

参考文献数

19

著者

田中 一之

出版者

一般社団法人 日本数学会

雑誌

数学 (ISSN:0039470X)

巻号頁・発行日

vol.42, no.3, pp.244-260, 1990-07-31 (Released:2008-12-25)

参考文献数

72

著者

田中 一之

出版者

日本科学哲学会

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.40, no.2, pp.13-21, 2007-12-25 (Released:2009-05-29)

参考文献数

20

---

Reverse Mathematics is an ongoing research program on foundations of mathematics, whose aim is to find out what kinds of logical or set-theoretical hypotheses are necessary and sufficient to prove a theorem of ordinary mathematics. In this paper, we show that the fundamental theorem of algebra holds within RCA0, a weakest base theory of this program, by way of a combination of a nonstandard method and a conservation result on weak König's lemma.

著者

田中 一之

出版者

京都大学

雑誌

数理解析研究所講究録 (ISSN:18802818)

巻号頁・発行日

vol.1301, pp.79-83, 2003-01

著者

田中 一之

雑誌

情報処理

巻号頁・発行日

vol.35, no.4, 1994-04-15

著者

田中 一之 山崎 武 服部 哲弥 小澤 正直 黒田 覚 隈部 正博 服部 哲哉 小澤 正直 鈴木 登志雄 黒田 覚 隈部 正博 鹿島 亮

出版者

東北大学

雑誌

基盤研究(B)

巻号頁・発行日

2007

---

本研究の主題は, 超準的手法の論理的基礎付けである. 従来集合論をベースに行われた超準的議論を, 計算可能性と結びついた2階算術の弱い体系において実行することにより, 命題の構成的な内容まで超準的に得られるようにする. 代表者が考案した2階算術の超準的方法論の改良と整備を行いながら, 2階算術の超準モデルを研究し, 同時に実数集合の計算構造について探査する. とくに, ランダムな無限列としての実数とその集合の性質を調べる.

著者

田中 一之

出版者

一般社団法人 日本数学会

雑誌

総合講演・企画特別講演アブストラクト (ISSN:18843972)

巻号頁・発行日

vol.2000, no.Autumn-Meeting1, pp.54-64, 2000 (Released:2010-07-01)

参考文献数

14

著者

羽川 令子 佐野 芳彦 加野島 英渡 田中 一之 金子 俊一

出版者

一般社団法人映像情報メディア学会

雑誌

映像情報メディア学会技術報告 (ISSN:13426893)

巻号頁・発行日

vol.34, no.34, pp.91-94, 2010-08-30

---

本研究では,紙面上に置いたサイコロの画像を実時間でロバストに認識し,特徴量を定式化・数値化する手法を提案する.これにより得られた数値をサウンドセルと呼ばれる作曲ツールの入力値として利用することで,身体障害者用リハビリテーションツールを作成することを目的としている.今回は主に,画像計測によるサイコロの特徴量検出部分について報告する.