大阪電気通信大学 教員情報データベース >北嶋 暁

情報学科 所属教員一覧

北嶋 暁(きたじま あきら)KITAJIMA Akira 画像の説明

  • 所属部署
    総合情報学部 情報学科 教授
    大学院 総合情報学研究科 コンピュータサイエンス専攻 教授
  • 専門分野
    ディジタルシステムの設計検証
  • 研究テーマ
    VLSI工学
    計算機設計工学
    組み込みシステム設計
  • URL
  • 経歴
    • 学歴
      1998 大阪大学大学院基礎工学研究科物理系専攻情報工学分野博士後期課程修了
      博士(工学) 大阪大学
    • 職歴
      1998年4月1日〜2001年3月31日 大阪大学大学院基礎工学研究科 助手
      2001年4月1日 大阪電気通信大学総合情報学部情報工学科 講師 着任
      現在 大阪電気通信大学総合情報学部情報学科 教授
  • 取得学位等
    博士(工学)
  • 受賞、顕彰など
  • 所属学会
    IEEE, 情報処理学会

北嶋 暁(きたじま あきら)KITAJIMA Akira

  • 所属部署
    総合情報学部 情報学科 教授
    大学院 総合情報学研究科 コンピュータサイエンス専攻 教授
  • 学科・学部の運営
    総合情報学部 情報学科 主任
  • 委員会、センター、研究所等の学内組織における活動


  • 本学と外部の産官学機関等との連携活動


  • 高大連携、オープンキャンパス、公開講座などの対外的活動


  • その他

北嶋 暁(きたじま あきら)KITAJIMA Akira

  • 所属部署
    総合情報学部 情報学科 教授
    大学院 総合情報学研究科 コンピュータサイエンス専攻 教授
  • 学部教育(講義)
    ゼミナール演習1
    ゼミナール演習2
    C++プログラミング演習1
    論理設計1・演習
    論理設計2・演習
    プログラミング言語論
    グループプログラミング演習1
    情報処理技術
  • 大学院教育(講義)
    計算機援用工学特論
    コンピュータサイエンス演習1
    コンピュータサイエンス演習2
    コンピュータサイエンス演習3
    コンピュータサイエンス演習4
  • 論文等指導
    • 卒業論文等の指導: 13名
    • 修士論文等の指導: 1名
    • 博士論文等の指導: 0名

北嶋 暁(きたじま あきら)KITAJIMA Akira

  • 所属部署
    総合情報学部 情報学科 教授
    大学院 総合情報学研究科 コンピュータサイエンス専攻 教授
  • 著書


  • 学術論文・作品など
  1. 垣内洋介, 北嶋暁, 浜口清治, 柏原敏伸, ``モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法,'' 電子情報通信学会論文誌D, Vol.J89-D, No.4, pp.674-682, 2006年4月.
    他6件
  • 国際会議、国内会議、発表会、コンクールなど
  1. 程 明宇,北嶋 暁, ``AndroidにおけるGPUを用いたリアルタイム視覚効果処理アプリケーションの実装,'' 第163回システムLSI設計技術研究発表会 (デザインガイア2013), 2013年11月.
  2. 佐々木亮介,山本健太,北嶋 暁, ``マイクロプロセッサ検証における不具合命令の特定が容易なテストプログラムの自動生成法の提案,'' 情報処理学会第75回全国大会, 2013年3月.
  3. Yosuke Kakiuchi, Akira Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, "Automatic Monitor Generation from Regular Expression Based Specifications for Module Interface Verification," 2005 IEEE International Symposium on Circuits and Systems (ISCAS2005), Kobe, Japan, May 2005.
    他24件
  • 外部資金の獲得、特許・著作権等の知財権の取得など


  • 学会等における活動(学術集会の組織、雑誌編集など)

北嶋 暁(きたじま あきら)KITAJIMA Akira

  • 所属部署
    総合情報学部 情報学科 教授
    大学院 総合情報学研究科 コンピュータサイエンス専攻 教授
  • 地域社会における貢献


  • 公的機関等における委員・役員など


  • 学会等の財団法人・社団法人における組織運営


  • 国内外における災害救助活動、NPO 活動など


  • その他

powered by Quick Homepage Maker 4.73
based on PukiWiki 1.4.7 License is GPL. QHM

最新の更新 RSS