遠藤登

エンドウノボル | Endou Noboru

所属機関・部署：
職名：教授
ホームページURL (1件)： http://www.gifu-nct.ac.jp/elcon/endo-n/index.html

研究分野 (5件)：応用数学、統計数学 , 数学基礎 , 制御、システム工学 , 知能情報学 , 数理情報学

研究キーワード (2件)：情報数理 , Information Science

競争的資金等の研究課題 (8件)：

全件表示

論文 (82件)：

Noboru Endou, Yasunari Shidama. Integral of Continuous Three Variable Functions. Formaliz. Math. 2024. 32. 1. 9-31
Noboru Endou, Yasunari Shidama. Multidimensional Measure Space and Integration. Formalized Mathematics. 2023
Noboru Endou, Yasunari Shidama. Integral of Continuous Functions of Two Variables. Formalized Mathematics. 2023
Noboru Endou. Differentiation on Interval. Formaliz. Math. 2023. 31. 1. 9-21
Noboru Endou. Absolutely Integrable Functions. Formalized Mathematics. 2022

MISC (14件)：

森山実, 春日貴志, 小林裕介, 宮下大輔, 遠藤登, 中山英俊, 中村博雄, 山崎保範, 大澤幸造, 三尾敦, et al. ロボコンプロジェクト2011活動報告 : 「Impulse」地区大会優勝,全国大会ベスト4・「ロボ・ボウル」賞受賞. 長野工業高等専門学校紀要 = Memoirs of Nagano National College of Technology. 2012. 46. 2-5
森山実, 春日貴志, 小林裕介, 中山英俊, 秋山正弘, 大澤幸造, 堀純也, 遠藤登, 山崎保範, 和田一秀, et al. ロボコンプロジェクト2010活動報告. 長野工業高等専門学校紀要. 2011. 45. 2-4
三輪辰雄, 小林英子, 小林亮太, 岡崎裕之, 遠藤登, 和崎克己, 師玉康成. Moodle用数理演習モジュールを用いたWeb上での数理教育手法(ユビキタス・モバイル学習環境/一般). 電子情報通信学会技術研究報告. ET, 教育工学. 2009. 108. 470. 211-215
三輪辰雄, 和崎克己, 遠藤登, 師玉康成. 形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発(e-learning/一般). 電子情報通信学会技術研究報告. ET, 教育工学. 2008. 108. 247. 11-16
上野真路, 遠藤登, 北川秀夫. 教育用マイコン制御システムの開発研究. ソフトピアジャパン共同研究報告書. 2004. 9. 10-1〜10

学歴 (2件)：

学位 (2件)：

経歴 (6件)：

全件表示

委員歴 (2件)：

2018 - 現在日本Mizar学会 Mechanized Mathematics and Its Applications, Works in Progress(MMA-WIP) 編集委員
2014/04 - 現在 Formalized Mathematics 編集委員

所属学会 (4件)：

Association of Mizar Users , システム制御情報学会 , 日本応用数理学会 , 日本Mizar学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

遠藤 登