篠埜 功
ササノ イサオ (Isao Sasano)
更新日: 08/06
基本情報
研究キーワード
3経歴
10-
2024年4月 - 現在
-
2020年4月 - 2024年3月
-
2012年10月 - 2020年3月
-
2008年10月 - 2012年9月
-
2007年4月 - 2008年9月
-
2005年6月 - 2007年3月
-
2003年4月 - 2005年5月
-
2002年4月 - 2003年3月
-
2002年4月 - 2003年1月
-
2001年4月 - 2002年3月
学歴
2-
1999年4月 - 2002年3月
-
1997年4月 - 1999年3月
委員歴
15-
2026年4月 - 2030年3月
-
2025年4月 - 2029年3月
-
2025年4月 - 2029年3月
-
2022年8月 - 2023年3月
-
2020年11月 - 2021年3月
-
2018年8月 - 2019年1月
-
2017年4月 - 2018年10月
-
2016年2月 - 2017年3月
-
2013年8月 - 2014年3月
-
2003年 - 2004年3月
受賞
2論文
41-
情報処理学会論文誌プログラミング（PRO） 18(4) 10-23 2025年10月 査読有り
-
Human Aspects of Types and Reasoning Assistants (HATRA 2025) 2025年10月 査読有り
-
Journal of Computer Languages 84 101352-101352 2025年9月 査読有り
-
Proceedings of the SCSS 2024 Work in Progress Workshop 1-6 2024年9月2日 査読有り
-
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing 1242-1251 2024年4月8日 査読有り
-
情報処理学会論文誌プログラミング（PRO） 16(2) 1-27 2023年6月 査読有り
-
Science of Computer Programming 228 102957-102957 2023年6月 査読有り筆頭著者
-
LNCS 13008 62-79 2021年10月 査読有り
-
コンピュータソフトウェア 38(2) 27-45 2021年5月 査読有り
-
コンピュータソフトウェア 38(1) 111-139 2021年2月 査読有り
-
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2021年1月18日 査読有り筆頭著者
-
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2020 2020年1月 査読有り筆頭著者
-
5(5) 219-226 2019年10月31日 査読有り
-
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 2019年10月7日 査読有り
-
International Journal of Future Computer and Communication 8(2) 50-54 2019年6月 査読有り
-
Journal of Computer and Communications 06(01) 12-20 2018年1月 査読有り
-
PROCEEDINGS OF THE 2017 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'17) 12-22 2017年 査読有り
-
BICT 2015 - 9th EAI International Conference on Bio-Inspired Information and Communications Technologies 2(5) e5 2016年5月24日 査読有り
-
BICT 2015, Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS), New York City, United States, December 3-5, 2015 438-441 2015年 査読有り
-
8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014 2014年 査読有り
講演・口頭発表等
37-
情報処理学会 第160回プログラミング研究発表会 (PRO160) 2026年8月6日
-
情報処理学会 第158回プログラミング研究発表会 (PRO158) 2026年3月17日 情報処理学会プログラミング研究会
-
第28回プログラミングおよびプログラミング言語ワークショップ (PPL2026) 2026年3月11日 日本ソフトウェア科学会 プログラミング論研究会
-
第28回プログラミングおよびプログラミング言語ワークショップ (PPL2026) 2026年3月10日 日本ソフトウェア科学会 プログラミング論研究会
-
第28回プログラミングおよびプログラミング言語ワークショップ (PPL2026) 2026年3月10日 日本ソフトウェア科学会 プログラミング論研究会
-
情報処理学会 第154回プログラミング研究発表会 2025年6月13日
-
情報処理学会 第153回プログラミング研究発表会 2025年3月26日
-
情報処理学会 第153回プログラミング研究発表会 2025年3月26日
-
第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025) 2025年3月7日
-
日本ソフトウェア科学会第41回大会 2024年9月12日
-
日本ソフトウェア科学会第41回大会 2024年9月10日
-
日本ソフトウェア科学会第41回大会 2024年9月10日
-
情報処理学会 第150回プログラミング研究発表会 (PRO150) 2024年8月8日
-
情報処理学会 第150回プログラミング研究発表会 (PRO150) 2024年8月8日
-
xSIG 2024 2024年8月7日
-
情報処理学会第149回プログラミング研究発表会 2024年6月13日
-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) 2024年3月5日
-
電子情報通信学会総合大会 2023年3月8日
-
電子情報通信学会総合大会 2023年3月8日
-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL2023) 2023年3月7日
共同研究・競争的資金等の研究課題
8-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2023年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2016年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業（学術研究助成基金助成金）若手研究(B) 25730047 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2010年4月 - 2014年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 若手研究(B) 2007年4月 - 2011年3月
-
日本学術振興会 科学研究費補助金 若手研究(B) 16700029 若手研究(B) 2004年4月 - 2007年3月
-
日本学術振興会 科学研究費補助金 特別研究員奨励費 01J05326 特別研究員奨励費 2001年4月 - 2003年3月