遠藤登 (Noboru Endou) - マイポータル

基本情報

所属: 岐阜工業高等専門学校電子制御工学科教授

学位: 博士(工学)(信州大学)
工学修士(信州大学)

J-GLOBAL ID: 201001009170222322
researchmap会員ID: 1000241281

外部リンク: http://www.gifu-nct.ac.jp/elcon/endo-n/index.html

研究キーワード

研究分野

経歴

2018年4月 - 現在

岐阜工業高等専門学校, 電子制御工学科, 教授
2012年4月 - 2018年3月

岐阜工業高等専門学校, 電子制御工学科, 准教授
2010年4月 - 2012年3月

長野工業高等専門学校電子制御工学科, 准教授
2007年4月 - 2010年3月

岐阜工業高等専門学校, 電子制御工学科, 准教授
2003年4月 - 2007年3月

岐阜工業高等専門学校, 電子制御工学科, 助教授
2001年4月 - 2003年3月

岐阜工業高等専門学校, 電子制御工学科, 講師

学歴

- 2001年

信州大学, 工学系研究科, システム開発工学
- 2001年

信州大学

委員歴

2018年 - 現在

日本Mizar学会 Mechanized Mathematics and Its Applications, Works in Progress(MMA-WIP), 編集委員
2014年4月 - 2025年12月

Formalized Mathematics, 編集委員

論文

Integrability of Multivariable Continuous Functions

Noboru Endou, Yasunari Shidama

Formalized Mathematics 2025年9月1日
Universality of Measure Space

Noboru Endou, Yasunari Shidama

Formalized Mathematics 2024年8月1日査読有り筆頭著者
Integral of Continuous Three Variable Functions.

Noboru Endou, Yasunari Shidama

Formaliz. Math. 32(1) 9-31 2024年査読有り筆頭著者責任著者
Antiderivatives and Integration.

Noboru Endou

Formalized Mathematics 31(1) 131-141 2023年9月査読有り筆頭著者
Multidimensional Measure Space and Integration

Noboru Endou, Yasunari Shidama

Formalized Mathematics 2023年9月1日査読有り筆頭著者
Integral of Continuous Functions of Two Variables

Noboru Endou, Yasunari Shidama

Formalized Mathematics 2023年9月1日査読有り筆頭著者
Differentiation on Interval.

Noboru Endou

Formaliz. Math. 31(1) 9-21 2023年9月査読有り筆頭著者
Absolutely Integrable Functions

Noboru Endou

Formalized Mathematics 2022年4月1日査読有り筆頭著者
Improper Integral. Part II.

Noboru Endou

Formalized Mathematics 29(4) 279-294 2021年査読有り筆頭著者
Improper Integral. Part I.

Noboru Endou

Formalized Mathematics 29(4) 201-220 2021年査読有り筆頭著者
Relationship between the Riemann and Lebesgue Integrals.

Noboru Endou

Formalized Mathematics 29(4) 185-199 2021年査読有り筆頭著者
Reconstruction of the One-Dimensional Lebesgue Measure

Noboru Endou

FORMALIZED MATHEMATICS 28(1) 93-104 2020年4月査読有り筆頭著者
Fubini's Theorem.

Noboru Endou

Formalized Mathematics 27(1) 67-74 2019年査読有り筆頭著者
Fubini's Theorem for Non-Negative or Non-Positive Functions

Noboru Endou

Formalized Mathematics 26(1) 49-67 2018年7月査読有り筆頭著者
Integral of Non Positive Functions

Noboru Endou

Formalized Mathematics 25(3) 227-240 2017年12月査読有り筆頭著者
Fubini's Theorem on Measure.

Noboru Endou

Formalized Mathematics 25(1) 1 2017年査読有り筆頭著者
Product Pre-Measure

Noboru Endou

Formalized Mathematics 24(1) 69-79 2016年3月1日査読有り筆頭著者
Construction of Measure from Semialgebra of Sets

Noboru Endou

Formalized Mathematics 23(4) 309-323 2015年12月1日査読有り筆頭著者
Extended Real-Valued Double Sequence and Its Convergence

