教授紹介

北陸先端科学技術大学院大学

先端科学技術研究科

先端科学技術専攻(博士前期課程・博士後期課程）／融合科学共同専攻(博士前期課程・博士後期課程）

サービス科学をテーマに、シェアリングやAIなどのトピックを掲げて研究をしている。最近の著作には、AIと専門家の協働の問題を扱う「人工知能による特許評価と課題」(「経営・事業戦略に貢献する知財価値評価と効果的な活用法」 第1章第7節, 2021年3月発行）や、Boosting the Knowledge EconomyのChapter 3（Chandos Publishing, 2021年10月発行予定）がある。Journal of Creating Value（SAGE）のAssociate Editorも務める。

地方公共団体での勤務経験や複数の大学での教育研究経験を有し、現在は「地域資源戦略論」と取り組む。特に観光や移住など、地域の課題を経営や知識の視点で研究する。常に新しいテーマと取り組むが、一貫しているのは、社会変化の中で人や組織はどう変わるかという社会性に富んだテーマを選んでいること。フィールドワークで現場のありさまを直視するが、学ぶ楽しさ、研究することの楽しみを忘れないアプローチである。

専門は、文化人類学、知識社会学、科学技術社会論、エスノグラフィ論。英国ロンドン大学ＵＣＬ人類学部客員研究員、米国パロアルト研究所（ＰＡＲＣ）客員研究員、日本文化人類学会 理事・評議員、日本学術会議 連携会員などを歴任。科学/技術、医療/看護、産業/デザインなどの諸領域で分野横断的研究・応用エスノグラフィ研究（マーケティングエスノグラフィ、組織エスノグラフィ、医療エスノグラフィ）を実践している。

人間のウェルビーイングに焦点を当てたサービス研究領域であるTransformative Service Researchを推進。主な研究テーマに、持続可能な地域サービスシステムデザイン、企業の組織活性化、脳計測からみる人間の幸福度評価などがある。主な業績に、ブロックチェーン技術の社会応用や、知識科学とサービスに関する洋書、和書では『技術経営の実践的研究』、『横断型科学技術とサービス・イノベーション』がある。

複雑な現実の対象をどのようにモデル化し、問題を解決するかについて取り組んでいる。計算機による処理が可能なモデル（形式的モデル・数理モデル）を用いることにより、1. 設計されたシステムが正しいことを検証する、2. システムのパラメータを最適なものにチューニングする、 3. 与えられた仕様を満たすようなシステムを合成する、4. 詳細が未知のシステムを観測データからモデルの形で推定する、など様々なことが行える。

ソフトウェア工学、特に、形式手法・形式検証の実践的応用に関する研究を行っている。形式手法・形式検証は、数学や論理学に基づいて、ソフトウェアやシステムの正しさを科学的に保証する手法の総称であり、国際標準などでも、高安全・高信頼システムを開発する際に用いること推奨している。AI、DXなどにより多様化する近代的なソフトウェアを対象に、その安全性・信頼性を最先端の科学により保証することを目指す。

ソフトウェア開発方法論および開発環境、組込み/IoTシステムへの適用について幅広い研究を行っている。特にIoTに必須となる物理デバイスなどの低レベルからクラウドなどによるサービス統合などの高レベルをカバーするアーキテクチャ/サービスの実現により生産性と品質の向上を達成するための基盤構築、およびこれらのシステムを理解/活用/改善するスキルを持つ人材を育成するための教材開発などを目標とする。

信頼性の高い組込みシステムやサイバーフィジカルシステムの実現を目指し研究を行っている。連続・離散ハイブリッドシステムに基づいたモデリング手法や、区間解析と制約求解に基づいたモデルの解析・検証手法などを提案してきた。最近は、実際の数値計算プログラムの検証や、Simulinkモデルの自動テスト生成など、実践的な研究にも取り組む。