教員紹介 氏名・職階 石川 洋(いしかわ ひろし) 教授 自己紹介(出身地・出身校・学生時代の思い出・休日の過ごし方等) 静岡県清水市(現静岡市清水区)出身です。 初めて名古屋を訪れたのは大学4年の時でした。6泊7日のサイクリングの途中で2泊しました。自転車でひたすら走ることが主目的だったので観光はしませんでした。 名古屋に住むことになったので、休日は市内だけでなく近県も観光したいと思います。 専門・研究分野 ソフトウェア開発方法論や仕様の形式的検証について興味を持っています。 学びの紹介 主に情報リテラシ,数理・データサイエンス・AIに関連する講義・演習を担当しています。 学生・受験生に一言 大学の4年間は長いようですがあっという間に過ぎてしまいます。健康に気を付けて,よく学び,よく遊べ,を実践してください。 コンピュータや情報系の資格取得に興味のある人は声をかけてください。 主な研究業績 【著書】 ぺた語義ARTICLE:情報システム教育コンテスト(ISECON)への誘い -情報システム教育の質の向上をめざして-,情報処理Vol.63, No.9, pp.502-506 (2022)(解説記事) パソコン学,新潟国際情報大学(2020)(著書(共著)) 【論文】 A Case Study of Refactoring with UML Editor Plug-in for Eclipse -- Replace Type Code with State/Strategy --, ITC-CSCC2020, 5pages (2020)(論文(単著)) ProBを用いたVDMの陰仕様の解釈実行の試み,FOSE2014, 6ページ(2014)(論文(単著)) Z仕様から代数仕様への自動変換に関する考察,第20 回ソフトウェアシンポジウム論文集,8ページ(2000)(論文(共著))