• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

高木 理  Takaki Osamu

ORCIDORCID連携する *注記
研究者番号 30388011
その他のID
所属 (現在) 2025年度: 群馬大学, 情報学部, 准教授
所属 (過去の研究課題情報に基づく) *注記 2023年度 – 2024年度: 群馬大学, 情報学部, 准教授
2016年度 – 2018年度: 群馬大学, 社会情報学部, 准教授
2013年度 – 2015年度: 群馬大学, 医学部附属病院, 助教
2009年度 – 2012年度: 北陸先端科学技術大学院大学, 知識科学研究科, 助教
2008年度: 独立行政法人産業技術総合研究所, サービス工学研究センター, 招聘研究員
審査区分/研究分野
研究代表者
小区分60070:情報セキュリティ関連 / 知能情報学 / 知能情報学 / ソフトウエア
研究代表者以外
小区分60070:情報セキュリティ関連 / 教育工学
キーワード
研究代表者
頻度 / 医療データベース / 医療情報システム / 医療サービス / 形式手法 / オントロジー / 匿名性指標 / 秘密計算 / 差分プライバシー / 匿名化技術 … もっと見る / プライバシー強化技術 / t検定 / 線形時相論理 / クリプキ意味論 / 時系列分析 / 院内ネットワーク / データ分析 / 論理 / ナースコール / 検索システム / 様相論理 / ケース・ファインディング / 時系列データ / 医療データ / 時相論理 / グラフ表現上 / データ統合 / 医療データウェアハウス / 質評価 / 医療サービス評価 / 臨床評価指標 / 表現システム / 質指標 / サービスプロセス / ビジネスプロセス / 医療オントロジー / 検証 / 要件分析 / 形式的手法 / web / UML / 画面遷移図 / データモデル図 / 業務フロー図 / 仕様書 / 情報システム … もっと見る
研究代表者以外
情報セキュリティ / 匿名化 / 差分プライバシー / プライバシー保護 / パーソナルデータ利活用 / シャッフルモデル / 局所差分プライバシー / パーソナルデータ連結匿名化 / e-ラーニング / 教育工学 / コンポーネント・アーキテクチャ / e-Learning標準規格 / メタデータ / 主体的学習 / リフレクション支援 / e-Learning統合支援環境 / 学習過程の分析 / コンポーネントウェア / e-Learningプラットフォーム / LMS / 学習コンテンツ / 学習支援技術の標準化 / e-Learning / 学習統合環境 隠す
  • 研究課題

    (6件)
  • 研究成果

    (69件)
  • 共同研究者

    (13人)
  •  データ分析結果に関わる,より広範なステークホルダーのためのプライバシー強化技術研究代表者

    • 研究代表者
      高木 理
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60070:情報セキュリティ関連
    • 研究機関
      群馬大学
  •  パーソナルデータの組織横断利活用のための安全性理論および実証研究

    • 研究代表者
      千田 浩司
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60070:情報セキュリティ関連
    • 研究機関
      群馬大学
  •  事象の頻度の変化が表現可能な形式言語に基づく医療データ検索技術研究代表者

    • 研究代表者
      高木 理
    • 研究期間 (年度)
      2015 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      群馬大学
  •  直観的理解の容易さと合理的根拠を兼ね備えた医療の質評価内容の表現法および計算法研究代表者

    • 研究代表者
      高木 理
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      群馬大学
      北陸先端科学技術大学院大学
  •  多様な学習形態を統合するコンテキストアウェア・コンポーネントアーキテクチャ

    • 研究代表者
      池田 満
    • 研究期間 (年度)
      2010 – 2012
    • 研究種目
      基盤研究(B)
    • 研究分野
      教育工学
    • 研究機関
      北陸先端科学技術大学院大学
  •  形式的検証とウェブオントロジーの融合による大規模情報システム設計支援研究代表者

    • 研究代表者
      高木 理
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      北陸先端科学技術大学院大学

