研究キーワードが「形式手法」である研究者

コバヤシコウイチ

小林孝一

Koichi Kobayashi

北海道大学

大学院情報科学研究院システム情報科学部門准教授
タカキオサム

高木理

Takaki Osamu

群馬大学

社会情報学部准教授
ヨシダサトル

吉田聡

Satoru YOSHIDA

公立鳥取環境大学

人間形成教育センター准教授
ハセベコウジ

長谷部浩二

Koji Hasebe

筑波大学

システム情報系情報工学域准教授
ツカダヤスユキ

塚田恭章

Yasuyuki Tsukada

関東学院大学

理工学部理工学科情報学系教授
コバヤシツトム

小林努

Tsutomu Kobayashi

科学技術振興機構

ACT-I 専任研究者
イマイケイゴ

今井敬吾

Keigo Imai

岐阜大学

工学部助教
キノシタシュウジ

木下修司

Shuji Kinoshita

産業技術大学院大学

産業技術研究科助教
イトウソウヘイ

伊藤宗平

Sohei Ito

国立研究開発法人水産研究・教育機構水産大学校

水産流通経営学科助教
スエナガコウヘイ

末永幸平

Kohei Suenaga

京都大学

大学院情報学研究科通信情報システム専攻准教授
シマヨシタカオ

嶋吉隆夫

Takao Shimayoshi

九州大学

情報基盤研究開発センター准教授
小島健介

Kojima Kensuke

京都大学

特定講師
クリハラマサヒト

栗原正仁

Masahito Kurihara

北海道大学

大学院情報科学研究科教授
カワモトユウスケ

川本裕輔

Yusuke Kawamoto

国立研究開発法人産業技術総合研究所

サイバーフィジカルセキュリティ研究センター主任研究員
サイトウナオキ

斉藤直希

Naoki Saito
石黒正揮

Masaki Ishiguro

株式会社三菱総合研究所

クラウドセキュリティグループ主任研究員
クサカベシゲル

日下部茂

Shigeru Kusakabe

長崎県立大学

情報システム学部教授
イマイタケオ

今井健男

Takeo Imai

Idein株式会社

エンジニア
藤井清貴

Kiyotaka Fujii

公益社団法人日本技術士会

中国本部電気電子・経営工学・情報工学部会
髙村博紀

Hiroki Takamura

日本品質保証機構
イシカワフユキ

石川冬樹

Fuyuki Ishikawa

国立情報学研究所

アーキテクチャ科学研究系准教授
ヨコガワトモユキ

横川智教

Tomoyuki YOKOGAWA

岡山県立大学

情報工学部情報システム工学科准教授
長久勝

Masaru Nagaku

国立情報学研究所

共同研究員
西原秀明

Hideaki Nishihara

国立研究開発法人産業技術総合研究所

サイバーフィジカルセキュリティ研究センター主任研究員
フタツギクニタカ

二木邦尚

Kunitaka Futatsugi

旧所属電気通信大学大学院電気通信学研究科電子情報学専攻（旧名称）

大学院学生（博士課程）
オカモトケイシ

岡本圭史

Keishi Okamoto

仙台高等専門学校

総合工学科
小林健一

Kenichi Kobayashi

株式会社豆蔵
中本加那

Nakamoto Kana
チョウカンメイ

張漢明

Han-Myung CHANG

南山大学

情報理工学部ソフトウェア工学科助教授・准教授
中島震

Shin Nakajima

国立情報学研究所

情報社会相関研究系教授