研究者検索結果一覧 久我 健一 久我 健一クガ ケンイチ (Ken'ichi Kuga) ダウンロードする帳票の形式を下記より選択して下さい 「教育研究等環境」形式 「文科省帳票様式第4号 ①履歴書」形式 「文科省帳票様式第4号 ②教育研究業績書」形式 基本情報 所属千葉大学 大学院理学研究院数学・情報数理学研究部門 教授学位Ph.D(1984年5月 Texas大学Austin校)J-GLOBAL ID200901076542843971researchmap会員ID5000098611 研究キーワード 1 low-dimensional topology 研究分野 1 自然科学一般 / 幾何学 / 経歴 7 2017年4月 - 現在 千葉大学 大学院 理学研究院 教授 2007年4月 - 2017年3月 千葉大学 大学院 理学研究科 教授 2004年1月 - 2007年3月 千葉大学 理学部 教授 1994年4月 - 2003年12月 千葉大学 理学部 助教授 1988年4月 - 1994年3月 千葉大学 教養部 助教授 1986年9月 - 1988年3月 東京大学 理学部 数学科 助手 1984年9月 - 1986年8月 ミシガン大学 数学科 Assistant Professor (T.H.Hildebrandt) 1 学歴 3 1982年8月 - 1984年5月 Texas大学Austin校 数学科 1980年4月 - 1982年3月 東京大学 大学院理学系研究科修士課程 数学 1975年4月 - 1980年3月 東京大学 理学部 数学科 論文 10 Formalization of Bing's Shrinking Method in Geometric Topology Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto Lecture Notes in Artificial Intelligence, Springer 9791 18-27 2016年 査読有り招待有り筆頭著者 On formalization of basic geometric topology Ken'ichi Kuga, Manabu Hagiwara MI Lecture Note Series, Kyushu University 61 110-114 2015年 招待有り筆頭著者 Colorings of torus knots and their twist-spuns by Alexander quandles over finite fields Soichiro Asami, Ken`ichi Kuga Knot theory and its ramifications 18(9) 1259-1270 2009年 査読有り On some formulas in combinatorial computation of uni-trivalent graphs Indian Journal of Pure and Applied Mathematics 37(2) 75-88 2006年4月 査読有り Twisted quantum doubles International Journal of Mathematics and Mathematical Sciences 2004(28) 1477-1486 2004年 査読有り もっとみる 講演・口頭発表等 1 Formalization of Bing's Shrinking Method in Geometric Topology 久我健一 Conference on Intelligent Computer Mathematics (CICM2016) 2016年7月28日 招待有り 所属学協会 1 日本数学会 共同研究・競争的資金等の研究課題 24 トポロジーの形式化における深層学習の適用の研究 日本学術振興会 科学研究費助成事業 挑戦的研究(開拓) 2020年4月 - 2022年3月 久我 健一 4次元ポアンカレ予想を含む幾何的トポロジーの形式化 日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2015年4月 - 2018年3月 久我 健一, 萩原 学, 山本 光晴 低次元位相不変量、双曲体積とペレルマン不変量 日本学術振興会 科学研究費助成事業 基盤研究(C) 2009年4月 - 2014年3月 久我 健一, 稲葉 尚志, 杉山 健一 積分不可能平面場上の流れと葉層構造 日本学術振興会 科学研究費助成事業 2011年 - 2013年 稲葉 尚志, 坪井 俊, 中山 裕道, 久我 健一, 杉山 健一 積分不可能分布の位相的、力学系的研究 日本学術振興会 科学研究費助成事業 2007年 - 2009年 稲葉 尚志, 坪井 俊, 中山 裕道, 久我 健一, 杉山 健一 もっとみる
久我 健一クガ ケンイチ (Ken'ichi Kuga) ダウンロードする帳票の形式を下記より選択して下さい 「教育研究等環境」形式 「文科省帳票様式第4号 ①履歴書」形式 「文科省帳票様式第4号 ②教育研究業績書」形式 基本情報 所属千葉大学 大学院理学研究院数学・情報数理学研究部門 教授学位Ph.D(1984年5月 Texas大学Austin校)J-GLOBAL ID200901076542843971researchmap会員ID5000098611 研究キーワード 1 low-dimensional topology 研究分野 1 自然科学一般 / 幾何学 / 経歴 7 2017年4月 - 現在 千葉大学 大学院 理学研究院 教授 2007年4月 - 2017年3月 千葉大学 大学院 理学研究科 教授 2004年1月 - 2007年3月 千葉大学 理学部 教授 1994年4月 - 2003年12月 千葉大学 理学部 助教授 1988年4月 - 1994年3月 千葉大学 教養部 助教授 1986年9月 - 1988年3月 東京大学 理学部 数学科 助手 1984年9月 - 1986年8月 ミシガン大学 数学科 Assistant Professor (T.H.Hildebrandt) 1 学歴 3 1982年8月 - 1984年5月 Texas大学Austin校 数学科 1980年4月 - 1982年3月 東京大学 大学院理学系研究科修士課程 数学 1975年4月 - 1980年3月 東京大学 理学部 数学科 論文 10 Formalization of Bing's Shrinking Method in Geometric Topology Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto Lecture Notes in Artificial Intelligence, Springer 9791 18-27 2016年 査読有り招待有り筆頭著者 On formalization of basic geometric topology Ken'ichi Kuga, Manabu Hagiwara MI Lecture Note Series, Kyushu University 61 110-114 2015年 招待有り筆頭著者 Colorings of torus knots and their twist-spuns by Alexander quandles over finite fields Soichiro Asami, Ken`ichi Kuga Knot theory and its ramifications 18(9) 1259-1270 2009年 査読有り On some formulas in combinatorial computation of uni-trivalent graphs Indian Journal of Pure and Applied Mathematics 37(2) 75-88 2006年4月 査読有り Twisted quantum doubles International Journal of Mathematics and Mathematical Sciences 2004(28) 1477-1486 2004年 査読有り もっとみる 講演・口頭発表等 1 Formalization of Bing's Shrinking Method in Geometric Topology 久我健一 Conference on Intelligent Computer Mathematics (CICM2016) 2016年7月28日 招待有り 所属学協会 1 日本数学会 共同研究・競争的資金等の研究課題 24 トポロジーの形式化における深層学習の適用の研究 日本学術振興会 科学研究費助成事業 挑戦的研究(開拓) 2020年4月 - 2022年3月 久我 健一 4次元ポアンカレ予想を含む幾何的トポロジーの形式化 日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2015年4月 - 2018年3月 久我 健一, 萩原 学, 山本 光晴 低次元位相不変量、双曲体積とペレルマン不変量 日本学術振興会 科学研究費助成事業 基盤研究(C) 2009年4月 - 2014年3月 久我 健一, 稲葉 尚志, 杉山 健一 積分不可能平面場上の流れと葉層構造 日本学術振興会 科学研究費助成事業 2011年 - 2013年 稲葉 尚志, 坪井 俊, 中山 裕道, 久我 健一, 杉山 健一 積分不可能分布の位相的、力学系的研究 日本学術振興会 科学研究費助成事業 2007年 - 2009年 稲葉 尚志, 坪井 俊, 中山 裕道, 久我 健一, 杉山 健一 もっとみる