文献一覧: 竹内外史 (著者) - Ceek.jp Altmetrics

22 0 0 0 OA 数学について

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.10, no.4, pp.170-174, 1972-03-30 (Released:2009-09-04)

4 0 0 0 OA Stanfordにおける1960年科学基礎論国際会議

著者: 末綱恕一大江精三竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.5, no.1, pp.45-51, 1960-12-25 (Released:2009-09-04)

4 0 0 0 OA 形式主義の立場から I

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.2, no.2, pp.265-269, 1956-01-15 (Released:2009-09-04)

4 0 0 0 OA 數學の基礎について

著者: 竹内外史
出版者: 一般社団法人日本数学会
雑誌: 数学 (ISSN:0039470X)
巻号頁・発行日: vol.2, no.1, pp.16-32, 1949-04-30 (Released:2008-12-25)
参考文献数: 6

2017-05-11 21:29:55
4 + 4 Twitter

3 0 0 0 OA 物理学者への期待

著者: 竹内外史
出版者: 一般社団法人日本物理学会
雑誌: 日本物理学会誌 (ISSN:00290181)
巻号頁・発行日: vol.51, no.3, pp.194, 1996-03-05 (Released:2019-09-22)

2021-05-02 20:19:48
3 + 4 Twitter

2 0 0 0 OA Bounded Arithmeticと計算量の根本問題

著者: 竹内外史
出版者: 一般社団法人日本数学会
雑誌: 数学 (ISSN:0039470X)
巻号頁・発行日: vol.49, no.2, pp.121-143, 1997-04-28 (Released:2008-12-25)
参考文献数: 10

2020-12-16 23:44:47
2 + 0 Twitter

2 0 0 0 物理学者への期待

著者: 竹内外史
出版者: 一般社団法人日本物理学会
雑誌: 日本物理學會誌 (ISSN:00290181)
巻号頁・発行日: vol.51, no.3, 1996-03-05

2017-05-15 19:18:00
2 + 0 Twitter

https://ci.nii.ac.jp/naid/110002077072

1 0 0 0 OA 数学の回顧と展望

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.28, no.2, pp.55-58, 2001-03-31 (Released:2009-07-23)

2021-01-30 14:50:00
1 はてなブックマーク

1 0 0 0 OA 証明論について

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.17, no.1, pp.1-5, 1984-12-25 (Released:2009-07-23)
被引用文献数: 1 1

2021-01-30 14:16:00
1 はてなブックマーク

1 0 0 0 OA ロスアンジェルス, リーズ, アムステルダム

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.8, no.4, pp.183-184, 1968-03-30 (Released:2009-09-04)

2021-01-30 13:17:00
1 はてなブックマーク

1 0 0 0 OA 1964年国際科学基礎論学会Congressに出席して

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.7, no.2, pp.95-97, 1965-02-28 (Released:2009-09-04)

2021-01-30 13:12:00
1 はてなブックマーク

1 0 0 0 OA シンポジウム科学における分化と綜合

著者: 八杉竜一岡小天道家達将小川鼎三斉藤信彦沢瀉久敬竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.6, no.4, pp.176-183, 1964-03-31 (Released:2009-09-04)

2021-01-30 13:09:00
1 はてなブックマーク

1 0 0 0 OA 集合論について

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.5, no.3, pp.97-102, 1961-09-30 (Released:2009-09-04)

2021-01-30 13:04:00
1 はてなブックマーク

1 0 0 0 OA 形式主義の立場から III

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.2, no.4, pp.348-351, 1956-07-30 (Released:2009-09-04)

2021-01-30 12:56:00
1 はてなブックマーク

1 0 0 0 OA 形式主義の立場から II

著者: 竹内外史
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.2, no.3, pp.295-299, 1956-04-30 (Released:2009-09-04)

2021-01-30 12:55:00
1 はてなブックマーク

1 0 0 0 OA 研究発表概要研究発表概要科学基礎論学会講演会(昭和30年5月28・29日)

著者: 大江精三林知己夫永井博山内恭彦前原昭二竹内外史中村昭上田通夫伊藤誠林正弥
出版者: 科学基礎論学会
雑誌: 科学基礎論研究 (ISSN:00227668)
巻号頁・発行日: vol.2, no.1, pp.238-240, 1955-10-15 (Released:2014-03-11)

2021-01-30 12:54:00
1 はてなブックマーク

1 0 0 0 OA 最近の集合論

著者: 竹内外史
出版者: 一般社団法人日本数学会
雑誌: 数学 (ISSN:0039470X)
巻号頁・発行日: vol.23, no.1, pp.18-26, 1971-02-15 (Released:2008-12-25)

2017-05-11 13:18:34
1 + 0 Twitter