基本情報

所属
組込みシステム学講座
職位
教授, 情報センター長
E-Mail
kitamiti@u-aizu.ac.jp
Webサイト
http://eslweb.u-aizu.ac.jp/~kitamiti/

教育

担当科目 - 大学
コンピュータアーキテクチャ論, 組込みシステム, コンピュータ理工学演習1, 課外プロジェクト:手作りマイコンプロジェクト
担当科目 - 大学院
Advanced Computer Architecture, 機能安全システムの基礎と実践

研究

研究分野
計算機工学・情報科学
略歴
平成3年8月 大阪大学基礎工学部 助手
平成11年4月 大阪大学情報処理教育センター/基礎工学部 講師
平成14年4月 会津大学コンピュータ理工学部助教授
平成25年4月 会津大学コンピュータ理工学部教授
現在の研究課題
安全システムの設計および検証に対する形式手法の適用, 組み合わせ最適化問題に対するヒューリスティック解法とそのハードウエア高速化手法
研究内容キーワード
組込みシステム, 形式手法, ヒューリスティック解法, ハードウエアアクセラレーション
所属学会
電子情報通信学会,情報処理学会

パーソナルデータ

趣味
読書,オーディオ(聴くことも,作ることも)
子供時代の夢
電子工作が好きで,当時出始めのコンピュータをマスタしたいと思った
これからの目標
座右の銘
In the book of life, the answers are not in the back.
愛読書
ポール・オースター, ジョン・アービング, 池澤夏樹など
学生へのメッセージ
多くのことに興味を持ってほしい
その他

主な研究

デマンド・アドレッサブル・センサネットワーク: 要求駆動型大規模センサネットワークを目指して

ユーザが発した抽象的なセンシング要求を解釈し、その要求を充たすセンシングデータを保有するセンサ群を発見し、それらセンサ群から取得したセンシングデータを、他のシステムが発する有益情報と共にネットワーク内でマッシュアップして、ユーザ端末に実時間表示可能とする広域センサネットワーク構築技術を確立します。センサネットワーク自体には、各センサノードが周囲の状況とユーザが発した要求を勘案し、動的に自らの役割を変更して所望のセンシングデータを積極的に取得するように自律動作する環境適応能力を実現します。

関連リンク
http://col1.u-aizu.ac.jp/dasn/

この研究を見る

主な著書・論文

[1]Shuichi Watanabe and Junji Kitamichi and Kenichi Kuroda,"A Hardware Algorithm for the Minimum p-Quasi Clique Cover Problem,"17th INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS(FPL 2007), 2007.
[2]Yuji NISHIMAKI, Junji KITAMICHI and Toshiaki MIYAZAKI,"Development of Education-purpose MIPS Processor Simulator System Visualizing Internal Operation Behavior," IEICE TRANSACTIONS on Information and Systems,2013.
[3]Shuta Yamamoto, Junji Kitamichi,"A Combinatorial Algorithm of Ant Colony Optimization and Neural Network Algorithm for Channel Assignment Problem," 2013 International Symposium on Nonlinear Theory and its Applications (NOLTA2013),2013.
[4]IPA(Information-technology Promotion Agency) SEC(Software Reliability Enhancement Center) Software Reliability Enhancement Promotion Committee System Fault Diagnosis WG,"System Fault Diagnosis Methods for Large and Complicated Embedded Systems / Proposal of Post hoc V&V by Model Base Approach," 2017.
[5]Hiroki Saito, Yoichi Tomioka and Junji Kitamichi,"Proposing a Highly Reliable Real-Time Operating System for a Processor with a Fault Self-detecting Mechanism," 13th International Conference on Embedded Software and Systems,2016.
[6]Sho Ikeda, Yoichi Tomioka, Junji Kitamichi,"Parallel Computing of Neural Network Algorithm for Fixed Channel Assignment Problem in Cellular Radio Networks with CUDA," The 2017 International Symposium on Nonlinear Theory and Its Applications,2017.