高木理 (Takaki Osamu) - マイポータル

基本情報

所属: 群馬大学情報学部准教授
: (兼任)数理データ科学教育研究センター准教授

学位: 博士（数学）(京都産業大学)

J-GLOBAL ID: 201601015438085360
researchmap会員ID: 7000016168

研究キーワード

研究分野

主要な論文

Implementation of Anonymization Algorithms for Log Data Analysis on a Cloud-Based Learning Management System

Osamu Takaki, Nobukuni Hamamoto, Atsuko Takefusa, Shigetoshi Yokoyama, Kento Aida

Procedia Computer Science 225 3774-3784 2023年査読有り筆頭著者最終著者
Reasonable Setting Values for Anonymization Algorithms for Online Educational Data Analysis Support System

Osamu Takaki, Nobukuni Hamamoto, Atsuko Takefusa, Shigetoshi Yokoyama, Kento Aida

Procedia Computer Science 207 2556-2566 2022年査読有り筆頭著者責任著者

もっとみる

MISC

秘密計算システムを用いた教務データ分析の実証実験および関係者プライバシーに基づくリスク評価

高木理, 森田哲之, 田村桜子, 田中哲士, 太田賢治, 千田浩司

研究報告マルチメディア通信と分散処理（DPS） 2025-DPS-202(24) 1-8 2025年3月筆頭著者責任著者
秘密計算および統計的開示制御を用いた関係者プライバシー保護

高木理, 関庸一, 森田哲之, 諸橋玄武, 太田賢治, 千田浩司

研究報告インターネットと運用技術（IOT） 2024-IOT-65(21) 1-8 2024年5月筆頭著者責任著者
オンライン教育データ解析支援システムの開発に向けた匿名化アルゴリズムに関する妥当な設定値の検討

高木理, 浜元信州, 竹房あつ子, 横山重俊, 合田憲人

研究報告コンピュータセキュリティ（CSEC） 2022-CSEC-96(43) 1-8 2022年3月筆頭著者責任著者
大学病院における3つの側面からの院内ネットワーク統合化

高木理, 鳥飼幸太, 浜元信州, 青木高, 辻村真一, 鈴木亮二, 原澤祐輔, 齋藤勇一郎

月刊新医療 43(11) 95-99 2016年招待有り
事象の頻度が表現可能な形式言語の構築に向けて (システム数理と応用)

高木理

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(415) 109-114 2015年1月26日
医療サービスの質を公平に比較するための質指標の枠組 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (オーガナイズドセッション「OS-17 ビッグデータとAI技術」)

高木理, 竹内泉, 高橋孝一

人工知能学会全国大会論文集 26 1-4 2012年
AS-3-1 大規模なサービスプロセスの設計・検証手法(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)

高木理, 竹内泉, 和泉憲明, 橋田浩一

電子情報通信学会ソサイエティ大会講演論文集 2011 "S-19"-"S-20" 2011年8月30日
オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察

清野貴博, 高木理, 和泉憲明, 橋田浩一

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 108(157) 41-46 2008年7月17日
自治体EAへの形式手法適用の試み

清野貴博, 高木理, 竹内泉, 高橋孝一, 和泉憲明

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 107(4) 7-12 2007年4月12日
PVSを用いた遷移系簡約化の検証(サイバー増大ページ論文概要,サイバー増大号)

高木理, 武山誠, 渡邊宏, Osamu Takaki, Makoto Takeyama, Hiroshi Watanabe, Faculty of Science Kyoto Sangyo University, Research Center for Verification and Semantics National Institute of Advanced Industrial Science and Technology (AIST), Research Center for Verification and Semantics National Institute of Advanced Industrial Science and Technology (AIST)

コンピュータソフトウェア = Computer software 22(3) 92-92 2005年7月26日
Representation of successor-type proof-theoretically regular ordinals via limits (Algebra, Languages and Computation)

高木理

数理解析研究所講究録 1437 72-77 2005年6月
対話型照明支援ツールPVSの紹介(<特集>続・システム検証の科学技術,サイバー増大号)

高木理, 渡邊宏, 武山誠, Osamu Takaki, Hiroshi Watanabe, Makoto Takeyama, 京都産業大学理学部, 独, 産業技術総合研究所システム検証研究センター, 独 …

コンピュータソフトウェア = Computer software 22(3) 37-57 2005年査読有り
Reconstruction of Gaifman's characterization of Mahlo cardinals (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)

高木理

数理解析研究所講究録 1366 195-201 2004年4月
An MR-complete systems S and its functional interpretation (Languages, Algebra and Computer Systems)

高木理, 八杉満利子

数理解析研究所講究録 1106 213-224 1999年7月
<学位論文>超限的な再帰定義とBar帰納法を持つ構成的算術体系の自然演繹について

高木理

京都産業大学論集. 自然科学系列. I 28 114-248 1999年3月30日

書籍等出版物

Data Governance: Creating Value from Information Assets

Takaki Osamu, Noriaki Izumi, Koichiro Murata, Koichi Hasida (担当:分担執筆, 範囲:Semantic Analytics and Ontologies)

Taylor & Francis 2013年6月
Agile and Lean Service- Oriented Development: Foundations, Theory, and Practice

