
辰己 丈夫
タツミ タケオ (Takeo Tatsumi)
更新日: 09/03
基本情報
- 所属
- 放送大学 教養学部 情報コース 教授
- (兼任)大学院 文化科学研究科 情報学プログラム 教授
- 学位
-
理学士(1991年3月 早稲田大学)修士(理学)(1993年3月 早稲田大学)博士(システムズ・マネジメント)(2014年3月 筑波大学)
- 研究者番号
- 70257195
- J-GLOBAL ID
- 201101093843431539
- researchmap会員ID
- B000000194
- 外部リンク
専門分野(過去のものも含む)、好きなこと
- 数学教育
- 数学基礎論(証明論、定理自動証明)
- 計算量理論の証明論的アプローチ
- プログラムの形式的検証
- 情報教育
- 情報倫理、情報倫理教育
- ASDの人のための情報支援
- 音楽、倫理学
経歴
30-
2023年4月 - 現在
-
2018年1月 - 現在
-
2016年4月 - 現在
-
2006年4月 - 現在
-
2001年4月 - 現在
-
2017年9月 - 2026年3月
-
2018年10月 - 2019年3月
-
2018年4月 - 2018年9月
-
2016年10月 - 2017年3月
-
2014年4月 - 2016年3月
-
2014年4月 - 2016年3月
-
2013年4月 - 2015年3月
-
2013年4月 - 2014年3月
-
2007年4月 - 2014年3月
-
2007年4月 - 2013年3月
-
1999年4月 - 2012年3月
-
2004年4月 - 2010年3月
-
2001年4月 - 2010年3月
-
2004年10月 - 2007年3月
-
2003年10月 - 2007年3月
研究分野
6受賞
11-
2015年8月
論文
79-
情報処理学会論文誌教育とコンピュータ(TCE) 12(1) 1-16 2026年2月 査読有り最終著者
-
情報教育シンポジウム論文集 2024 79-86 2024年8月3日
-
CIEC春季カンファレンス論文集 15 28-34 2024年3月9日 査読有り
-
情報教育シンポジウム論文集 2021(2021) 100-105 2021年8月21日
-
Proceedings of OCCE 2021, IFIP TC3 is able to hold a conference 41 2021年8月 査読有り筆頭著者
-
情報教育シンポジウム論文集 2020 170-173 2020年12月12日
-
高校教科「情報」シンポジウム2019論文集 2019 13-22 2019年10月19日
-
情報処理学会論文誌教育とコンピュータ(TCE) 5(3) 10-22 2019年10月11日
-
Proceedings of Asian Association of Open Universities 2019 261-269 2019年10月 査読有り筆頭著者
-
情報教育シンポジウム論文集 2019(2019) 83-90 2019年8月10日
-
情報教育シンポジウム論文集 2019(2019) 242-249 2019年8月10日
-
情報教育シンポジウム論文集 2018(6) 37-44 2018年8月12日
-
情報教育シンポジウム論文集 2018(33) 221-226 2018年8月12日
-
情報教育シンポジウム論文集 2017(39) 239-246 2017年8月10日
-
電子情報通信学会技術研究報告 117(340) 159-162 2017年
-
SIGUCCS '17: Proceedings of the 2017 ACM SIGUCCS Annual Conference 129-131 2017年 査読有り
-
The ORBIT Journal 1(1) 1-13 2017年
-
情報教育シンポジウム2016論文集 2016(2016) 7-14 2016年8月15日
-
情報教育シンポジウム2016論文集 2016(2016) 15-22 2016年8月15日
講演・口頭発表等
167-
情報処理学会 研究報告電子化知的財産・社会基盤(EIP) 2026年6月3日
-
研究報告コンピュータと教育(CE) 2026年1月31日
-
夏のプログラミング・シンポジウム 2025 2026年1月9日 情報処理学会
-
夏のプログラミング・シンポジウム 2025 2026年1月9日 情報処理学会
-
情報処理学会研究報告(Web) 2026年
-
IFIP-TC3 Open Conference on Computers in Education (OCCE 2025) 2025年10月29日
-
The 2nd Conference Ethics and AI From Trustworthy to Benevolent AI 2025年9月23日
-
大学ICT推進協議会年次大会論文集 2025年6月 大学ICT推進協議会
-
令和7年度全国大学入学者選抜研究連絡協議会大会予稿集 2025年5月29日
-
第66回プログラミング・シンポジウム予稿集 2025年1月12日 情報処理学会
-
情報処理学会研究報告(Web) 2025年
-
情報処理学会研究報告(Web) 2025年
-
情報処理学会研究報告(Web) 2025年
-
情報処理学会研究報告(Web) 2025年
-
情報処理学会研究報告(Web) 2025年
-
情報処理学会研究報告(Web) 2025年
-
情報処理学会研究報告(Web) 2025年
-
電子情報通信学会技術研究報告(Web) 2025年
-
情報処理学会研究報告(Web) 2025年
-
研究報告コンピュータと教育(CE) 2024年11月30日 情報処理学会
書籍等出版物
59-
放送大学教育振興会 2026年3月 (ISBN: 9784595325755)
-
放送大学教育振興会 2025年3月 (ISBN: 9784595325274)
-
放送大学教育振興会 2024年3月 (ISBN: 9784595324819)
-
放送大学教育振興会 2022年3月 (ISBN: 9784595323201)
-
放送大学教育振興会 2022年3月 (ISBN: 9784595323539)
-
日経BP,日経BPマーケティング (発売) 2022年2月 (ISBN: 9784296070220)
-
オーム社 2022年2月 (ISBN: 9784274228162)
-
日経BP,日本文教出版 (発売) 2022年2月 (ISBN: 9784536254960)
-
日経BP,日経BPマーケティング(発売) 2022年2月 (ISBN: 9784296070220)
-
日経BP,日本文教出版(発売) 2021年2月 (ISBN: 9784536254953)
-
日経BP,日経BPマーケティング (発売) 2021年2月 (ISBN: 9784296070008)
-
日経BP,日経BPマーケティング (発売) 2021年2月 (ISBN: 9784296070008)
-
丸善出版 2020年 (ISBN: 9784621305034)
-
放送大学教育振興会 2020年 (ISBN: 9784595322150)
-
放送大学教育振興会 2019年 (ISBN: 9784595319563)
-
放送大学教育振興会 2018年 (ISBN: 9784595141058)
-
放送大学教育振興会 2018年 (ISBN: 9784595318917)
-
放送大学教育振興会 2018年 (ISBN: 9784595318979)
-
日経BPマーケティング 2016年 (ISBN: 9784822750046)
-
日経BP社,日本文教出版 (発売) 2016年 (ISBN: 9784536253604)
研究キーワード
4所属学協会
3-
1996年10月 - 現在
-
1995年5月 - 現在
-
1992年10月 - 2026年3月
担当経験のある科目(授業)
46-
2026年4月 - 現在
-
2026年4月 - 現在
-
2025年4月 - 現在
-
2025年4月 - 現在
-
2024年4月 - 現在
-
2024年4月 - 現在
-
2023年4月 - 現在
-
2022年4月 - 現在
-
2022年4月 - 現在
-
2022年 - 現在
-
2020年4月 - 現在
-
2018年4月 - 現在
-
2018年1月 - 現在
-
2006年4月 - 現在
-
2001年10月 - 現在
-
2001年4月 - 現在
-
2022年4月 - 2026年3月
-
2017年4月 - 2026年3月
-
2021年4月 - 2025年3月
-
2019年4月 - 2025年3月
共同研究・競争的資金等の研究課題
17-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2023年4月 - 2028年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2023年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2023年4月 - 2026年3月
-
日本学術振興会 日本学術振興会 科学研究費補助金 挑戦的萌芽研究 挑戦的萌芽研究 2016年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2015年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2012年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2011年 - 2013年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2008年 - 2011年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2007年 - 2009年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2007年 - 2009年
-
日本学術振興会 科学研究費助成事業 萌芽研究 2006年 - 2007年
-
日本学術振興会 科学研究費助成事業 萌芽研究 2005年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2004年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2001年 - 2003年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2000年 - 2001年
-
日本学術振興会 科学研究費助成事業 重点領域研究 1995年 - 1995年
学歴
8-
2011年4月 - 2014年3月
-
1993年4月 - 1997年3月
-
1991年4月 - 1993年3月
-
1987年4月 - 1991年3月
-
1983年4月 - 1986年3月
-
1980年4月 - 1983年3月
-
1975年10月 - 1980年3月
-
1974年4月 - 1975年9月
委員歴
28-
2026年6月 - 現在
-
2026年4月 - 現在
-
2024年6月 - 現在
-
2023年6月 - 現在
-
2023年4月 - 現在
-
2016年6月 - 現在
-
2013年6月 - 現在
-
2008年4月 - 現在
-
2001年4月 - 現在
-
2024年6月 - 2026年6月
-
2025年5月 - 2026年3月
-
2020年6月 - 2024年5月
-
2003年6月 - 2024年5月
-
2022年11月 - 2023年10月
-
2021年6月 - 2022年5月
-
2020年6月 - 2022年5月
-
2021年4月 - 2022年3月
-
2014年5月 - 2020年5月
-
2017年4月 - 2018年3月
-
2015年5月 - 2018年3月
MISC
19-
情報処理学会・学会誌「情報処理」note 67(9) e62-e65 2026年6月3日 筆頭著者
-
情報処理 67(3) e37-e41 2026年2月15日
-
情報処理 66(9) 403-403 2025年8月15日
-
情報処理学会・学会誌「情報処理」 note 教科「情報」の入学試験問題って? 2024年5月 筆頭著者
-
情報処理 65(2) 2024年
-
情報処理 65(7) 2024年
-
情報処理 64(10) e37-e70 2023年9月15日 筆頭著者
-
電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers 106(3) 189-193 2023年3月
-
電子情報通信学会誌 106(3) 2023年
-
弘道 131(1144) 6-13 2023年
-
情報処理学会・学会誌「情報処理」 note 教科「情報」の入学試験問題って? 2022年7月 筆頭著者
-
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review 15(3) 241-241 2022年1月1日 筆頭著者
-
情報処理 : 情報処理学会誌 : IPSJ magazine 62(1) 22-26 2021年1月
-
情報処理 62(1) none 2020年12月15日
-
情報処理 55(4) 356-362 2014年3月15日
-
ICT・education (40) 24-28 2009年
-
情報処理 48(6) 2007年
-
ICT・education (16) 1-5 2003年
-
情報処理 42(9) 2001年
社会貢献活動
2