池上 大介
Daisuke Ikegami
更新日: 2023/12/27
基本情報
- 学位
-
博士(工学)
- J-GLOBAL ID
- 201101098182786027
- researchmap会員ID
- B000000924
Erdös number: (at most) 5. The chain of length 5 that I became aware of (2013) is: Daisuke Ikegami -> Yuichi Kaji -> Tadao Kasami -> Torleiv Kløve -> Colbourn Charles Joseph -> Paul Erdös. The chain maybe shrinked. Maybe I have another short chain.
研究キーワード
8研究分野
3経歴
11-
2008年4月 - 2010年3月
-
2005年10月 - 2010年3月
-
2005年1月 - 2005年3月
論文
10-
Japan Journal of Industrial and Applied Mathematics 30(1) 39-50 2013年 査読有り
-
同志社大学理工学研究報告 48(3) 35-42 2007年10月
-
同志社大学理工学研究報告 44(4) 217-226 2004年1月
-
Advances in Applied Mathematics 31(2) 420-432 2003年8月 査読有り
-
電子情報通信学会技術研究報告 103(215) 33-37 2003年7月23日 筆頭著者
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E86A(3) 643-651 2003年3月 査読有り
-
ISIT: 2002 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS 144-144 2002年 査読有り
-
Proceedings of the 2002 IEEE International Symposium on Information Theory (IEEE ISIT2002) 316-316 2002年 査読有り
-
IEICE technical report. Information theory 99(235) 31-36 1999年7月
MISC
2-
数式処理 9(4) 24-25 2003年4月1日
-
数式処理 9(3) 27-28 2003年3月
講演・口頭発表等
26-
7th 定理証明及び定理証明系ミーティング 2011年11月
-
International Council for Industrial and Applied Mathematics (ICIAM 2011) 2011年7月 http://www.iciam2011.com/
-
243RIMS共同研究『数式処理の新たな発展』 2010年7月 照井 章 (筑波大学 数理物質科学研究科) -
日本応用数理学会年会(2008年)講演予稿集 pp.11-12 2008年9月 日本応用数理学会
-
日本応用数理学会年会 2007年9月 日本応用数理学会
-
第三回システム検証の科学技術シンポジウム 2006年10月 科学技術振興機構、産業技術総合研究所システム検証研究センター
-
日本応用数理学会年会 2006年9月 日本応用数理学会
-
日本応用数理学会年会 2006年9月 日本応用数理学会
-
日本ソフトウェア科学会第22回大会 2005年9月 日本ソフトウェア科学会
-
JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (VERITE) 2005年9月 JAIST/TRUST - AIST/CVS
-
第百四十二回計算機言語談話会 2005年
-
情報社会を支える新しい高性能情報処理技術第二回公開シンポジウム 2005年
-
計算機代数セミナー 2004年11月 横山和弘 招待有り
-
システム検証の科学技術シンポジウム 2004年2月 科学技術振興機構・産業技術総合研究所システム検証研究ラボ
-
第20回「記号論理学と情報科学」研究集会 SLACS 2003 2003年9月 佐藤周行
-
情報理論(IT)研究会 技術研究報告103(215) 33-37 2003年7月 電子情報通信学会
-
2003年度 夏のLAシンポジウム 2003年7月 LAシンポジウム
-
第25回情報理論とその応用シンポジウム(SITA2002) Vol.1 pp.15-18 2002年12月 情報理論とその応用学会
-
日本数式処理学会第11回大会 : 数式処理 9(4), 24-25, 2003-04-01 2002年9月 村尾裕一
-
日本数式処理学会第11回大会 2002年9月 村尾裕一
所属学協会
2Works(作品等)
1-
2005年12月 コンピュータソフト
共同研究・競争的資金等の研究課題
1-
ＪＳＴ戦略的創造研究推進制度（研究チーム型） （戦略的基礎研究推進事業：ＣＲＥＳＴ） 2004年 - 2006年
学歴
3-
- 2003年
-
- 2000年
-
- 1998年