立木 秀樹
ツイキ ヒデキ (Hideki Tsuiki)
更新日: 01/31
基本情報
- 所属
- 京都大学 大学院人間・環境学研究科 共生人間学専攻 人間・環境学研究科 共生人間学専攻 教授
- 学位
-
博士(理学)(慶應義塾大学)
- ORCID ID
- https://orcid.org/0000-0003-0854-948X
- J-GLOBAL ID
- 200901037433304682
- researchmap会員ID
- 1000170929
- 外部リンク
研究キーワード
2研究分野
1経歴
9-
1998年 - 2003年
-
1997年 - 1998年
-
1994年 - 1997年
-
1994年 - 1997年
-
1990年 - 1994年
-
1988年 - 1990年
学歴
4-
- 1988年
-
- 1988年
-
- 1986年
-
- 1986年
受賞
1-
1994年
論文
52-
Proceedings of Bridges 2023: Mathematics, Art, Music, Architecture, Culture 299-306 2023年7月 査読有り
-
Mathematics for Computation (M4C) 223-250 2023年4月2日
-
Programming Languages and Systems 85-113 2022年3月29日
-
Annals of Pure and Applied Logic 172(3) 102903-102903 2021年3月 査読有り
-
Proceedings of Bridges 2020: Mathematics, Art, Music, Architecture, Education, Culture 403-406 2020年 査読有り
-
Proceedings, Conference on Computability in Europe, LNCS 12098 137-148 2020年 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 149 2019年12月 査読有り
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 27(8) 1625-1638 2017年12月 査読有り
-
Conference Proceedings of Bridges 147-152 2017年 査読有り
-
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE 6 69-110 2016年 査読有り
-
DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2015 9943 265-276 2016年 査読有り
-
LOGICAL METHODS IN COMPUTER SCIENCE 11(1) 1-17 2015年 査読有り
-
DISCRETE AND COMPUTATIONAL GEOMETRY AND GRAPHS, JCDCGG 2013 8845 173-184 2014年 査読有り
-
Electronic Notes in Theoretical Computer Science 298 383-402 2013年11月4日 査読有り
-
MACHINE LEARNING 90(1) 91-126 2013年1月 査読有り
-
Algorithms 5(2) 273-288 2012年6月 査読有り
-
TOPOLOGY AND ITS APPLICATIONS 159(4) 1266-1275 2012年3月 査読有り
-
Journal of Information Processing 20(3) 667-671 2012年 査読有り
-
TOPOLOGY AND ITS APPLICATIONS 158(1) 1-14 2011年1月 査読有り
-
数理解析研究所講究録 1681 23-32 2010年4月
MISC
19-
オペレーションズ・リサーチ 68(3) 123-127 2023年3月
-
数学セミナー, 日本評論社 80-85 2021年6月
-
数学セミナー, 日本評論社 6-6 2021年3月
-
数学通信 25(3) 41-47 2020年11月
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25(7) 1463-1465 2015年10月
-
数学セミナー, 日本評論社 53-59 2012年3月
-
数学セミナー, 日本評論社 60-66 2012年2月
-
数学セミナー 37-41 2012年1月
-
人環フォ-ラム (28) 24-29 2011年3月
-
人環フォ-ラム (27) 34-37 2010年9月
-
数学セミナー, 日本評論社 47-51 2006年6月
-
『数学セミナー』日本評論社 45(5) 52-57 2006年5月
-
数学セミナー, 日本評論社 45(4) 54-59 2006年4月
-
人環フォ-ラム (18) 44-49 2006年3月
-
バベルの図書館第8 巻第1 号 2003年
-
Proceedings of Third Workshop on Computability and Complexity in Analysis, .91-102 1998年 査読有り
-
関数プログラミングII, 近代科学社,111-126 1995年
-
Technical Report, IEI-RM94-002, Keio Uniu. 1994年3月
-
Technical Report, IEI-RM 93-007, Keio Univ 1993年
書籍等出版物
4-
朝倉書店 2022年1月 (ISBN: 9784254122633)
-
共立出版 2017年9月
-
京都大学総合博物館ミュゼップ 2012年4月
-
共立出版 2000年10月
講演・口頭発表等
2-
CCC 2020: Continuity, Computability, Constructivity – From Logic to Algorithms 2020年9月1日 招待有り
-
Mathematical Logic and Constructivity 2019年8月21日 招待有り
Works(作品等)
8-
2021年 その他
-
2012年 その他
共同研究・競争的資金等の研究課題
28-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2018年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2015年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2010年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2010年4月 - 2014年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2010年4月 - 2014年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2007年 - 2009年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2007年 - 2009年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2006年 - 2009年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2004年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2004年 - 2005年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2004年 - 2005年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2003年 - 2005年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2003年 - 2005年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2003年 - 2003年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2000年 - 2002年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 2000年 - 2001年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 1999年 - 2001年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1998年 - 1999年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1996年 - 1996年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1995年 - 1995年