著者

奥田 哲矢 中林 美郷 荒井 研一 菊池 亮 千田 浩司

雑誌

研究報告コンピュータセキュリティ(CSEC) (ISSN:21888655)

巻号頁・発行日

vol.2021-CSEC-95, no.17, pp.1-8, 2021-11-01

---

本研究では,TEE (Trusted Execution Environment) を応用したクラウドサービス群である Confidential Computing について,データおよびプログラムの両者を秘匿したまま利用できる Confidential Program Execution を提案し,その安全性を評価する.前提として,Intel SGX,AMD SEV のようなサーバサイドにおける TEE を使えば,クラウド事業者に対してデータを秘匿しつつ,クラウドサービスを利用することができる.さらにその発展として,Felsen らは,データを有するユーザとプログラムを有するユーザが,互いにそれぞれのデータとプログラムを自身以外(クラウド事業者を含む)には秘匿したまま,プログラムの実行結果を享受できる方式を提案している.しかし Felsen らの方式は,実行毎にデータとプログラムをクラウド事業者にアップロードする必要があり,かつ方式の安全性証明は与えられていなかった.本稿では,Felsen らと同様にデータとプログラムを秘匿しつつ実行結果を得られ,且つ実行毎にデータとプログラムをクラウド事業者にアップロードする必要がない方式を提案し,その方式の安全性を,形式検証ツールである ProVerif を用いて評価した.評価の結果,本研究の提案プロトコルが,各データおよびプログラムの秘匿の要件,および各エンティティの認証の要件を充足することが分かった.また,本研究の提案および評価を通じて分かった,TEE 応用プロトコル設計時に,TEE がユーザとは独立したエンティティとしてふるまう点,および,TEE を含めたマルチパーティの攻撃者モデルを想定すべき点は,今後多くの TEE 応用プロトコルが設計される際に,プロトコル設計者の参考になると期待される.

著者

貝原 俊樹 北村 健 北條 林太郎 青山 祐也 小宮山 浩大 手島 保 西﨑 光弘 櫻田 春水 平岡 昌和 深水 誠二 吉田 精孝 河村 岩成 中田 晃裕 荒井 研 森山 優一 宮澤 聡 麻喜 幹博

出版者

公益財団法人 日本心臓財団

雑誌

心臓 (ISSN:05864488)

巻号頁・発行日

vol.47, no.1, pp.S1_50-S1_54, 2015

---

<p> 高血圧症, 骨粗鬆症の既往がある83歳女性. 入院10日程前から食思不振があった. 入院4日前から食思不振が増悪し, ふらつきや1分程続く胸部圧迫感が出現した. 入院当日から動悸が出現したため, 当院を受診した. 心電図は洞調律で多形性心室性期外収縮が頻発し, 580msと著明なQT延長を認めた. 胸部レントゲンでは軽度心拡大を認めた. 採血では低カリウム血症 (2.3mEq/L), 低マグネシウム血症 (1.6mg/dL) を認めた. 検査終了後に突然強直性痙攣が出現し, 心肺停止となった. 無脈性多形性心室頻拍が確認され, 除細動150J 1回で洞調律に復帰した. 入院後は電解質を補正し, QT延長はやや遷延したものの, 心室性不整脈は著減した. また, 経過中たこつぼ様の壁運動を伴ったが, 第4病日で意識はほぼ清明にまで改善した. しかし第13病日に頭蓋内出血を発症し, 急変, 死亡退院となった. QT延長, 多形性心室頻拍に低カリウム血症, 低マグネシウム血症を伴った症例の報告は少ない. 本症例に関して, 低マグネシウム血症と心室性不整脈の観点から文献的考察を混じえ, 考察する.</p>

著者

荒井 研祐 三堀 将寛

出版者

公益社団法人 日本薬学会

雑誌

YAKUGAKU ZASSHI (ISSN:00316903)

巻号頁・発行日

vol.138, no.4, pp.525-527, 2018 (Released:2018-04-01)

参考文献数

2

被引用文献数

1

---

Within school classrooms, Active Learning has been receiving unprecedented attention. Indeed, Active Learning's popularity does not stop in the classroom. As more and more people argue that the Japanese government needs to renew guidelines for education, Active Learning has surfaced as a method capable of providing the necessary knowledge and training for people in all areas of society, helping them reach their full potential. It has become accepted that Active Learning is more effective over the passive listening of lectures, where there is little to no interaction. Active Learning emphasizes that learners explain their thoughts, ask questions, and express their opinions, resulting in a better retention rate of the subject at hand. In this review, I introduce an Active Learning support tool developed at Digital Knowledge, “Clica”. This tool is currently being used at many educational institutions. I will also introduce an online questionnaire that Digital Knowledge provided at the 10th Annual Meeting of the Japanese Society for Pharmaceutical Palliative Care and Sciences.

著者

岡崎 裕之 布田 裕一 師玉 康成 荒井 研一

