大西 孝臣
オオニシ タカオミ (Takaomi Ohnishi)
更新日: 06/04
基本情報
- 所属
- 苫小牧工業高等専門学校 創造工学科 情報科学・工学系 教授
- 学位
-
修士（工学）(室蘭工業大学)博士（工学）(室蘭工業大学)
- 研究者番号
- 30259783
- J-GLOBAL ID
- 200901087496985911
- researchmap会員ID
- 1000174440
研究キーワード
1研究分野
1学歴
3-
- 2002年
-
- 1993年
-
- 1991年
論文
22-
Formal Methods Teaching - 7th Formal Methods Teaching Workshop, FMTea 2026 Tokyo, Japan, May 19, 2026 Proceedings 71-89 2026年5月 査読有り筆頭著者
-
コンピュータソフトウェア 40(1) 3-10 2023年2月 査読有り筆頭著者
-
第8回 実践的IT教育シンポジウム rePiT2022 (95) 60-67 2022年2月 査読有り筆頭著者
-
情報処理学会論文誌 Vol.61(No.4) 863-883 2020年4月 査読有り筆頭著者
-
情報処理学会 ソフトウェアエンジニアリングシンポジウム2019 135-144 2019年8月 査読有り筆頭著者
-
論文集「高専教育」 (38) 90-95 2015年3月 査読有り
-
苫小牧工業高等専門学校紀要 (40) 27-30 2005年
-
教育システム情報学会誌 20(1) 51 2003年
-
苫小牧工業高等専門学校紀要 (38) 67-76 2003年
-
苫小牧工業高等専門学校紀要 (38) 63-66 2003年
-
論文集「高専教育」 (25) 157-162 2002年3月 査読有り
-
苫小牧工業高等専門学校紀要 (37) 97-100 2002年
-
苫小牧工業高等専門学校紀要 (37) 93-96 2002年
-
CIEC会誌コンピュータ&エデュケーション 11(11) 94-99 2001年 査読有り
-
苫小牧工業高等専門学校紀要 (36) 61-64 2001年
-
苫小牧工業高等専門学校紀要 (36) 57-60 2001年
-
苫小牧工業高等専門学校紀要 (35) 85-90 2000年
-
苫小牧工業高等専門学校紀要 (35) 79-84 2000年
-
苫小牧工業高等専門学校紀要 (34) 79-84 1999年
-
苫小牧工業高等専門学校紀要 (34) 73-78 1999年
MISC
17-
Memoirs of The Tomakomai College of Technology (40) 27-30 2005年
-
Transactions of Japanese Society for Information and Systems in Education(JSISE) 20(1) 51 2003年
-
Memoir of the Tomakomai National College of Technology (38) 67-76 2003年
-
Memoir of the Tomakomai National College of Technology (38) 63-66 2003年
-
Memoir of the Tomakomai National College of Technology (37) 97-100 2002年
-
Japanese College of Technology Education Journal (25) 157-162 2002年
-
Memoirs of Tomakomai College of Technology (37) 93-96 2002年
-
Computer & Education , Council for Improvement of Education through Computers(CIEC) (11) 94-99 2001年
-
Memoirs of Tomakomai National College of Technology (36) 61-64 2001年
-
Memoirs of the Tomakomai National College of Technology (36) 57-60 2001年
-
教育工学関連学協会連合全国大会講演論文集 = Joint Conference on Educational Technology 6(2) 821-822 2000年10月7日
-
Memoirs of the Tomakomai National College of Technology (35) 85-90 2000年
-
Memoirs of the Tomakomai National College of Technology (35) 79-84 2000年
-
Memoirs of the Tomakomai National College of Technologe (34) 79-84 1999年
-
Memoirs of the Tomakomai National College of Technology (34) 73-78 1999年
-
Memoirs of the Tomakomai National College of Technology (33) 77-82 1998年
-
Memoirs of the Tomakomai National College of Technology (33) 71-76 1998年
講演・口頭発表等
42-
ウィンターワークショップ2026・イン・静岡 2026年1月10日 情報処理学会/ソフトウェア工学研究会
-
ウィンターワークショップ2026・イン・静岡 2026年1月10日 情報処理学会/ソフトウェア工学研究会
-
ウィンターワークショップ2026・イン・静岡 2026年1月10日 情報処理学会/ソフトウェア工学研究会
-
ウィンターワークショップ2025・イン・下関 2025年1月11日 情報処理学会/ソフトウェア工学研究会
-
ウィンターワークショップ2024・イン・鹿児島 2024年1月24日 情報処理学会/ソフトウェア工学研究会
-
ソフトウェアエンジニアリングシンポジウム2023ワークショップ 2023年8月23日 情報処理学会/ソフトウェア工学研究会
-
ウィンターワークショップ2023・イン・富山 2023年1月21日 情報処理学会/ソフトウェア工学研究会
-
ソフトウェアエンジニアリングシンポジウム2022ワークショップ 2022年9月5日 情報処理学会/ソフトウェア工学研究会
-
ウィンターワークショップ2022・オンライン 2022年1月21日 情報処理学会/ソフトウェア工学研究会
-
ソフトウェアエンジニアリングシンポジウム2021ワークショップ 2021年9月6日 情報処理学会/ソフトウェア工学研究会
-
ソフトウェアエンジニアリングシンポジウム2021ワークショップ 2021年9月6日 情報処理学会/ソフトウェア工学研究会
-
68ウィンターワークショップ2021・オンライン 2021年1月21日 情報処理学会/ソフトウェア工学研究会 -
情報処理北海道シンポジウム2020 pp.227-228 2020年11月21日 情報処理学会北海道支部
-
ソフトウェアエンジニアリングシンポジウム2020ワークショップ 2020年9月10日 情報処理学会/ソフトウェア工学研究会
-
ソフトウェアエンジニアリングシンポジウム2020ワークショップ 2020年9月10日 情報処理学会/ソフトウェア工学研究会
-
ソフトウェアエンジニアリングシンポジウム2020ワークショップ 2020年9月10日 情報処理学会/ソフトウェア工学研究会
-
ウィンターワークショップ2020・イン・京都 2020年1月24日 情報処理学会/ソフトウェア工学研究会
-
ウィンターワークショップ2019・イン・福島飯坂 pp.1-2 2019年1月24日 情報処理学会/ソフトウェア工学研究会
-
2018年精密工学会秋季大会学術講演会講演論文集 pp.101～102 2018年9月5日
-
ウィンターワークショップ2018・イン・宮島 pp.38-39 2018年1月19日 情報処理学会/ソフトウェア工学研究会