株式会社アンチパターンの社員である近藤康平氏が発表した共著論文が、カナダ・トロントで開催された国際会議「The 38th International Conference on Software Engineering and Knowledge Engineering（SEKE 2026）」において「Best Paper Award（第2位）」を受賞した。受賞対象となった研究は、同氏が北陸先端科学技術大学院大学（JAIST）で個人として取り組んでいるもので、同社の業務として実施されたものではない。プログラミング言語Goの並行処理を中心とする部分集合について、K Frameworkを用いて実行可能な操作的意味論を構築した成果が評価された。

並行処理に焦点を当てたGo言語の部分集合を形式化

Goは、goroutineやchannelを用いた並行処理に加え、deferやpanic/recoverなどの実行制御機能を備えているが、これらが組み合わさることで処理の実行順序や状態の変化を体系的に捉え、動作を検証することが難しくなる課題があった。

本研究では、Goの言語仕様全体ではなく並行処理を中心とする機能を「claimed subset（範囲を明示した部分集合）」として設定した。対象にはgoroutine、channel、select、closure、defer、panic/recoverのほか、これらを扱うプログラムに必要なpointer、interface、structなどが含まれる。

研究グループはK Frameworkを用い、プログラムの実行状態とその変化を書換え規則として定義した。Go言語全体との互換性を主張するのではなく対象範囲を明示し、Goの公式言語仕様に基づく73項目の検証対象（正常終了、panic、静的エラー、ブロッキングを含む）について期待される結果との一致を確認している。定義した範囲や検証結果を第三者が確認できるよう、ソースコードと検証成果物も公開されている。

研究を発展させる過程で、Goの公式言語仕様に基づいてプログラムの動作を比較・検証した結果、Goコンパイラに関する2件の不具合が発見された。これらはGo公式リポジトリに報告され、開発者による修正を経て2026年9月に修正コードが取り込まれた。

この成果はSEKE 2026での受賞に先立つものであり、言語の振る舞いを明示的に定義して検証するアプローチが、実際のプログラミング言語処理系の品質向上に貢献し得ることを示している。

個人の研究活動に対する柔軟な支援

株式会社アンチパターンでは、業務とは別に研究活動に取り組む社員に対して状況に応じた業務調整や技術イベントへの参加支援を行っており、今回は本人との相談のうえでCloudflare Connect 2026への参加を支援することを決めた。

同社の代表取締役CEO兼VPoEを務める小笹佑京氏は、研究が基礎体力を高め技術を見る目を鍛える活動であるとしつつ、「事業運営やソフトウェア開発のみならず、研究にも取り組む社員が挑戦しやすい環境づくりを続けていきます」とコメントしている。また、受賞した近藤康平氏は、会社の柔軟な支援への感謝を表し、得られた知見を生かして今後の開発や技術的課題の解決に取り組む考えを示した。

受賞および論文の詳細

論文および会議の概要は以下の通りである。

• 受賞：Best Paper Award（第2位）
• 会議名：The 38th International Conference on Software Engineering and Knowledge Engineering（SEKE 2026）
• 開催：現地 2026年10月1日〜2日（カナダ・トロント）／オンライン 2026年10月4日〜10日
• 論文名：A Concurrency-Centered Executable Semantics for a Claimed Subset of Go in the K Framework
• 著者：Kohei Kondo、Canh Minh Do、Kazuhiro Ogata（いずれも北陸先端科学技術大学院大学〔JAIST〕）
• 掲載：Proceedings of SEKE 2026, pp. 25–30
• 会議公式サイト：https://ksiresearch.org/seke/seke26.html
• 論文（Proceedings PDF）：https://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2026_Proceedings.pdf
• 研究成果の公開先：https://github.com/0xkohe/go-semantics-k
• 関連するGo公式Issue：https://github.com/golang/go/issues/81696 ／ https://github.com/golang/go/issues/81697

株式会社アンチパターン概要

• 会社名：株式会社アンチパターン
• 代表者：代表取締役 小笹 佑京
• 所在地：〒150-0002 東京都渋谷区渋谷1-20-18 5F
• 設立：2019年7月
• 事業内容：SaaS開発・提供。マルチテナントSaaSの認証・認可、テナント管理、課金・請求などを担う「SaaSus Platform」、SaaS化支援プログラム「10 Days SaaSification」を提供
• URL：https://anti-pattern.cojp/

本記事は株式会社アンチパターンの発表をもとに作成しています。

Dellows News編集部

ビジネスパーソンの課題解決と納得感にこだわるDellows News編集部。キャリア論からAI、健康法まで幅広い分野に対応し、複雑なテーマでも平易な言葉で丁寧に解説。読者が「明日から使える」知識やヒントを得られるよう、具体的な事例・データ・専門家の見解を交えて執筆。情報を整理し、納得感ある記事づくりを心がけています。