竹内 泉
Izumi Takeuti
更新日: 2023/09/04
基本情報
- 所属
- 国立研究開発法人産業技術総合研究所 人工知能研究センター
- 研究者番号
- 20264583
- ORCID iD
https://orcid.org/0000-0001-7235-2281- J-GLOBAL ID
- 201801007581736226
- researchmap会員ID
- B000333209
研究分野
1論文
45-
哲学誌 65 111-128 2023年3月25日
-
哲学誌 (64) 39-52 2022年3月25日
-
科学哲学 54(1) 73-1 2021年9月30日
-
Japan Journal of Industrial and Applied Mathematics 38(2) 677-692 2021年2月11日 査読有り筆頭著者最終著者責任著者
-
科学哲学 53(1) 25-41 2020年9月30日 査読有り
-
Context, Conflict and Reasoning 115-126 2020年8月 査読有り筆頭著者
-
JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS 36(2) 473-495 2019年7月 査読有り
-
哲学誌 59(59) 1-17 2017年3月 査読有り
-
ウィンターワークショップ2017・イン・飛騨高山 論文集 5-6 2017年1月 査読有り
-
科学哲学 48(2) 3-12 2015年12月 査読有り招待有り
-
Advanced Science, Engineering and Medicine 6(8) 892-898 2014年8月 査読有り
-
Proceedings of the Sixth International Conference on eHealth, Telemedicine, and Social Medicine 81-87 2014年3月 査読有り
-
Proceedings of the International Symposium on Information Science and Information Managemen 2013年11月 査読有り
-
SpringerPlus 2(1) 1-20 2013年 査読有り
-
科学哲学 45(2) 1-14 2012年12月 査読有り招待有り
-
he Seventh International Conference on Software Engineering Advances 50-59 2012年11月 査読有り
-
International Journal On Advances in Software 1(1) 989-1002 2012年4月 査読有り
-
Semantics - Advances in Theories and Mathematical Models 193-212 2012年4月 招待有り
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E95D(4) 989-1002 2012年4月 査読有り
-
日本応用数理学会論文誌 22(1) 23-45 2012年3月 査読有り
MISC
15-
現代思想 45(10) 180-185 2017年6月
-
数学セミナー 54(11) 14-17 2015年11月
-
人工知能学会全国大会論文集 26 1-4 2012年
-
人工知能学会全国大会論文集 2012 1A3OS17b6-1A3OS17b6 2012年
-
電子情報通信学会ソサイエティ大会講演論文集 2011 "S-19"-"S-20" 2011年8月30日
-
情報処理学会論文誌プログラミング（PRO） 3(3) 19-19 2010年6月16日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 107(4) 7-12 2007年4月12日
-
現代思想 35(3) 180-185 2007年2月
-
数理解析研究所講究録 1442 76-82 2005年7月
-
数理解析研究所講究録 1318 3-14 2003年5月
-
数理解析研究所講究録 1301 122-138 2003年1月
-
数理解析研究所講究録 1268 50-58 2002年6月
-
数理解析研究所講究録 1222 114-122 2001年7月
-
数理解析研究所講究録 1217 143-157 2001年6月
-
数理解析研究所講究録 1166 222-225 2000年8月