研究者詳細

研究活動/社会的活動
分割表示   全件表示 >>

7 件中 1 - 7 件目

年度
Year
活動名称
Name of activities
活動期間
Period of Activities
2016  記号論理と情報科学研究集会世話人  2016年度 

活動内容等(Content of Activities) 8月25日から26日まで、名古屋大学で研究集会を開催した。 

2015  証明論研究会世話人  2015年度,2017年度 

活動内容等(Content of Activities) 2015年度,2017年度に行う研究会のとりまとめを行う.
 

2009  文部科学省指定研究事業「平成20年度目指せスペシャリスト」における高大連携カリキュラム委員会委員  2008年10月~2009年度 

活動内容等(Content of Activities) 「セメスター方式による「ディジタルクリエイター」育成カリキュラムの開発及び地域イノベーション創出モデルへの参画」を研究テーマとした事業/岐阜県立岐阜各務野高等学校 

2008  日本私立大学連盟教育研究委員会委員  2008年度 

活動内容等(Content of Activities) 日本私立大学連盟教育研究委員会委員 

2007  日本数学会数学基礎論および歴史分科会運営委員  2005年度~2007年度 

活動内容等(Content of Activities) 日本数学会数学基礎論および歴史分科会運営委員 

2005  第39回MLG数理論理学研究集会の世話人  12月5日〜12月7日 

活動内容等(Content of Activities) 2005年度第39回MLG数理論理学研究集会の世話人を務めた。 

2004  第38回MLG数理論理学研究集会の世話人  10月24日〜10月26日 

活動内容等(Content of Activities) 2004年度第38回MLG数理論理学研究集会の世話人を務めた。 

Page: [<<PREV] [1] [NEXT>>]