2015年度(平成27年度)
コース名 数学・情報数理学コース
領域名 幾何学領域
教員名 久我 健一
電子メール kuga理math.s.chiba-u.ac.jp
※メール送信の際は、「理」を半角@に変更してください。
(1)研究論文などのリスト(印刷中を含む)
著者・発表者等 |
タイトル |
発表雑誌・会合等 |
巻・号 |
頁 |
発行・発表年等 |
掲載論文のDOI(付与されている場合) |
|
(1) | 久我 健一 |
証明支援系を用いたトポロジーの形式化について |
第62回トポロジーシンポジウム |
pp.11-17 |
2015 年 8 月 |
||
(2) | Ken’ichi KUGA |
Wild Topology and Formalization |
Workshop on |
2015 年10月 |
|||
(3) | 久我 健一 |
数学での証明支援系の利用について |
数学セミナー |
Vol.54 no.11_649 |
pp.30-34 |
2015 年11月 |
|
(4) | 久我 健一(分訳) | 翻訳項目多数列挙不能 |
「プリンストン数学大全」(朝倉) |
2015 年11月 |
(2)卒業研究、大学院修士および博士論文修了指導人数
・卒業研究 1名
・大学院修士 2名
・大学院博士 0名
(3)教育業績(自己申告、テキストの作成など、授業の工夫など)
(4)国際会議出席と招待リスト
なし
(5)国際共同研究 (共同研究名,研究内容等)
なし
(6)新聞や雑誌等で報道された研究成果等 (報道媒体、報道年月日、報道内容等)
なし
(7)国際並びに国内学会での受賞 (賞名、その内容、受賞理由等)
なし
(8)地域・社会と連携した教育・研究活動、学会、国、県などへの協力、など
なし
(9)特許 (発明者名、発明の名称、出願日、出願番号、整理番号等)
なし