すべて 2024 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 その他

すべて 雑誌論文 学会発表 図書

  • [図書] Data Governance: Creating Value from Information Assets2013

    • 著者名/発表者名
      高木理,和泉憲明, 村田晃一郎, 橋田浩一
    • 出版者
      Taylor & Francis
    • データソース
      KAKENHI-PROJECT-24500167
  • [図書] Agile and Lean Service-Oriented Development: Foundations, Theory and Practice2012

    • 著者名/発表者名
      高木理, 清野貴博,和泉憲明, 橋田浩一
    • 出版者
      IGI Global
    • データソース
      KAKENHI-PROJECT-24500167
  • [図書] Semantics - Advances in Theories and Mathematical Models2012

    • 著者名/発表者名
      高木理,竹内泉, 高橋孝一, 和泉憲明, 村田晃一郎, 橋田浩一
    • 出版者
      InTech
    • データソース
      KAKENHI-PROJECT-24500167
  • [雑誌論文] 多様なデータの連携分析のための頻度論理の拡張2018

    • 著者名/発表者名
      高木理
    • 雑誌名

      電子情報通信学会技術研究報告(信学技報)

      巻: 118 ページ: 131-136

    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] 頻度の変化を表現するための論理2018

    • 著者名/発表者名
      高木理
    • 雑誌名

      回路とシステムワークショップ論文集

      巻: 31 ページ: 19-24

    • NAID

      40021616924

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] 事象発生頻度の変化を表現するための論理2017

    • 著者名/発表者名
      高木理
    • 雑誌名

      電子情報通信学会技術研究報告(信学技報)

      巻: 117(301) ページ: 57-62

    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] Extensions of l-diversity to reduce the risk of revealing patient severe health conditions2017

    • 著者名/発表者名
      Osamu Takaki, Takayuki Asao and Yoichi Seki
    • 雑誌名

      Proceedings of International Conference on Mechanical, Electrical and Medical Intelligent System 2017 (ICMEMIS2017)

      巻: 無し

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] Nurse Call Data Analysis Based on Medical Care Processes2017

    • 著者名/発表者名
      O. Takaki, T. Kato, A. Sugimoto, K. Torikai, H. Endo and Y. Saito
    • 雑誌名

      INFORMATION-An International Interdisciplinary Journal

      巻: 未定

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] Analysis of Nurse Call Data Based on the Medical Care Process2017

    • 著者名/発表者名
      Osamu Takaki, Tsuyoshi Kato, Atsuko Sugimoto, Kota Torikai, Hiroki Endoand Yuichiro Saito
    • 雑誌名

      INFORMATION-An International Interdisciplinary Journal

      巻: Vol.20, No.1(B) ページ: 643-658

    • NAID

      40021232971

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] 大学病院における3つの側面からの院内ネットワーク統合化2016

    • 著者名/発表者名
      高木 理,鳥飼 幸太,浜元 信州,青木 高,辻村 真一,鈴木 亮二,原澤祐輔,齋藤 勇一郎
    • 雑誌名

      月刊新医療

      巻: No.503 ページ: 95-99

    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] 学術・医療ネットワークの統合による大規模無線LAN環境の構築2016

    • 著者名/発表者名
      高木 理,浜元 信州,青木 高,鳥飼 幸太,辻村 真一,鈴木 亮二,齋藤 勇一郎
    • 雑誌名

      学術情報処理研究

      巻: No.20 ページ: 56-64

    • NAID

      130007458225

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] 事象の頻度が表現可能な形式言語の構築に向けて2015

    • 著者名/発表者名
      高木理
    • 雑誌名

      信学技報

      巻: 114(415)

    • データソース
      KAKENHI-PROJECT-24500167
  • [雑誌論文] Segmental HOG: New Descriptor for Glomerulus Detection in Kidney Microscopy Image2015

    • 著者名/発表者名
      Tsuyoshi Kato, Raissa Relator, Hayliang Ngouv, Yoshihiro Hirohashi, Osamu Takaki, Tetsuhiro Kakimoto, and Kinya Okada
    • 雑誌名

      BMC Bioinformatics

      巻: 16:316 号: 1 ページ: 1-16

    • DOI

      10.1186/s12859-015-0739-1

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [雑誌論文] Evaluation of Pattern-Based Quality Indicators Development Framework2014

    • 著者名/発表者名
      O. Takaki, I. Takeuti, N. Izumi
    • 雑誌名

      Advanced Science, Engineering and Medicine

      巻: 6(8)

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24500167
  • [雑誌論文] Graphical Representation of Quality Indicators Based on Medical Service Ontology2013

    • 著者名/発表者名
      O. Takaki, I. Takeuti, K. Takahashi, N. Izumi, K. Murata, M. Ikeda, K. Hasida
    • 雑誌名

      SpringerPlus

      巻: 2:274 号: 1 ページ: 1-20

    • DOI

      10.1186/2193-1801-2-274

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500167
  • [雑誌論文] Workflows with Passbacks and Incremental Verification of Their Correctness2012

    • 著者名/発表者名
      高木理,竹内泉,和泉憲明,橋田浩一
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E95.D 号: 4 ページ: 989-1002

    • DOI

      10.1587/transinf.E95.D.989

    • NAID

      10030941945

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24500167
  • [雑誌論文] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

    • 著者名/発表者名
      Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
    • 雑誌名

      International Journal On Advances in Software 2

      ページ: 147-161

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500045
  • [雑誌論文] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

    • 著者名/発表者名
      高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
    • 雑誌名

      International Journal On Advances in Software vol.2

      ページ: 147-161

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500045
  • [雑誌論文] Verification of evidence life cycles in workflow diagrams with passback flows2008

    • 著者名/発表者名
      高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
    • 雑誌名

      International journal on advances in software 1-1

      ページ: 14-25

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500045
  • [雑誌論文] Verification of evidence life cycles in workflow diagrams with passback flows2008

    • 著者名/発表者名
      高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
    • 雑誌名

      International journal on advances in software vol.1-1

      ページ: 14-25

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] $f$-Divergence Differential Privacy2024

    • 著者名/発表者名
      Shota Saito, Koji Chida, Osamu Takaki
    • 学会等名
      電子情報通信学会 情報セキュリティ研究専門委員会(ISEC研)主催 SCIS2024
    • データソース
      KAKENHI-PROJECT-23K11097
  • [学会発表] シャッフルモデルによる局所差分プライベート行結合データのプライバシ増幅に関する考察2024

    • 著者名/発表者名
      千田 浩司 , 齋藤 翔太 , 高木 理
    • 学会等名
      情報処理学会 第104回コンピュータセキュリティ研究会(CSEC)
    • データソース
      KAKENHI-PROJECT-23K11097
  • [学会発表] Towards Privacy Preservation in Data Utilization Based on Patient Information Severity2018

    • 著者名/発表者名
      Osamu Takaki
    • 学会等名
      International Conference on Technology and Social Science 2018 (ICTSS 2018)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 頻度の変化を表現するための論理2018

    • 著者名/発表者名
      高木理
    • 学会等名
      第31回 回路とシステムワークショップ
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] A proposal on an evaluation method of service quality based on properties of change in frequency2018

    • 著者名/発表者名
      Osamu Takaki
    • 学会等名
      International Conference on Mechanical, Electrical and Medical Intelligent System 2018 (ICMEMIS2018)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] A Perspective on DataBase-Based Data Analysis2018

    • 著者名/発表者名
      Osamu Takaki
    • 学会等名
      International Conference on Technological Challenges for Better World 2018 (ICTCBW 2018)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] Towards prediction of a wireless LAN device’s location in a large scale network system2018

    • 著者名/発表者名
      Osamu Takaki
    • 学会等名
      International Symposium of Gunma University Medical Innovation (GUMI 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 多様なデータの連携分析のための頻度論理の拡張2018

    • 著者名/発表者名
      高木理
    • 学会等名
      電子情報通信学会システム数理と応用研究会
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] Data analysis for medical services based on diverse information systems2017

    • 著者名/発表者名
      Osamu Takaki, Tsuyoshi Kato, Kota Torikai and Yuichiro Saito
    • 学会等名
      Gunma University Medical Innovation 2017 (GUMI 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 統計的検定に基づく事象発生頻度を表現するための形式的言語2016

    • 著者名/発表者名
      高木理
    • 学会等名
      理論計算機科学と圏論ワークショップ(CSCAT 2016)
    • 発表場所
      理化学研究所計算科学研究機構(兵庫県・神戸市)
    • 年月日
      2016-03-16
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 複雑化した院内ネットワークシステムの統合により運用の簡易化を実現2016

    • 著者名/発表者名
      高木理
    • 学会等名
      国際モダンホスピタルショウ2016
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] Analysis of Nurse Call Data Based on the Medical Care Process2016

    • 著者名/発表者名
      Osamu Takaki, Tsuyoshi Kato, Atsuko Sugimoto, Kota Torikai, Hiroki Endoand Yuichiro Saito
    • 学会等名
      The 4th International Conference on Science and Engineering in Biology, Medical and Public Health (BioMedPub 2016)
    • 発表場所
      ジャカルタ(インドネシア)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] Development of Network System Based on Fiber-To-The-Desktop (FTTD) in a National University Hospital2016

    • 著者名/発表者名
      Osamu Takaki, Kota Torikai, Shinichi Tsujimura, Ryoji Suzuki, Yuichiro Saito, Takashi Aoki, Ichiroh Suzuta, Kenta Maeda, Nobukuni Hamamoto
    • 学会等名
      The 11th International Conference on Software Engineering Advances (ICSEA 2016)
    • 発表場所
      ローマ(イタリア)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 大学病院における院内ネットワークの統合化に際しての課題とその取り組み2016

    • 著者名/発表者名
      高木理
    • 学会等名
      第36医療情報学連合大会・ランチョンセミナー
    • 発表場所
      横浜
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] How to spread citizen-oriented healthcare systems or servicesin clinical practice? (Panel on HEALTHINFO/INNOV Topic: Citizen-oriented Health Systems and Services)2016

    • 著者名/発表者名
      Osamu Takaki
    • 学会等名
      The 11th International Conference on Software Engineering Advances (ICSEA 2016)
    • 発表場所
      ローマ(イタリア)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 呼び出し対応負担の平準化に向けたナースコールデータとオーダリングデータの連動分析2016

    • 著者名/発表者名
      高木理
    • 学会等名
      第36医療情報学連合大会・ランチョンセミナー
    • 発表場所
      横浜
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 入院状況に基づくナースコールデータ分析ツール2015

    • 著者名/発表者名
      高木理,杉本厚子,鳥飼幸太,坂詰康孝,鈴木亮二,辻村真一,引田美恵子,細野貴広,齋藤勇一郎
    • 学会等名
      第35回医療情報学連合大会
    • 発表場所
      沖縄コンベンションセンター(沖縄県・宜野湾市)
    • 年月日
      2015-11-01
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] Data Analysis for Clinical Assessment Based on Multiple Medical Information Systems2015

    • 著者名/発表者名
      Osamu Takaki, Tsuyoshi Kato, Kota Torikai, and Yuichiro Saito
    • 学会等名
      Gunma University Medical Innovation (GUMI 2015)
    • 発表場所
      群馬大学刀城会館(群馬県・前橋)
    • 年月日
      2015-12-08
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 医療データウェアハウスに基づく臨床評価指標の設計および活用支援2015

    • 著者名/発表者名
      高木理
    • 学会等名
      平成27年度第1回群馬大学産学連携協定締結金融機関等意見交換会
    • 発表場所
      群馬大学本部管理棟(群馬県・前橋市)
    • 年月日
      2015-07-30
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] 病院情報システムに蓄積される医療データの院内業務への利活用2015

    • 著者名/発表者名
      高木理
    • 学会等名
      平成27年度群馬大学地域貢献シンポジウム
    • 発表場所
      前橋商工会議所(群馬県・前橋市)
    • 年月日
      2015-10-18
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15K00297
  • [学会発表] Ontology- and Model-Based Quality Indicators Designing Framework2014

    • 著者名/発表者名
      O. Takaki, I. Takeuti, N. Izumi
    • 学会等名
      The Sixth International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED 2014)
    • 発表場所
      バルセロナ(スペイン)
    • データソース
      KAKENHI-PROJECT-24500167
  • [学会発表] Towards Development Framework for Quality Indicators Based on Medical Data Warehouses2014

    • 著者名/発表者名
      O. Takaki, T. Kato, K. Torikai, Y. Saito
    • 学会等名
      1st International Symposium of Gunma University Medical Innovation and 6th International Conference on Advanced Micro-Device Engineering (GUMI&AMDE2014)
    • 発表場所
      桐生市(群馬県)
    • 年月日
      2014-12-05
    • データソース
      KAKENHI-PROJECT-24500167
  • [学会発表] Development of Assessment Ontology for Quality Indicators in Medical Service2013

    • 著者名/発表者名
      O. Takaki, I. Takeuti, N. Izumi
    • 学会等名
      The International Symposium on Information Science and Information Management (IS&IM 2013)
    • 発表場所
      バンコク(タイ)
    • データソース
      KAKENHI-PROJECT-24500167
  • [学会発表] Transformation of Medical Service Ontology to Relational Data Models2012

    • 著者名/発表者名
      高木理,竹内泉, 高橋孝一,和泉憲明, 村田晃一郎, 池田満,橋田浩一
    • 学会等名
      The 7th International Conference on Software Engineering Advances (ICSEA 2012)
    • 発表場所
      リスボン(ポルトガル)
    • データソース
      KAKENHI-PROJECT-24500167
  • [学会発表] 医療サービスの質を公平に比較するための質指標の枠組2012

    • 著者名/発表者名
      高木理,竹内泉,高橋孝一,和泉憲明,村田晃一郎,池田満,橋田浩一
    • 学会等名
      第26回人工知能学会全国大
    • 発表場所
      山口市
    • データソース
      KAKENHI-PROJECT-24500167
  • [学会発表] 可読性と計算可能性を両立させた医療評価指標の表現手法2012

    • 著者名/発表者名
      高木理,竹内泉,高橋孝一,和泉憲明,村田晃一郎,池田満,橋田浩一
    • 学会等名
      システム数理と応用研究会(MSS)
    • 発表場所
      盛岡市
    • データソース
      KAKENHI-PROJECT-24500167
  • [学会発表] Evaluation of a representation system of quality indicators2012

    • 著者名/発表者名
      高木理,竹内泉, 高橋孝一, 和泉憲明, 村田晃一郎, 橋田浩一
    • 学会等名
      The 10th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2012)
    • 発表場所
      ロドス(ギリシャ)
    • データソース
      KAKENHI-PROJECT-24500167
  • [学会発表] A Medical Information Retrieval Based on Retrievers' Intentions2011

    • 著者名/発表者名
      O.Takaki, N.Izumi, K.Murata, K.Hasida
    • 学会等名
      The 4th International Conference on Health Informatics(HEALTHINF 2011)
    • 発表場所
      ローマ(イタリア)
    • 年月日
      2011-01-28
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] A Medical Information Retrieval Based on Retrievers' Intentions2011

    • 著者名/発表者名
      O.Takaki, N.Izumi, K.Murata, K.Hasida
    • 学会等名
      The 4th International Conference on Health Informatics (HEALTHINF 2011)
    • 発表場所
      ローマ(イタリア)
    • 年月日
      2011-01-28
    • データソース
      KAKENHI-PROJECT-22300284
  • [学会発表] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010

    • 著者名/発表者名
      O. Takaki, I. Takeuti, N. Izumi & K.Hasida
    • 学会等名
      The 9th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2010)
    • 発表場所
      カウナス(リトアニア)
    • 年月日
      2010-08-26
    • データソース
      KAKENHI-PROJECT-22300284
  • [学会発表] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010

    • 著者名/発表者名
      O.Takaki, I.Takeuti, N.Izumi, K.Hasida
    • 学会等名
      The 9th JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING (JCKBSE' 10)
    • 発表場所
      カウナス(リトアニア)
    • 年月日
      2010-08-26
    • データソース
      KAKENHI-PROJECT-22300284
  • [学会発表] Syntax and Semantics of Workflows That Include Passbacks2010

    • 著者名/発表者名
      O.Takaki, I.Takeuti, N.Izumi, K.Hasida
    • 学会等名
      The 5th International Conference on SoftwareEngineering Advances(ICSEA 2010)
    • 発表場所
      ニース(フランス)
    • 年月日
      2010-08-24
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010

    • 著者名/発表者名
      高木理, 竹内泉, 和泉憲明, 橋田浩一
    • 学会等名
      The 9th JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING(JCKBSE'10)
    • 発表場所
      カウナス(リトアニア)
    • 年月日
      2010-08-26
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Syntax and Semantics of Workflows That Include Passbacks2010

    • 著者名/発表者名
      0.Takaki, I.Takeuti, N.Izumi, K.Hasida
    • 学会等名
      The 5th International Conference on Software Engineering Advances (ICSEA 2010)
    • 発表場所
      ニース(フランス)
    • 年月日
      2010-08-24
    • データソース
      KAKENHI-PROJECT-22300284
  • [学会発表] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010

    • 著者名/発表者名
      O.Takaki, I.Takeuti, N.Izumi, K.Hasida
    • 学会等名
      The 9th JOINT CONFERENCE ON KNOWLEDGE-BASEDSOFTWARE ENGINEERING(JCKBSE'10)
    • 発表場所
      カウナス(リトアニア)
    • 年月日
      2010-08-26
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Syntax and Semantics of Workflows That Include Passbacks2010

    • 著者名/発表者名
      高木理, 竹内泉, 和泉憲明, 橋田浩一
    • 学会等名
      The 5th International Conference on Software Engineering Advances(ICSEA 2010)
    • 発表場所
      ニース(フランス)
    • 年月日
      2010-08-24
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Service System Development Based on Web Process Ontology2009

    • 著者名/発表者名
      和泉憲明, 高木理, 橋田浩一
    • 学会等名
      ICSEA
    • 発表場所
      ボルト(ポルトガル)
    • 年月日
      2009-09-22
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Service System Development Based on Web Process Ontology2009

    • 著者名/発表者名
      Noriaki Izumi, Osamu Takaki, Koiti Hasida
    • 学会等名
      ICSEA 2009
    • 発表場所
      ポルト
    • 年月日
      2009-09-22
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察2008

    • 著者名/発表者名
      清野貴博, 高木理, 和泉憲明, 橋田浩一
    • 学会等名
      知能ソフトウェア工学研究会 (KBSE)
    • 発表場所
      札幌
    • 年月日
      2008-08-25
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008

    • 著者名/発表者名
      高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
    • 学会等名
      The 3rd International Conference on Software Engineering Advances(ICSEA 2008)
    • 発表場所
      スリーマ(マルタ共和国)
    • 年月日
      2008-10-30
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Workflow Diagrams Based on Evidence Life Cycles2008

    • 著者名/発表者名
      高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
    • 学会等名
      The 8th Joint Conference on Knowledge-Based Software Engineering 2008(JCKRSE 08)
    • 発表場所
      アテネ(ギリシャ)
    • 年月日
      2008-08-27
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] 医療情報システム設計のための業務知識の記述法と形式的検証2008

    • 著者名/発表者名
      高木理, 清野貴博, 和泉憲明, 鈴木斎王, 荒木賢二, 新見隆彦, 橋田浩一
    • 学会等名
      第28回医療情報連合大会
    • 発表場所
      横浜
    • 年月日
      2008-11-25
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Quality improvement of workflow diagrams based on passback flow consistency2008

    • 著者名/発表者名
      高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
    • 学会等名
      The 10th International Conference on Enterprise Information Systems(ICEIS 2008)
    • 発表場所
      バルセロナ(スペイン)
    • 年月日
      2008-06-13
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察2008

    • 著者名/発表者名
      清野貴博, 高木理, 和泉憲明, 橋田浩一
    • 学会等名
      知能ソフトウェア工学研究会(KBSE)
    • 発表場所
      札幌
    • 年月日
      2008-08-25
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Workflow Diagrams Based on Evidence Life Cycles2008

    • 著者名/発表者名
      高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
    • 学会等名
      The 8th Joint Conference on Knowledge-Based Software Engineering 2008 (JCKBSE08)
    • 発表場所
      アテネ
    • 年月日
      2008-08-27
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008

    • 著者名/発表者名
      高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
    • 学会等名
      The 3rd International Conference on Software Engineering Advances (ICSEA2008)
    • 発表場所
      スリーマ(マルタ共和国)
    • 年月日
      2008-10-30
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Quality improvement of workflow diagrams based on passback flow consistency2008

    • 著者名/発表者名
      高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
    • 学会等名
      The 10th International Conference on Enter prise Information Systems (ICEIS 2008)
    • 発表場所
      バルセロナ
    • 年月日
      2008-06-13
    • データソース
      KAKENHI-PROJECT-20500045
  • [学会発表] Evaluation of Pattern-Based Quality Indicators Development Framework

    • 著者名/発表者名
      O. Takaki, I. Takeuti, N. Izumi
    • 学会等名
      The 2nd International Conference on Science and Engineering in Biology, Medical and Public Health 2014 (BioMedPub 2014)
    • 発表場所
      バリ(インドネシア)
    • 年月日
      2014-05-31 – 2014-06-01
    • データソース
      KAKENHI-PROJECT-24500167
  • [学会発表] 事象の頻度が表現可能な形式言語の構築に向けて

    • 著者名/発表者名
      高木理
    • 学会等名
      電子情報通信学会,システム数理と応用研究会(MSS 2014)
    • 発表場所
      三朝町(鳥取県)
    • 年月日
      2015-01-26 – 2015-01-27
    • データソース
      KAKENHI-PROJECT-24500167
  • 1.  和泉 憲明 (50293593)
    共同の研究課題数: 2件
    共同の研究成果数: 32件
  • 2.  千田 浩司 (70970664)
    共同の研究課題数: 2件
    共同の研究成果数: 2件
  • 3.  清野 貴博 (10397226)
    共同の研究課題数: 1件
    共同の研究成果数: 13件
  • 4.  竹内 泉 (20264583)
    共同の研究課題数: 1件
    共同の研究成果数: 14件
  • 5.  池田 満 (80212786)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  柏原 昭博 (10243263)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  仲林 清 (20462765)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  長谷川 忍 (30345665)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  松田 憲幸 (40294128)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  橋田 浩一 (00357766)
    共同の研究課題数: 1件
    共同の研究成果数: 8件
  • 11.  村田 晃一郎 (40157780)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 12.  高橋 孝一 (40357372)
    共同の研究課題数: 1件
    共同の研究成果数: 10件
  • 13.  齋藤 翔太 (60822145)
    共同の研究課題数: 1件
    共同の研究成果数: 2件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi