2014年度（平成26年度）
コース名 数学・情報数理学コース
領域名 情報数理領域
教員名 桜井 貴文
電子メール sakurai理math.s.chiba-u.ac.jp
※メール送信の際は、「理」を半角@に変更してください。
（1)研究論文などのリスト(印刷中を含む)
著者・発表者等 |
タイトル |
発表雑誌・会合等 |
巻・号 |
頁 |
発行・発表年等 |
掲載論文のDOI(付与されている場合) |
|
| (1) | K.Kikuchi, T.Sakurai |
A Translation of Intersection and Union Types for the λμ-Calculus |
Proceedings of APLAS 2014 |
LNCS 8858 |
pp. 120-139 |
2014 |
10.1007/ |
（2）卒業研究、大学院修士および博士論文修了指導人数
・卒業研究 0名
・大学院修士 0名
・大学院博士 0名
（3）教育業績 （自己申告、テキストの作成など、授業の工夫など）
なし
（4）国際会議出席と招待リスト
なし
（5）国際共同研究 (共同研究名、研究内容等)
なし
（6）新聞や雑誌等で報道された研究成果等 (報道媒体、報道年月日、報道内容等)
なし
（7）国際並びに国内学会での受賞 (賞名、その内容、受賞理由等)
なし
（8）地域・社会と連携した教育・研究活動、学会、国、県などへの協力、など
なし
（9）外部資金の獲得状況 (科学研究費補助金、共同研究、受託研究、寄付金、財団等)
（10）特許（発明者名、発明の名称、出願日、出願番号、整理番号等）
なし