![著書が高専の教科書にも採用! 実機を動かさなくてもバグが分かる、効率的かつ正確なシステムづくりのサムネイル画像](https://gekkan-kosen.com/wp-content/uploads/2023/03/1-1-800x679.jpg)
母校・八戸高専で非常勤講師として高専生教育に携わりながら、岩手県立大学で教鞭をとられている猪股俊光先生。高性能なソフトウェアを設計・実装するための研究にご尽力されており、猪股先生の著書は、高専の教科書としても採用されています。高専時代の思い出や高専生に伝えたいことについて伺いました。
専門分野を“こだわらなかった”からこそ充実した高専時代
―高専に進学したきっかけを教えてください。
兄が高専出身ということもあり、私服や車で通学する姿を見て「普通高校とは違った学生生活が送れて、面白そうだな」と思ったのが1つの理由です。
また、工学系に興味があったことから、中学卒業後から専門的なことを学びたいという思いもあり、高専への進学を決意。なかでも、オーディオ機器をはじめとする電子機器が好きで、スマートな印象があったので、電気工学科を選びました。
![寮の部屋で勉強をされている猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/2-3.jpg)
とは言っても、電気分野に対する思い入れがそこまで強かったわけではないので、入学後に「アマチュア無線をつくった」とか「趣味で回路を組み立てている」といった学生が同じクラスにたくさんいたときは、関心の高さに驚きましたね。
―高専時代の思い出はありますか?
![赤いユニフォームを着た猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/3-3.jpg)
当時は、工学分野だけでなく、「文章を書く」ことにも興味があったため、新聞委員会の一員として、高専祭や高専大会といった行事に合わせて、年に3~4回ほど学内で新聞を発行していました。
新聞づくりのノウハウを学びながら、顧問の先生の研究室に入り浸り、放課後の時間はほとんどそこで費やしていましたね。専門分野だけを突き詰めたいという思いはそこまでなかったからこそ、広い分野に関心を持ちながら、充実した学生生活を過ごせたと思います。
![研究室で座る猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/4-3.jpg)
モデル化でバグを検出! 製品の根幹となるソースコード解析
―大学院時代はどのような研究を行っていたのでしょうか。
システム工学の分野で研究を行っていました。ここで言う「システム」とは、たくさんの部品から構成されながら全体として機能している航空機や大規模プラント、製造ラインに加えて、コンピュータを内蔵している家電製品に代表される「組込みシステム」と呼ばれるものまで、幅広いものを指します。
![研究室で座る猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/5-2.jpg)
私は「そういったシステムをどのように設計すればよいのか」「システムが本来の目的を果たしているのか」について、システム工学的なアプローチで解決するための研究を行っていました。
具体的には、まず、数式や記号を使ってシステムの振る舞いを数学的に表現します。これによりシステムの「モデル」ができあがります。次に、そのモデルを使って、「システムが望みの動きをするかどうかを調べる」ための解析法を適用します。そうすることで、実際に製品を使った実験を行わなくても、コンピュータを使ったシミュレーションによって、システムの持つ性質を調べることが可能になるのです。
![トロフィーを前に研究室の方々と祝賀会をする猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/6(修正).jpg)
システム作りでは、計画から設計、実装、運用に至る各段階において、課題を合理的に解決することが求められます。そこでは、モデルに基づいた設計・解析が有効な手法の1つとされています。そのための、新たなモデルと解析法を提案することが大学院時代の主な研究でした。
![豊橋技科大の前で写真に写る猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/7-3.jpg)
―現在はどのような研究を行っているのですか?
最近では、システムに組み込まれているコンピュータ向けのソフトウェアの品質向上に関する研究をメインで行っています。
現代では車や飛行機、家電はもとより、社会インフラの多くがソフトウェアでコントロールされていますよね。つまり、そのソフトウェアが正しく動かなければ、製品や公共サービスの目的を果たせないどころか、重大な事故につながりかねません。そこで、「ソフトウェアが本来持つべき性質を満たしているのか」について事前に調べることは、すべての製品の品質向上につながります。
プログラムを実際に動かしてみれば、異常に気付くことはできます。ただ、システムの規模が大きくなればなるほど、実機のもとでプログラムを動かすことは簡単ではありません。自動運転の車を例にすると、「とりあえず走らせてみて、事故が起きてからプログラムを手直しする」というわけにはいきませんよね。
だから、実機を動かす前にどれだけミスを発見して減らせるのかが重要なんです。私の研究では、それをより効率良く、精度よく行うためのモデル開発を目指しています。
![小学校の教室で授業をする猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/8-3.jpg)
現在は、共同研究を通じて車載ソフトの品質向上に取り組んでいます。車載ソフトといっても最近の車種になると、膨大なサイズになっていて、全体を一度に検証することは難しいです。
もし、モデルチェンジなどのためにプログラムの一部を修正したとき、それの影響を受ける範囲が事前にわかれば、プログラム全体をコンパイルし直して検査をすることなく、影響を受ける範囲だけを検査すればよくなります。これにより、開発期間を短くすることができます。
そこで、プログラムの変更が影響をあたえる範囲を正確に特定するための手法の開発に取り組んでいます。
![岩手県立大の学生の皆さまにお話をする猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/9-3.jpg)
「学び方を学ぶ」意識で、学業に取り組んでほしい
―先生は、教科書の執筆も行っているそうですね。
高専時代から文章を書くのが好きだったこともあり、大学院時代、研究室の後輩のために、コンピュータの使い方やプログラムの書き方についてまとめたものを書き溜めていました。
そして弓削商船高等専門学校で講師(当時)をしている研究室時代の同級生である益崎真治先生(元弓削商船高専副校長)から声をかけてもらい、共著として1冊目の教科書を出版しました。それ以降、担当した授業のために書き溜めたものがまとまる度に出版社と交渉し、これまでに6冊を出版しました。一部の高専では教科書としても採用していただいています。
![猪股先生の著作6冊](https://gekkan-kosen.com/wp-content/uploads/2023/03/10-3.jpg)
普段の授業では、履修している学生にしか伝えることができません。そこで、書籍化することで、より多くの方にプログラミングの基礎知識や面白さを伝えることができればいいなと考えています。
![高校生に講義をする猪股先生](https://gekkan-kosen.com/wp-content/uploads/2023/03/11-5.jpg)
―高専生にメッセージをお願いします。
高専を卒業することで、みなさんは“高専の卒業生”という全国的なネットワークの一員になります。これは、実際にその立場になってみないとあまり分からないことかもしれませんが、他の教育機関では得られない感覚だと思います。私自身、振り返ってみても、これが1番の財産だと感じています。
また、母校である八戸高専では非常勤講師を併任していますが、高専で授業をしているときのほうが進めやすいです。高専生は数学を十分に勉強しているため、それほど丁寧に説明しなくても理解してもらえることが多いです。そういった工学を学ぶための基礎もまた、高専で得られる財産の1つです。
たとえ、学業や研究において良い成果が出なかったとしても、それに取り組んだプロセスが大事だと思います。学校で学んだ知識だけで生きていけるわけではないですし、社会に出てからの学びの時間の方が長いです。高専や大学では「学び方を学ぶ」意識で、学業に取り組んでほしいです。
猪股 俊光氏
Toshimitsu Inomata
- 岩手県立大学 ソフトウェア情報学部 教授
(八戸工業高等専門学校 電気情報工学コース 非常勤講師)
![猪股 俊光氏の写真](https://gekkan-kosen.com/wp-content/uploads/2023/03/1-1-470x399.jpg)
1982年3月 八戸工業高等専門学校 電気工学科 卒業
1984年3月 豊橋技術科学大学 工学部 生産システム工学課程 卒業
1986年3月 豊橋技術科学大学大学院 工学研究科 生産システム工学専攻 修了
1989年3月 豊橋技術科学大学大学院 工学研究科 システム情報工学専攻 修了
1989年4月 豊橋技術科学大学 工学部 助手
1992年4月 静岡理工科大学 理工学部 講師
1995年4月 同 助教授
1998年4月 岩手県立大学 ソフトウェア情報学部 ソフトウェア情報学科 助教授
2007年4月より現職
2007年4月~現在 八戸工業高等専門学校 電気情報工学コース 非常勤講師(併任)
2012年4月~2016年3月 岩手県立大学 ソフトウェア情報学部 学科長
2015年4月~2017年3月 一関工業高等専門学校 電気情報工学科 非常勤講師(併任)
2016年4月~2020年3月 岩手県立大学 ソフトウェア情報学部 学部長
八戸工業高等専門学校の記事
![田澤様](https://gekkan-kosen.com/wp-content/uploads/2023/01/1-1-600x551.jpg)
![横田先生](https://gekkan-kosen.com/wp-content/uploads/2022/07/1-10-600x566-1658741287.jpg)
![](https://gekkan-kosen.com/wp-content/uploads/2021/12/0-TOP画像-300x222.jpg)
アクセス数ランキング
- 「ホイヘンスの振り子時計」などの物理教材を学生と製作。日常生活を支える「物理」に触れるきっかけを!
- 弓削商船高等専門学校 総合教育科 准教授
牧山 隆洋 氏
- 自己研鑽した技術力であらゆる研究を支える! 高専に「技術職員」が存在する確かな意義
- 米子工業高等専門学校 技術教育支援センター 技術専門職員
山脇 貴士 氏
- 研究・教育による世界平和をめざして。同じビジョンをもつ仲間とともに、あらゆる地域の水環境を改善!
- 香川高等専門学校 建設環境工学科 教授
多川 正 氏
- 「突き詰めたい」という気持ちが原動力。地域の人たちと地理、観光開発の関係性を解き明かす観光地理学
- 東京都立産業技術高等専門学校 品川キャンパス ものづくり工学科 一般科 助教
朝倉 槙人 氏
- 活動の源は世界平和! 環境にやさしい持続可能な木造建築を追求し、40代で研究者の道へ飛び込む
- 米子工業高等専門学校 総合工学科 建築デザインコース 助教
川中 彰平 氏
- 大切なのは、「やってみよう」と踏み出すこと。高専生の時には苦手だった分析化学の分野で、紙の検査デバイスをつくる!
- 米子工業高等専門学校 総合工学科 化学・バイオコース 助教
礒山 美華 氏
- 幹部自衛官から大学研究者へ転身、そしてベンチャー創業。全ての経験を、目の前にいる高専生の学びにつなげたい
- 東京工業高等専門学校 機械工学科 准教授
原口 大輔 氏
- 高専OG初の校長! 15年掛かって戻ることができた、第一線の道でやり遂げたいこと
- 鹿児島工業高等専門学校 校長
上田 悦子 氏