2013年度（平成25年度）

コース名　　数学・情報数理学コース

領域名　　　情報数理領域

教員名　　　桜井　貴文

電子メール　sakurai理math.s.chiba-u.ac.jp

　　　　　　※メール送信の際は、「理」を半角@に変更してください。

（1)研究論文などのリスト(印刷中を含む)

　　　

	著者・発表者等	タイトル	発表雑誌・会合等	巻・号	頁	発行・発表年等	掲載論文のDOI(付与されている場合)
(1)	M.Sato, R.Pollack, H. Schwichtenberg, T. Sakurai	Viewing λ-terms through Maps	Indagationes Mathematicae	vol. 24, no. 4	pp. 1073-1104	2013	10.1016/ j.indag.2013.08.003

（2）卒業研究、大学院修士および博士論文修了指導人数

　　　・卒業研究　　　　　1名

　　　・大学院修士　　　　0名

　　　・大学院博士　　　　0名

（3）教育業績　（自己申告、テキストの作成など、授業の工夫など）

　　　・なし

（4）国際会議出席と招待リスト

　　　・なし

（5）国際共同研究(共同研究名,研究内容等)　

共同研究名	研究内容
変数の束縛機構に関する研究	λ項の変数の出現位置を表わす表現方法を提案し、その性質を明らかにした。 (共同研究者: 佐藤雅彦、R. Pollack、H. Schwichtenberg)

（6）学会、国、県などへの協力，地域・社会と連携した教育・研究活動など

（7）特許（発明者名，発明の名称，出願日，出願番号，整理番号等）

　　　・なし