近藤康平氏がSEKE 2026での論文にて第2位受賞！

株式会社アンチパターンの近藤康平氏が、2026年10月1日から2日にカナダ・トロントで開催された国際会議「SEKE 2026」において、共著論文がBest Paper Award第2位を受賞しました。この受賞は、カナダのトロントで現地開催され、参加者の多くが期待を寄せていた国際会議でのものであり、大きな栄誉を与えられました。

SEKE 2026の概要

SEKE（The International Conference on Software Engineering and Knowledge Engineering）は、ソフトウェア工学や知識工学の専門家が集い、各分野の研究成果を議論する重要な国際会議です。SEKE 2026は、その第38回の会議であり、近藤氏は現地で論文を発表し、その結果、名誉ある受賞を果たしました。特に、受賞論文では、プログラミング言語Goの並行処理に関する研究が扱われました。

受賞対象となった論文について

近藤氏の受賞論文は、北陸先端科学技術大学院大学（JAIST）での研究成果を反映したもので、プログラミング言語Goの並行処理にフォーカスした内容です。この論文は、K Frameworkを活用し、実行可能な操作的意味論を構築を試みるものでした。

研究の背景

プログラミング言語Goは、特にgoroutineやchannelを使用した並行処理のための機能が特徴的です。しかし、これらの機能が結びつくことで、プログラムの動作の検証が困難になるという問題があります。そのため、近藤氏は形式意味論を用い、実行制御の機能を定義しつつ、プログラムの実行状態の変化を規則として表現しました。

研究の概要

近藤氏の研究では、Goの言語仕様全体を対象とせず、特定の部分集合として、以下の機能に焦点を当てています。

- goroutine
- channel
- select
- closure
- defer
- panic/recover

これらに加え、プログラムの実行に必要なpointerやinterface、structなども対象にしています。K Frameworkを通じて、このsubsetの実行状態とその変化を定義しており、Go言語の挙動を検証するための実行可能な操作的意味論を構築しました。

本研究は、Go言語全体との互換性を持つことを主張するのではなく、より明確に検証結果と根拠を結び付けることを特徴としています。実際、73項目について期待される結果と実際の結果の一致確認も行われています。

研究成果の影響

さらに、この研究の進展を通じて、Goの公式仕様に基づいてプログラム動作の検証が行われ、2件の不具合が発見され、Goの開発者に報告されました。それにより、2026年9月にそれらは修正され、この成果は形式意味論の研究がソフトウェア品質の向上に寄与することを証明しました。

受賞を受けてのコメント

近藤氏は受賞に関し「このような賞をいただけて光栄に思っています。JAISTでの研究に対する柔軟な支援をいただいたことにも感謝しています」と語っています。また、目指すは研究と実務の両側面から新たな技術課題の解決だと力強く述べています。

一方、同社の代表取締役CEO兼VPoEの小笹佑京氏は、「研究活動が短期的な事業成果に結び付かないこともありますが、ソフトウェアエンジニアとしての基礎体力を高める活動として重要だ」との視点を示しています。このような視点から、同社は研究活動を支援しつつ、社員の成長を促進する環境作りに努めています。