Takaki Osamu, Takahiro Seino, Noriaki Izumi, Koichi Hasida (担当:分担執筆, 範囲:User-Centered Business Process Modeling and Pattern-Based Development for Large Systems)

IGI Global 2012年11月
Semantics - Advances in Theories and Mathematical Models

Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi, Koichiro Murata, Koichi Hasida (担当:分担執筆, 範囲:Representation System for Quality Indicators by Ontology)

InTech 2012年4月
ソフトウェアエンジニアリング最前線 : 情報処理学会SEシンポジウム 2007

高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一 (担当:分担執筆, 範囲:UMLアクティビティ図に対する事象部分グラフ抽出および事象独立性検証アルゴリズム)

2007年9月
圏論の基礎

ソーンダース・マクレーン, 三好, 博之, 高木理 (担当:共訳)

2005年7月

講演・口頭発表等

データ利用におけるプライバシー保護のための匿名化技術

高木理

安全・安心まちづくりセミナーin桐生2022 2022年3月26日招待有り
Technologies and ethics for social digitalization

Osamu Takaki

International Conference on Technology and Social Science 2021 (ICTSS 2021) 2021年12月7日招待有り
安全なデータ利用のための人材育成に向けて

高木理

安全・安心まちづくりセミナーin桐生2021 2021年3月30日招待有り
A perspective on researches on negative effects of digitalization of society

Osamu Takaki

International Conference on Technology and Social Science 2020 (ICTSS 2020) 2020年12月3日招待有り
Data analysis based on temporal associations between databases in a hospital

高木理

International Conference on Technology and Social Science 2019 (ICTSS 2019) 2019年5月8日招待有り
Towards prediction of a wireless LAN device’s location in a large scale network system

Osamu Takaki, Tsuyoshi Kato, Kota Torikai, Yuichiro Saito

Gunma University Medical Innovation 2018 (GUMI 2018) 2018年12月6日
多様なデータの連携分析のための頻度論理の拡張

高木理

電子情報通信学会技術研究報告 2018年11月13日
A proposal on an evaluation method of service quality based on properties of change in frequency

高木理

International Conference on Mechanical, Electrical and Medical Intelligent System 2018 (ICMEMIS 2018) 2018年11月4日招待有り
Towards Privacy Preservation in Data Utilization Based on Patient Information Severity

Osamu Takaki

International Conference on Technology and Social Science 2018 (ICTSS 2018) 2018年4月18日招待有り
A Perspective on Database-Based Data Analysis

Osamu Takaki

International Conference on Technological Challenges for Better World 2018 (ICTCBW 2018) 2018年3月26日招待有り
Data analysis for medical services based on diverse information systems

Osamu Takaki, Tsuyoshi Kato, Kota Torikai, Yuichiro Saito

Gunma University Medical Innovation 2017 (GUMI 2017) 2017年11月6日
事象発生頻度の変化を表現するための論理

高木理

電子情報通信学会技術研究報告 2017年
Development of User Locating System in Hospital

Tsuyoshi Kato, Rachelle Rivero, Osamu Takaki, Kota Torikai, Yuichiro Saito

Gunma University Medical Innovation 2016 (GUMI 2016) 2016年12月9日
Data Analysis for Clinical Assessment Based on Multiple Medical Information Systems

Osamu Takaki, Tsuyoshi Kato, Kota Torikai, Yuichiro Saito

Gunma University Medical Innovation 2015 (GUMI 2015) 2015年12月8日
事象の頻度が表現可能な形式言語の構築に向けて

高木理

電子情報通信学会技術研究報告 2015年
医療サービスの質を公平に比較するための質指標の枠組 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (オーガナイズドセッション「OS-17 ビッグデータとAI技術」)

高木理, 竹内泉, 高橋孝一

人工知能学会全国大会論文集 2012年
AS-3-1 大規模なサービスプロセスの設計・検証手法(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)

高木理, 竹内泉, 和泉憲明, 橋田浩一

電子情報通信学会ソサイエティ大会講演論文集 2011年8月30日
オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察

清野貴博, 高木理, 和泉憲明, 橋田浩一

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 2008年7月17日
自治体EAへの形式手法適用の試み

清野貴博, 高木理, 竹内泉, 高橋孝一, 和泉憲明

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 2007年4月12日

共同研究・競争的資金等の研究課題

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

日本学術振興会科学研究費助成事業基盤研究(C) 2024年4月 - 2027年3月

高木理
事象の頻度の変化が表現可能な形式言語に基づく医療データ検索技術

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2015年4月 - 2019年3月

高木理
直観的理解の容易さと合理的根拠を兼ね備えた医療の質評価内容の表現法および計算法

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2012年4月 - 2015年3月

高木理, 橋田浩一, 村田晃一郎, 和泉憲明
多様な学習形態を統合するコンテキストアウェア・コンポーネントアーキテクチャ

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2010年 - 2012年

池田満, 柏原昭博, 仲林清, 長谷川忍, 松田憲幸, 高木理
形式的検証とウェブオントロジーの融合による大規模情報システム設計支援

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2008年 - 2010年

高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
超限的な再帰定義を持つ算術体系に関する研究

日本学術振興会科学研究費助成事業特別研究員奨励費特別研究員奨励費 1999年 - 2001年

高木理

高木理

基本情報

研究キーワード

研究分野

主要な論文

MISC

書籍等出版物

講演・口頭発表等

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