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)国際共同研究(共同研究名,研究内容等)
共同研究名 |
研究内容 |
変数の束縛機構に関する研究 |
λ項の変数の出現位置を表わす表現方法を提案し、その性質を明らかにした。 |
(6)学会、国、県などへの協力,地域・社会と連携した教育・研究活動など
(7)特許(発明者名,発明の名称,出願日,出願番号,整理番号等)
・なし