• BPnet
  • ビジネス
  • PC
  • IT
  • テクノロジー
  • 医療
  • 建設・不動産
  • TRENDY
  • WOMAN
  • ショッピング
  • 転職
  • ナショジオ
  • 日経電子版
EDA・ソフトウエア 強いLSIやボードを設計するための
 

「形式手法の世界に一石を投じたい」、CAV Techを創業した田口氏に聞く

シーエーブイテクノロジーズ 代表取締役社長 田口研治氏

進藤 智則=日経エレクトロニクス
2011/07/20 17:00
1/3ページ
CAV Technologies 代表取締役社長の田口氏
CAV Technologies 代表取締役社長の田口氏
[クリックすると拡大した画像が開きます]

 安全規格の認証取得や形式手法(formal methors)の導入支援などを手掛ける、シーエーブイテクノロジーズ(CAV Technologies Co., Ltd.、Tech-On!関連記事01)。形式手法の研究者であり、同社を起業した田口研治氏に起業の経緯などについて聞いた。

 田口氏は、形式手法の研究で世界トップ・レベルともいえるスウェーデンUppsala University出身という、異色の経歴の持ち主だ。1980年代の人工知能ブームの最中、米IntelliCorp社のエキスパート・システム「KEE」の国内販売を手掛けていた当時のCSK総合研究所(CRI)に入社し、エキスパート・システムの開発などに従事。その後、CSKシステムズなどでの研究活動を経て2000年に Uppsala Universityに留学、同大で博士号を取得した。Uppsala大は、時間オートマトン(timed automaton)ベースのモデル検査ツール「Uppaal」を、デンマークAalborg Universityと共同開発したことでも有名で、形式手法研究のメッカともいえる組織だ。

 その後、英University of Bradfordの講師を経て2005年に帰国し、国立情報学研究所(NII)の特任教授に就任。社会人向けのソフトウエア工学の講座「TOPSE(トップエスイー)」(Tech-On!関連記事02同03)の立ち上げで中心的な役割を果たした。2011年には、形式手法の分野で世界最大の学会である「FM 2011」で日本人唯一となるProgram Committee を務めたほか、トヨタ自動車の制御技術者がOMGにおいて提唱している安全規格の標準化活動にも協力しており(Tech-On!関連記事04同05)、2011年6月からはそのOMGで「System Assurance Task Force」のCo-Chairにも就任した。

 以下、会社設立の経緯などについて、田口氏に聞いた。(聞き手=進藤 智則)

まず起業の経緯についてお聞かせください。

ここから先は日経テクノロジーオンライン会員の方のみ、お読みいただけます。
・会員登録済みの方は、左下の「ログイン」ボタンをクリックしてログイン完了後にご参照ください。
・会員登録がお済みでない方は、右下の会員登録ボタンをクリックして、会員登録を完了させてからご参照ください。会員登録は無料です。

【技術者塾】(2/23開催)
シグナル/パワーインテグリティーとEMC

〜高周波・低電圧設計に向けたノイズの課題と対策〜


本講座では、設計事例を基に、ノイズ対策がなぜ必要なのかを分かりやすく解説します。その上で、シグナルインテグリティー(SI)、パワーインテグリティー(PI)、EMCの基礎知識ならびにそれらがノイズ課題の解決にどのように関係しているかを、これまでの知見や経験に基づいた具体例を踏まえつつ解説を行います。 詳細は、こちら
日程 : 2016年2月23日
会場 : 化学会館
主催 : 日経エレクトロニクス
印刷用ページ

マイページ

マイページのご利用には日経テクノロジーオンラインの会員登録が必要です。

マイページでは記事のクリッピング(ブックマーク)、登録したキーワードを含む新着記事の表示(Myキーワード)、登録した連載の新着記事表示(連載ウォッチ)が利用できます。

協力メディア&
関連サイト

  • 日経エレクトロニクス
  • 日経ものづくり
  • 日経Automotive
  • 日経デジタルヘルス
  • メガソーラービジネス
  • 明日をつむぐテクノロジー
  • 新・公民連携最前線
  • 技術者塾
  • スポーツイノベイターズオンライン

Follow Us

  • Facebook
  • Twitter
  • RSS

お薦めトピック

日経テクノロジーオンラインSpecial

記事ランキング