Noboru Endou

Formalized Mathematics 23(3) 253-277 2015年9月1日査読有り筆頭著者
The Orthogonal Projection and the Riesz Representation Theorem

Keiko Narita, Noboru Endou, Yasunari Shidama

Formalized Mathematics 23(3) 243-252 2015年9月1日査読有り

もっとみる

MISC

ロボコンプロジェクト2011活動報告 : 「Impulse」地区大会優勝，全国大会ベスト4・｢ロボ・ボウル」賞受賞

森山実, 春日貴志, 小林裕介, 宮下大輔, 遠藤登, 中山英俊, 中村博雄, 山崎保範, 大澤幸造, 三尾敦 …

長野工業高等専門学校紀要 = Memoirs of Nagano National College of Technology 46 2-5 2012年6月30日
ロボコンプロジェクト2010活動報告

森山実, 春日貴志, 小林裕介, 中山英俊, 秋山正弘, 大澤幸造, 堀純也, 遠藤登, 山崎保範, 和田一秀 …

長野工業高等専門学校紀要 45 2-4 2011年
Moodle用数理演習モジュールを用いたWeb上での数理教育手法(ユビキタス・モバイル学習環境/一般)

三輪辰雄, 小林英子, 小林亮太, 岡崎裕之, 遠藤登, 和崎克己, 師玉康成

電子情報通信学会技術研究報告. ET, 教育工学 108(470) 211-215 2009年2月28日
形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発(e-learning/一般)

三輪辰雄, 和崎克己, 遠藤登, 師玉康成

電子情報通信学会技術研究報告. ET, 教育工学 108(247) 11-16 2008年10月10日
教育用マイコン制御システムの開発研究

上野真路, 遠藤登, 北川秀夫

ソフトピアジャパン共同研究報告書 9 10-1〜10 2004年
時変システムに対する最適ファジィ制御則の存在性

遠藤登, 和崎克己, 師玉康成

岐阜工業高等専門学校紀要 37(37) 45-50 2002年3月1日
Definitions and Basic Properties of Measurable Functions

Noboru Endou, Katsumi Wasaki, Yasunari Shidama

Formalized Mathematics 9(3) 495-500 2001年10月査読有り筆頭著者
A study of Optimal Control Problem with Time Dependent Fuzzy Sets

1186 216-222 2001年
Measurability of Extended Real Valued Functions

Journal of Formalized Mathematics 12(44) 2000年
Concepts of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation

Journal of Formalized Mathematics 12(18) 2000年
An Optimization of Fuzzy Logic by using Genetic Algorythm

Journal of Mechanized Mathematics and Its Applications 1(1) 39-45 2000年
Basic Properties of Genetic Algorithm

Journal of Formalized Mathematics 11(26) 1999年
Full Subtracter Circuit. Part (]G0001[)

Journal of Formalized Mathematics 11(12) 1999年
The Definition of Riemann Definite Integral and some Related Lemmas

Journal of Formalized Mathematics 11(15) 1999年

担当経験のある科目(授業)

所属学協会

共同研究・競争的資金等の研究課題

形式検証のための解析学推論ライブラリの拡充

日本学術振興会科学研究費助成事業基盤研究(C) 2023年4月 - 2028年3月

遠藤登
証明検証システム実現へ向けた推論ライブラリの作成

日本学術振興会科学研究費助成事業基盤研究(C) 2011年4月 - 2015年3月

遠藤登
プルーフチェッカー(Mizar)を用いた数理工学理論の形式化

日本学術振興会科学研究費助成事業若手研究(B) 2004年 - 2006年

遠藤登
分散型組込制御システムのComponent BasedによるGUI開発ツール

独立行政法人情報処理推進機構 2003年度未踏ソフトウェア創造事業未踏本体 2003年4月 - 2004年3月

上野真路, 遠藤登稲葉昭夫
形式化数学による数理工学ライブラリの構築
ファジィ制御に関する研究
非線形最適制御問題に関する研究

遠藤登

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

論文

MISC

担当経験のある科目(授業)

所属学協会

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