出版者

信州大学

雑誌

基盤研究(C)

巻号頁・発行日

2017-04-01

---

本研究では、形式的定理証明系Mizarとモデル検査器ProVerifを用いて、計算機援用による暗号システムの安全性形式的評価システムを開発した。Mizarでは暗号理論に関わる形式化数学ライブラリを開発した。本成果は確率、統計、関数解析、計算アルゴリズムや計算量等の計算機科学の基礎の形式化であるので、暗号理論以外にも応用できる。一方、ProVerifでは、基本的な暗号プロトコルのみならず、従来より抽象度が低くより現実のシステムや実装に近いモデルでの安全性検証手法を提案した。これにより暗号学的ハッシュ関数やブロック暗号の利用モード等の開発時の設計支援や形式的安全性検証を行うことが可能となった。

著者

小林 透 深江 一輝 今井 哲郎 荒井 研一 宮崎 禎一郎 辻野 彰

出版者

The Institute of Electronics, Information and Communication Engineers

雑誌

電子情報通信学会論文誌 D (ISSN:18804535)

巻号頁・発行日

vol.J105-D, no.10, pp.533-545, 2022-10-01

---

本研究では,人型コミュニケーションロボットが,一人暮らしの高齢者との自然会話を基に認知症の予兆検知を行い,認知症の疑いがあれば,ソーシャルメディアを介して離れて暮らす家族やソーシャルワーカ等に通知する認知症予兆発見システムを開発した.著者らは,これまで,スマホが使えない高齢者とLINEを介した双方向のコミュニケーションが可能なソーシャルメディア仲介ロボットを開発した.本研究では,本ロボットに,“認知症予兆発見方式”を追加することで認知症予兆発見システムを実現した.認知症予兆発見方式では,臨床的に信頼性が高い改定長谷川式簡易知能評価スケール(HDS-R)から自然会話シナリオを生成し,シナリオに基づくロボットと高齢者との対面会話による認知度の自動スコアリングが特徴である.本システムは,高齢者に相対する人型コミュニケーションロボットと全体を制御するクラウドサービスから構成されている.開発したプロトタイプシステムを用いた高齢者に対する評価実験により,従来の医師が実施する認知症診断結果と本システムによる評価結果を比較することで,本システムの有効性を明らかにした.

著者

荒井 研介 高橋 由雅

出版者

一般社団法人 人工知能学会

雑誌

人工知能学会全国大会論文集 第26回全国大会(2012)

巻号頁・発行日

pp.3D2R133, 2012 (Released:2018-07-30)

---

本研究室では、分子構造情報の表現手段の一つとして、分子グラフを符号化し、符号列から楽譜を生成し、MIDI音源を利用して演奏する「分子ミュージック」の研究を進めている。従来手法では、構造が類似しているにもかかわらず、生成される楽譜に大きな違いが生じる場合があり、音楽的にも不安定なものとなっていた。そこで、分子グラフの骨格毎に明確な違いを表現し、音楽理論を反映した楽譜生成アルゴリズムを提案する。

著者

貝原 俊樹 深水 誠二 吉田 精孝 河村 岩成 中田 晃裕 荒井 研 森山 優一 宮澤 聡 麻喜 幹博 北村 健 北條 林太郎 青山 祐也 小宮山 浩大 手島 保 西﨑 光弘 櫻田 春水 平岡 昌和

出版者

公益財団法人 日本心臓財団

雑誌

心臓 (ISSN:05864488)

巻号頁・発行日

vol.47, no.SUPPL.1, pp.S1_50-S1_54, 2015 (Released:2016-12-14)

参考文献数

7

---

高血圧症, 骨粗鬆症の既往がある83歳女性. 入院10日程前から食思不振があった. 入院4日前から食思不振が増悪し, ふらつきや1分程続く胸部圧迫感が出現した. 入院当日から動悸が出現したため, 当院を受診した. 心電図は洞調律で多形性心室性期外収縮が頻発し, 580msと著明なQT延長を認めた. 胸部レントゲンでは軽度心拡大を認めた. 採血では低カリウム血症 (2.3mEq/L), 低マグネシウム血症 (1.6mg/dL) を認めた. 検査終了後に突然強直性痙攣が出現し, 心肺停止となった. 無脈性多形性心室頻拍が確認され, 除細動150J 1回で洞調律に復帰した. 入院後は電解質を補正し, QT延長はやや遷延したものの, 心室性不整脈は著減した. また, 経過中たこつぼ様の壁運動を伴ったが, 第4病日で意識はほぼ清明にまで改善した. しかし第13病日に頭蓋内出血を発症し, 急変, 死亡退院となった. QT延長, 多形性心室頻拍に低カリウム血症, 低マグネシウム血症を伴った症例の報告は少ない. 本症例に関して, 低マグネシウム血症と心室性不整脈の観点から文献的考察を混じえ, 考察する.