Takaki Osamu 高木理

… Alternative Names

TAKAKI Osamu 高木理

Less

Researcher Number	30388011
Other IDs
Affiliation (Current)	2025: 群馬大学, 情報学部, 准教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 群馬大学, 情報学部, 准教授 2016 – 2018: 群馬大学, 社会情報学部, 准教授 2013 – 2015: 群馬大学, 医学部附属病院, 助教 2009 – 2012: Japan Advanced Institute of Science and Technology, 知識科学研究科, 助教 2008: National Institute of Advanced Industrial Science and Technology, サービス工学研究センター, 招聘研究員
Review Section/Research Field	Principal Investigator Basic Section 60070:Information security-related / Intelligent informatics / Intelligent informatics / Software Except Principal Investigator Basic Section 60070:Information security-related / Educational technology
Keywords	Principal Investigator 頻度 / 医療データベース / 医療情報システム / 医療サービス / 形式手法 / オントロジー / 匿名性指標 / 秘密計算 / 差分プライバシー / 匿名化技術 … More / プライバシー強化技術 / t検定 / 線形時相論理 / クリプキ意味論 / 時系列分析 / 院内ネットワーク / データ分析 / 論理 / ナースコール / 検索システム / 様相論理 / ケース・ファインディング / 時系列データ / 医療データ / 時相論理 / グラフ表現上 / データ統合 / 医療データウェアハウス / 質評価 / 医療サービス評価 / 臨床評価指標 / 表現システム / 質指標 / サービスプロセス / ビジネスプロセス / 医療オントロジー / 検証 / 要件分析 / 形式的手法 / web / UML / 画面遷移図 / データモデル図 / 業務フロー図 / 仕様書 / 情報システム … More Except Principal Investigator 情報セキュリティ / 匿名化 / 差分プライバシー / プライバシー保護 / パーソナルデータ利活用 / シャッフルモデル / 局所差分プライバシー / パーソナルデータ連結匿名化 / e-ラーニング / 教育工学 / コンポーネント・アーキテクチャ / e-Learning標準規格 / メタデータ / 主体的学習 / リフレクション支援 / e-Learning統合支援環境 / 学習過程の分析 / コンポーネントウェア / e-Learningプラットフォーム / LMS / 学習コンテンツ / 学習支援技術の標準化 / e-Learning / 学習統合環境 Less

データ分析結果に関わる，より広範なステークホルダーのためのプライバシー強化技術Principal Investigator
- Principal Investigator
  
  高木理
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Gunma University
パーソナルデータの組織横断利活用のための安全性理論および実証研究
- Principal Investigator
  
  千田浩司
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Gunma University
Retrieval technology of data on healthcare based on a formal language to represent a change in the frequency of an eventPrincipal Investigator
- Principal Investigator
  
  Takaki Osamu
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Gunma University
Methods for representation and calculation of quality indicators that have both of easy understandability and reasonable basisPrincipal Investigator
- Principal Investigator
  
  TAKAKI Osamu
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Gunma University
  Japan Advanced Institute of Science and Technology
Integrated Learning Management Architecture for Various Learning Activities
- Principal Investigator
  
  IKEDA Mitsuru
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational technology
- Research Institution
  Japan Advanced Institute of Science and Technology
Design-assistance system of large scale information systems based on formal method and web ontologyPrincipal Investigator
- Principal Investigator
  
  TAKAKI Osamu
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology

All 2024 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 Other

All Journal Article Presentation Book

[Book] Data Governance: Creating Value from Information Assets2013
- Author(s)
  高木理，和泉憲明, 村田晃一郎, 橋田浩一
- Publisher
  Taylor & Francis
- Data Source
  KAKENHI-PROJECT-24500167
[Book] Agile and Lean Service-Oriented Development: Foundations, Theory and Practice2012
- Author(s)
  高木理, 清野貴博,和泉憲明, 橋田浩一
- Publisher
  IGI Global
- Data Source
  KAKENHI-PROJECT-24500167
[Book] Semantics - Advances in Theories and Mathematical Models2012
- Author(s)
  高木理，竹内泉, 高橋孝一, 和泉憲明, 村田晃一郎, 橋田浩一
- Publisher
  InTech
- Data Source
  KAKENHI-PROJECT-24500167
[Journal Article] 多様なデータの連携分析のための頻度論理の拡張2018
- Author(s)
  高木理
- Journal Title
  
  電子情報通信学会技術研究報告（信学技報）
  
  Volume: 118 Pages: 131-136
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] 頻度の変化を表現するための論理2018
- Author(s)
  高木理
- Journal Title
  
  回路とシステムワークショップ論文集
  
  Volume: 31 Pages: 19-24
- NAID
  40021616924
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] 事象発生頻度の変化を表現するための論理2017
- Author(s)
  高木理
- Journal Title
  
  電子情報通信学会技術研究報告（信学技報）
  
  Volume: 117(301) Pages: 57-62
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] Extensions of l-diversity to reduce the risk of revealing patient severe health conditions2017
- Author(s)
  Osamu Takaki, Takayuki Asao and Yoichi Seki
- Journal Title
  
  Proceedings of International Conference on Mechanical, Electrical and Medical Intelligent System 2017 (ICMEMIS2017)
  
  Volume: 無し
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] Nurse Call Data Analysis Based on Medical Care Processes2017
- Author(s)
  O. Takaki, T. Kato, A. Sugimoto, K. Torikai, H. Endo and Y. Saito
- Journal Title
  
  INFORMATION-An International Interdisciplinary Journal
  
  Volume: 未定
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] Analysis of Nurse Call Data Based on the Medical Care Process2017
- Author(s)
  Osamu Takaki, Tsuyoshi Kato, Atsuko Sugimoto, Kota Torikai, Hiroki Endoand Yuichiro Saito
- Journal Title
  
  INFORMATION-An International Interdisciplinary Journal
  
  Volume: Vol.20, No.1(B) Pages: 643-658
- NAID
  40021232971
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] 大学病院における3つの側面からの院内ネットワーク統合化2016
- Author(s)
  高木理，鳥飼幸太，浜元信州，青木高，辻村真一，鈴木亮二，原澤祐輔，齋藤勇一郎
- Journal Title
  
  月刊新医療
  
  Volume: No.503 Pages: 95-99
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] 学術・医療ネットワークの統合による大規模無線LAN環境の構築2016
- Author(s)
  高木理，浜元信州，青木高，鳥飼幸太，辻村真一，鈴木亮二，齋藤勇一郎
- Journal Title
  
  学術情報処理研究
  
  Volume: No.20 Pages: 56-64
- NAID
  130007458225
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] 事象の頻度が表現可能な形式言語の構築に向けて2015
- Author(s)
  高木理
- Journal Title
  
  信学技報
  
  Volume: 114(415)
- Data Source
  KAKENHI-PROJECT-24500167
[Journal Article] Segmental HOG: New Descriptor for Glomerulus Detection in Kidney Microscopy Image2015
- Author(s)
  Tsuyoshi Kato, Raissa Relator, Hayliang Ngouv, Yoshihiro Hirohashi, Osamu Takaki, Tetsuhiro Kakimoto, and Kinya Okada
- Journal Title
  
  BMC Bioinformatics
  
  Volume: 16:316 Issue: 1 Pages: 1-16
- DOI
  10.1186/s12859-015-0739-1
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Journal Article] Evaluation of Pattern-Based Quality Indicators Development Framework2014
- Author(s)
  O. Takaki, I. Takeuti, N. Izumi
- Journal Title
  
  Advanced Science, Engineering and Medicine
  
  Volume: 6(8)
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24500167
[Journal Article] Graphical Representation of Quality Indicators Based on Medical Service Ontology2013
- Author(s)
  O. Takaki, I. Takeuti, K. Takahashi, N. Izumi, K. Murata, M. Ikeda, K. Hasida
- Journal Title
  
  SpringerPlus
  
  Volume: 2:274 Issue: 1 Pages: 1-20
- DOI
  10.1186/2193-1801-2-274
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500167
[Journal Article] Workflows with Passbacks and Incremental Verification of Their Correctness2012
- Author(s)
  高木理，竹内泉，和泉憲明，橋田浩一
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E95.D Issue: 4 Pages: 989-1002
- DOI
  10.1587/transinf.E95.D.989
- NAID
  10030941945
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500167
[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009
- Author(s)
  Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
- Journal Title
  
  International Journal On Advances in Software 2
  
  Pages: 147-161
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International Journal On Advances in Software vol.2
  
  Pages: 147-161
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International journal on advances in software 1-1
  
  Pages: 14-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Journal Title
  
  International journal on advances in software vol.1-1
  
  Pages: 14-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] $f$-Divergence Differential Privacy2024
- Author(s)
  Shota Saito, Koji Chida, Osamu Takaki
- Organizer
  電子情報通信学会　情報セキュリティ研究専門委員会（ISEC研）主催　SCIS2024
- Data Source
  KAKENHI-PROJECT-23K11097
[Presentation] シャッフルモデルによる局所差分プライベート行結合データのプライバシ増幅に関する考察2024
- Author(s)
  千田浩司 , 齋藤翔太 , 高木理
- Organizer
  情報処理学会　第104回コンピュータセキュリティ研究会（CSEC）
- Data Source
  KAKENHI-PROJECT-23K11097
[Presentation] Towards Privacy Preservation in Data Utilization Based on Patient Information Severity2018
- Author(s)
  Osamu Takaki
- Organizer
  International Conference on Technology and Social Science 2018 (ICTSS 2018)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 頻度の変化を表現するための論理2018
- Author(s)
  高木理
- Organizer
  第31回回路とシステムワークショップ
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] A proposal on an evaluation method of service quality based on properties of change in frequency2018
- Author(s)
  Osamu Takaki
- Organizer
  International Conference on Mechanical, Electrical and Medical Intelligent System 2018 (ICMEMIS2018)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] A Perspective on DataBase-Based Data Analysis2018
- Author(s)
  Osamu Takaki
- Organizer
  International Conference on Technological Challenges for Better World 2018 (ICTCBW 2018)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] Towards prediction of a wireless LAN device’s location in a large scale network system2018
- Author(s)
  Osamu Takaki
- Organizer
  International Symposium of Gunma University Medical Innovation (GUMI 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 多様なデータの連携分析のための頻度論理の拡張2018
- Author(s)
  高木理
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] Data analysis for medical services based on diverse information systems2017
- Author(s)
  Osamu Takaki, Tsuyoshi Kato, Kota Torikai and Yuichiro Saito
- Organizer
  Gunma University Medical Innovation 2017 (GUMI 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 統計的検定に基づく事象発生頻度を表現するための形式的言語2016
- Author(s)
  高木理
- Organizer
  理論計算機科学と圏論ワークショップ（CSCAT 2016）
- Place of Presentation
  理化学研究所計算科学研究機構（兵庫県・神戸市）
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 複雑化した院内ネットワークシステムの統合により運用の簡易化を実現2016
- Author(s)
  高木理
- Organizer
  国際モダンホスピタルショウ2016
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] Analysis of Nurse Call Data Based on the Medical Care Process2016
- Author(s)
  Osamu Takaki, Tsuyoshi Kato, Atsuko Sugimoto, Kota Torikai, Hiroki Endoand Yuichiro Saito
- Organizer
  The 4th International Conference on Science and Engineering in Biology, Medical and Public Health (BioMedPub 2016)
- Place of Presentation
  ジャカルタ（インドネシア）
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] Development of Network System Based on Fiber-To-The-Desktop (FTTD) in a National University Hospital2016
- Author(s)
  Osamu Takaki, Kota Torikai, Shinichi Tsujimura, Ryoji Suzuki, Yuichiro Saito, Takashi Aoki, Ichiroh Suzuta, Kenta Maeda, Nobukuni Hamamoto
- Organizer
  The 11th International Conference on Software Engineering Advances (ICSEA 2016)
- Place of Presentation
  ローマ（イタリア）
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 大学病院における院内ネットワークの統合化に際しての課題とその取り組み2016
- Author(s)
  高木理
- Organizer
  第36医療情報学連合大会・ランチョンセミナー
- Place of Presentation
  横浜
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] How to spread citizen-oriented healthcare systems or servicesin clinical practice? (Panel on HEALTHINFO/INNOV Topic: Citizen-oriented Health Systems and Services)2016
- Author(s)
  Osamu Takaki
- Organizer
  The 11th International Conference on Software Engineering Advances (ICSEA 2016)
- Place of Presentation
  ローマ（イタリア）
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 呼び出し対応負担の平準化に向けたナースコールデータとオーダリングデータの連動分析2016
- Author(s)
  高木理
- Organizer
  第36医療情報学連合大会・ランチョンセミナー
- Place of Presentation
  横浜
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 入院状況に基づくナースコールデータ分析ツール2015
- Author(s)
  高木理，杉本厚子，鳥飼幸太，坂詰康孝，鈴木亮二，辻村真一，引田美恵子，細野貴広，齋藤勇一郎
- Organizer
  第35回医療情報学連合大会
- Place of Presentation
  沖縄コンベンションセンター（沖縄県・宜野湾市）
- Year and Date
  2015-11-01
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] Data Analysis for Clinical Assessment Based on Multiple Medical Information Systems2015
- Author(s)
  Osamu Takaki, Tsuyoshi Kato, Kota Torikai, and Yuichiro Saito
- Organizer
  Gunma University Medical Innovation (GUMI 2015)
- Place of Presentation
  群馬大学刀城会館（群馬県・前橋）
- Year and Date
  2015-12-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 医療データウェアハウスに基づく臨床評価指標の設計および活用支援2015
- Author(s)
  高木理
- Organizer
  平成27年度第1回群馬大学産学連携協定締結金融機関等意見交換会
- Place of Presentation
  群馬大学本部管理棟（群馬県・前橋市）
- Year and Date
  2015-07-30
- Invited
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] 病院情報システムに蓄積される医療データの院内業務への利活用2015
- Author(s)
  高木理
- Organizer
  平成27年度群馬大学地域貢献シンポジウム
- Place of Presentation
  前橋商工会議所（群馬県・前橋市）
- Year and Date
  2015-10-18
- Invited
- Data Source
  KAKENHI-PROJECT-15K00297
[Presentation] Ontology- and Model-Based Quality Indicators Designing Framework2014
- Author(s)
  O. Takaki, I. Takeuti, N. Izumi
- Organizer
  The Sixth International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED 2014)
- Place of Presentation
  バルセロナ（スペイン）
- Data Source
  KAKENHI-PROJECT-24500167
[Presentation] Towards Development Framework for Quality Indicators Based on Medical Data Warehouses2014
- Author(s)
  O. Takaki, T. Kato, K. Torikai, Y. Saito
- Organizer
  1st International Symposium of Gunma University Medical Innovation and 6th International Conference on Advanced Micro-Device Engineering (GUMI&AMDE2014)
- Place of Presentation
  桐生市（群馬県）
- Year and Date
  2014-12-05
- Data Source
  KAKENHI-PROJECT-24500167
[Presentation] Development of Assessment Ontology for Quality Indicators in Medical Service2013
- Author(s)
  O. Takaki, I. Takeuti, N. Izumi
- Organizer
  The International Symposium on Information Science and Information Management (IS&IM 2013)
- Place of Presentation
  バンコク（タイ）
- Data Source
  KAKENHI-PROJECT-24500167
[Presentation] Transformation of Medical Service Ontology to Relational Data Models2012
- Author(s)
  高木理，竹内泉, 高橋孝一，和泉憲明, 村田晃一郎, 池田満，橋田浩一
- Organizer
  The 7th International Conference on Software Engineering Advances (ICSEA 2012)
- Place of Presentation
  リスボン（ポルトガル）
- Data Source
  KAKENHI-PROJECT-24500167
[Presentation] 医療サービスの質を公平に比較するための質指標の枠組2012
- Author(s)
  高木理，竹内泉，高橋孝一，和泉憲明，村田晃一郎，池田満，橋田浩一
- Organizer
  第26回人工知能学会全国大
- Place of Presentation
  山口市
- Data Source
  KAKENHI-PROJECT-24500167
[Presentation] 可読性と計算可能性を両立させた医療評価指標の表現手法2012
- Author(s)
  高木理，竹内泉，高橋孝一，和泉憲明，村田晃一郎，池田満，橋田浩一
- Organizer
  システム数理と応用研究会（MSS）
- Place of Presentation
  盛岡市
- Data Source
  KAKENHI-PROJECT-24500167
[Presentation] Evaluation of a representation system of quality indicators2012
- Author(s)
  高木理，竹内泉, 高橋孝一, 和泉憲明, 村田晃一郎, 橋田浩一
- Organizer
  The 10th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2012)
- Place of Presentation
  ロドス（ギリシャ）
- Data Source
  KAKENHI-PROJECT-24500167
[Presentation] A Medical Information Retrieval Based on Retrievers' Intentions2011
- Author(s)
  O.Takaki, N.Izumi, K.Murata, K.Hasida
- Organizer
  The 4th International Conference on Health Informatics(HEALTHINF 2011)
- Place of Presentation
  ローマ(イタリア)
- Year and Date
  2011-01-28
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] A Medical Information Retrieval Based on Retrievers' Intentions2011
- Author(s)
  O.Takaki, N.Izumi, K.Murata, K.Hasida
- Organizer
  The 4th International Conference on Health Informatics (HEALTHINF 2011)
- Place of Presentation
  ローマ(イタリア)
- Year and Date
  2011-01-28
- Data Source
  KAKENHI-PROJECT-22300284
[Presentation] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010
- Author(s)
  O. Takaki, I. Takeuti, N. Izumi & K.Hasida
- Organizer
  The 9th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2010)
- Place of Presentation
  カウナス(リトアニア)
- Year and Date
  2010-08-26
- Data Source
  KAKENHI-PROJECT-22300284
[Presentation] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010
- Author(s)
  O.Takaki, I.Takeuti, N.Izumi, K.Hasida
- Organizer
  The 9th JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING (JCKBSE' 10)
- Place of Presentation
  カウナス(リトアニア)
- Year and Date
  2010-08-26
- Data Source
  KAKENHI-PROJECT-22300284
[Presentation] Syntax and Semantics of Workflows That Include Passbacks2010
- Author(s)
  O.Takaki, I.Takeuti, N.Izumi, K.Hasida
- Organizer
  The 5th International Conference on SoftwareEngineering Advances(ICSEA 2010)
- Place of Presentation
  ニース(フランス)
- Year and Date
  2010-08-24
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010
- Author(s)
  高木理, 竹内泉, 和泉憲明, 橋田浩一
- Organizer
  The 9th JOINT CONFERENCE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING(JCKBSE'10)
- Place of Presentation
  カウナス(リトアニア)
- Year and Date
  2010-08-26
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Syntax and Semantics of Workflows That Include Passbacks2010
- Author(s)
  0.Takaki, I.Takeuti, N.Izumi, K.Hasida
- Organizer
  The 5th International Conference on Software Engineering Advances (ICSEA 2010)
- Place of Presentation
  ニース(フランス)
- Year and Date
  2010-08-24
- Data Source
  KAKENHI-PROJECT-22300284
[Presentation] Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows2010
- Author(s)
  O.Takaki, I.Takeuti, N.Izumi, K.Hasida
- Organizer
  The 9th JOINT CONFERENCE ON KNOWLEDGE-BASEDSOFTWARE ENGINEERING(JCKBSE'10)
- Place of Presentation
  カウナス(リトアニア)
- Year and Date
  2010-08-26
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Syntax and Semantics of Workflows That Include Passbacks2010
- Author(s)
  高木理, 竹内泉, 和泉憲明, 橋田浩一
- Organizer
  The 5th International Conference on Software Engineering Advances(ICSEA 2010)
- Place of Presentation
  ニース(フランス)
- Year and Date
  2010-08-24
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Service System Development Based on Web Process Ontology2009
- Author(s)
  和泉憲明, 高木理, 橋田浩一
- Organizer
  ICSEA
- Place of Presentation
  ボルト(ポルトガル)
- Year and Date
  2009-09-22
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Service System Development Based on Web Process Ontology2009
- Author(s)
  Noriaki Izumi, Osamu Takaki, Koiti Hasida
- Organizer
  ICSEA 2009
- Place of Presentation
  ポルト
- Year and Date
  2009-09-22
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察2008
- Author(s)
  清野貴博, 高木理, 和泉憲明, 橋田浩一
- Organizer
  知能ソフトウェア工学研究会 (KBSE)
- Place of Presentation
  札幌
- Year and Date
  2008-08-25
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Organizer
  The 3rd International Conference on Software Engineering Advances(ICSEA 2008)
- Place of Presentation
  スリーマ(マルタ共和国)
- Year and Date
  2008-10-30
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Workflow Diagrams Based on Evidence Life Cycles2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 8th Joint Conference on Knowledge-Based Software Engineering 2008(JCKRSE 08)
- Place of Presentation
  アテネ(ギリシャ)
- Year and Date
  2008-08-27
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] 医療情報システム設計のための業務知識の記述法と形式的検証2008
- Author(s)
  高木理, 清野貴博, 和泉憲明, 鈴木斎王, 荒木賢二, 新見隆彦, 橋田浩一
- Organizer
  第28回医療情報連合大会
- Place of Presentation
  横浜
- Year and Date
  2008-11-25
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Quality improvement of workflow diagrams based on passback flow consistency2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 10th International Conference on Enterprise Information Systems(ICEIS 2008)
- Place of Presentation
  バルセロナ(スペイン)
- Year and Date
  2008-06-13
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察2008
- Author(s)
  清野貴博, 高木理, 和泉憲明, 橋田浩一
- Organizer
  知能ソフトウェア工学研究会(KBSE)
- Place of Presentation
  札幌
- Year and Date
  2008-08-25
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Workflow Diagrams Based on Evidence Life Cycles2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 8th Joint Conference on Knowledge-Based Software Engineering 2008 (JCKBSE08)
- Place of Presentation
  アテネ
- Year and Date
  2008-08-27
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008
- Author(s)
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- Organizer
  The 3rd International Conference on Software Engineering Advances (ICSEA2008)
- Place of Presentation
  スリーマ(マルタ共和国)
- Year and Date
  2008-10-30
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Quality improvement of workflow diagrams based on passback flow consistency2008
- Author(s)
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- Organizer
  The 10th International Conference on Enter prise Information Systems (ICEIS 2008)
- Place of Presentation
  バルセロナ
- Year and Date
  2008-06-13
- Data Source
  KAKENHI-PROJECT-20500045
[Presentation] Evaluation of Pattern-Based Quality Indicators Development Framework
- Author(s)
  O. Takaki, I. Takeuti, N. Izumi
- Organizer
  The 2nd International Conference on Science and Engineering in Biology, Medical and Public Health 2014 (BioMedPub 2014)
- Place of Presentation
  バリ（インドネシア）
- Year and Date
  2014-05-31 – 2014-06-01
- Data Source
  KAKENHI-PROJECT-24500167
[Presentation] 事象の頻度が表現可能な形式言語の構築に向けて
- Author(s)
  高木理
- Organizer
  電子情報通信学会，システム数理と応用研究会（MSS 2014）
- Place of Presentation
  三朝町（鳥取県）
- Year and Date
  2015-01-26 – 2015-01-27
- Data Source
  KAKENHI-PROJECT-24500167

1. IZUMI Noriyuki (50293593)

# of Collaborated Projects: 2 results

# of Collaborated Products: 32 results
2. 千田浩司 (70970664)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
3. SEINO Takahiro (10397226)

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results
4. TAKEUTI Izumi (20264583)

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
5. IKEDA Mitsuru (80212786)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. KASHIHARA Akihiro (10243263)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. NAKABAYASHI Kiyoshi (20462765)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. HASEGAWA Shinobu (30345665)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. MATSUDA Noriyuki (40294128)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. HASIDA Koiti (00357766)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
11. MURATA Koichiro (40157780)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
12. 高橋孝一 (40357372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results
13. 齋藤翔太 (60822145)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

Takaki Osamu 高木 理

TAKAKI Osamu 高木 理

Research Projects

Research Products

Co-Researchers

データ分析結果に関わる，より広範なステークホルダーのためのプライバシー強化技術Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

パーソナルデータの組織横断利活用のための安全性理論および実証研究

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Retrieval technology of data on healthcare based on a formal language to represent a change in the frequency of an eventPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Methods for representation and calculation of quality indicators that have both of easy understandability and reasonable basisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated Learning Management Architecture for Various Learning Activities

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design-assistance system of large scale information systems based on formal method and web ontologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Data Governance: Creating Value from Information Assets2013

Author(s)

Publisher

Data Source

[Book] Agile and Lean Service-Oriented Development: Foundations, Theory and Practice2012

Author(s)

Publisher

Data Source

[Book] Semantics - Advances in Theories and Mathematical Models2012

Author(s)

Publisher

Data Source

[Journal Article] 多様なデータの連携分析のための頻度論理の拡張2018

Author(s)

Journal Title

Data Source

[Journal Article] 頻度の変化を表現するための論理2018

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 事象発生頻度の変化を表現するための論理2017

Author(s)

Journal Title

Data Source

[Journal Article] Extensions of l-diversity to reduce the risk of revealing patient severe health conditions2017

Author(s)

Journal Title

Data Source

[Journal Article] Nurse Call Data Analysis Based on Medical Care Processes2017

Author(s)

Journal Title

Data Source

[Journal Article] Analysis of Nurse Call Data Based on the Medical Care Process2017

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 大学病院における3つの側面からの院内ネットワーク統合化2016

Takaki Osamu 高木理

TAKAKI Osamu 高木理