Ohnishi Takaomi

オオニシタカオミ | Ohnishi Takaomi

Affiliation and department：
Job title： Professor

Research field (1)： Software

Research keywords (1)： formal method

Research theme for competitive and other funds (1)：

Papers (22)：

Takaomi OHNISHI, Ryota YAMAMOTO, Yoshihiko NAKAMURA. A Practice of Open Lecture for Elementary and Junior High School Students to Introduce Mathematical Reasoning. 2023. 40. 1. 3-10
Takaomi Ohnishi, Ryota Yamamoto, Yoshihiko Nakamura. A Practice of Open Lecture for Elementary and Junior High School Students to Introduce Mathematical Reasoning. Research on Education of Practical Information Technologies: rePiT2022. 2022. 95. 60-67
Takaomi Ohnishi, Hitoshi Yoshimura, Abe Tsukasa, Kiyoshi Inagaw, Ryota Yamamoto, Takesi Hori. A Practice of Student Experiments of the Formal Method, B-Method Applied for Students of Institute of Technology. Jounal of Information Processing Society of Japan. 2020. Vol.61. No.4. 863-883
大西孝臣, 吉村斎, 阿部司, 稲川清, 山本椋太, 堀武司. 工業高等専門学校の学生に対する形式手法B-Methodの学生実験の実践. 情報処理学会ソフトウェアエンジニアリングシンポジウム2019. 2019. 135-144
大西孝臣, 山本椋太, 木下大輔, 三上剛, 阿部司, 吉村斎. 組込みシステム教材の開発と導入. 論文集「高専教育」. 2015. 38. 90-95

ｍore...

MISC (17)：

A Decadal Report of The English Technical Writing Test Held at Tomakomai-NCT (1994's Autumn-2004's Spring). Memoirs of The Tomakomai College of Technology. 2005. 40. 27-30
Voice of readers:Aiming for post-contents. Transactions of Japanese Society for Information and Systems in Education(JSISE). 2003. 20. 1. 51
Training on experimental consideration for lower grades by means of experimenters' presentation. Memoir of the Tomakomai National College of Technology. 2003. 38. 67-76
Electric rock and key system with intranet for the public institution(2). Memoir of the Tomakomai National College of Technology. 2003. 38. 63-66
Multi-document application with interface. Memoir of the Tomakomai National College of Technology. 2002. 37. 97-100

ｍore...

Lectures and oral presentations (38)：

工業高等専門学校の学生への導入を目的としたB-Methodのモデル記述(11)
(ウィンターワークショップ2023・イン・鹿児島 2024)
工業高等専門学校の学生への導入を目的としたB-Methodのモデル記述(10)
(ソフトウェアエンジニアリングシンポジウム2023ワークショップ 2023)
工業高等専門学校の学生への導入を目的としたB-Methodのモデル記述(9)
(ウィンターワークショップ2023・イン・富山 2023)
工業高等専門学校の学生への導入を目的としたB-Methodのモデル記述(8)
(ソフトウェアエンジニアリングシンポジウム2022ワークショップ 2022)
工業高等専門学校の学生への導入を目的としたB-Methodのモデル記述(7)
(ウィンターワークショップ2022・オンライン 2022)

ｍore...

Education (3)：

Professional career (2)：

Awards (1)：

2019/08 - 情報処理学会ソフトウェアエンジニアリングシンポジウム2019 最優秀論文賞(実践論文) 工業高等専門学校の学生に対する形式手法B-Methodの学生実験の実践

Association Membership(s) (6)：

JAPANESE SOCIETY FOR ENGINEERING EDUCATION , THE JAPAN SOCIETY FOR PRECISION ENGINEERING , コンピュータ利用教育協議会 , 電子情報通信学会 , 情報処理学会 , 教育システム情報学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page