研究室
Laboratory
NPO法人Old Teachers Networkでは、主に大学の退職教員や企業の技術・開発職が、非営利目的で研究を行う場として研究室を設置しています。研究室は研究テーマごとに「研究ユニット」として編成され、研究室長のもとベトナムをはじめとする海外機関との連携を推進しています。研究員の受入にあたっては、過去の実績や現在の研究テーマに基づき、理事会にて審議・決定いたします。
（※2026年9月現在、JSPS研究機関指定申請中）
Topics
2026.07.02 講演
TimeSyncBoF（IIJ主催）にて小野諭 主席研究員が講演
「時間は『今を測る』ものから『因果を過去から現在未来へとつなぐ』ものへ」と題した講演を行いました。
👉 講演・開催レポート（IIJ Engineers Blog）
2026.03.11 講演
ソフトウェア科学会 PPL 2026 にて小川瑞史 主席研究員がサーベイ講演
第28回プログラミングおよびプログラミング言語ワークショップ（PPL 2026）にて、サーベイ講演「マルウェア解析のためのバイナリコード上の動的記号実行」を行いました。
👉 プログラム・詳細（日本ソフトウェア科学会 PPL 2026）
2025.10 論文掲載
国際学術誌（STIS）にマルウェア解析に関するサーベイ論文が掲載
小川瑞史 主席研究員の論文「Malware Analysis: A Perspective from Dynamic Symbolic Execution of Binary Code」が、Journal of Science and Technology on Information Security (No 2. CS(25) 2025) に掲載されました。
👉 論文掲載ページ（STIS Journal）
2025.08.21 – 08.23 国際連携
サイバーセキュリティ・サマースクール（ベトナム・ダナン）を共同開催
VKU（Vietnam-Korea University of Information and Communication Technology）、JAIST（北陸先端科学技術大学院大学）と共催し、Summer school on cybersecurityを開催しました。
ベトナム国内大学（3名）、ロレーヌ大学（1名）、ケンブリッジ大学（1名）、JAIST（1名）、横浜国立大学（1名）に加え、OTNより2名が講師を務めました。
👉 開校式レポート（VKU公式ウェブサイト）
研究員
研究ユニット
＊OTNの研究ユニットをご紹介します。研究の詳細については、研究員のホームページをご参照ください。
理論計算機科学ユニット
【概要】
計算モデルの諸性質の十分条件、形式言語の諸性質の決定可能性についての研究を行います。（名古屋大学と共同研究）
【構成員】
・小川 瑞史