2016年度 発表文献一覧（坂井・入江研究室）

雑誌論文

• 情報管理
  1. 坂井 修一:
     情報社会と人間, サイバースペースとセキュリティー 第5回,
     情報管理：Vol. 59 No. 11 p. 768-771 (Feb. 2017).
     [download page]
• IEICE Transactions on Inforamtion and Systems
  1. MinSeong Choi, Masahiro Goshima and Shuichi Sakai:
     An Inductive Method to Select Simulation Points,
     IEICE Transactions on Inforamtion and Systems, E99-D(12), pp. 2891-2990 (2016)

国際会議

• ICCD2016 (The 34th IEEE International Conference on Computer Design)
  1. Hayato Nomura, Hiroyuki Katchi, Hidetsugu Irie, Shuichi Sakai:
     “Stubborn” Strategy to Mitigate Remaining Cache Misses,
     ICCD (The IEEE International Conference on Computer Design), pp.388-391 (2016)
• MUSICAL 2016 (International Workshop On Mobile Ubiquitous Systems, Infrastructures, Communications, And AppLications)
  1. Takahiro Yamada, Hidetsugu Irie, Shuichi Sakai:
     High-Accuracy Joint Position Esimation and Posture Detection System for Driving,
     MOBIQUITOUS ’16 Adjunct Proceedings (2016), pp. 214-219 (2016)
• ProMAC 2016 (10th International Conference on Project Management)
  1. Kengo Zenitani, Hirokazu Okumura, Hisafumi Mitsushio, Satoru Myojin, Hidetsugu Irie, Shuichi Sakai:
     Security Hazard Map by Qualitative Sensitivity Analysis,
     Proceedings of the 10th International Conference on Project Management, pp. 970-977 (2016)
• PRDC 2017 (The 22nd IEEE Pacific Rim International Symposium on Dependable Computing)
  1. Mizuki Miyanaga, Hidetsugu Irie, Shuichi Sakai:
     Accelerating Integrity Verification on Secure Processors by Promissory Hash,
     2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 22-29 (2017)

口頭発表

• マルチメディア, 分散, 協調とモバイル(DICOMO2016)シンポジウム@鳥羽シーサイドホテル
  1. 山田高寛, 土門憲司, 入江英嗣, 坂井修一:
     運転環境における高精度関節位置推定と姿勢評価システム,
     マルチメディア, 分散, 協調とモバイル(DICOMO2016)シンポジウム, pp. 846—852 (2016)
     
• SWoPP 2016 @ キッセイ文化ホール（長野県松本文化会館）
  1. 甲地弘幸, 入江英嗣, 坂井修一：
     Pre-Promotion の動的切り替え手法の検討,
     電子情報通信学会技術研究報告 信学技法, No.116(177), pp. 103—107(2016)
     
  2. 中江哲史, 入江英嗣, 坂井修一：
     STRAIGHTコンパイラにおける不要コードの削減手法の検討,
     電子情報通信学会技術研究報告 信学技法, No.116(177), pp. 25—30(2016)
     
• 日本情報経営学会第73回全国大会, 於福岡
  1. 銭谷謙吾, 奥村裕一, 満塩尚史, 明神知, 入江英嗣, 坂井修一:
     インシデントグラフによる定性的リスク評価,
     日本情報経営学会第73回全国大会, pp.175-178 (2016)
     
• 経営情報学会秋季全国研究発表大会
  1. 銭谷謙吾, 奥村裕一, 満塩尚史, 明神知, 入江英嗣, 坂井修一:
     境界応答法による組織横断リスク評価,
     経営情報学会秋季全国研究発表大会, A1-2, pp. 5-8 (2016)
     [link]
     
• 電子情報通信学会 コンピュータシステム研究会(CEATEC) @幕張メッセ
  1. 土井秀信, 入江英嗣, 坂井修一:
     深度カメラを利用した直感的な文字入力インターフェースの提案,
     電子情報通信学会技術研究報告, Vol.116, No. 240, pp. 3—5 (2016)
     
  2. 梶原拓哉, 宮永瑞紀, 入江英嗣, 坂井修一:
     セキュアプロセッサを用いたマルチプロセッサシステムの設計,
     電子情報通信学会技術研究報告, Vol.116, No. 240, pp. 7—10 (2016)
     
• 自動車技術会秋季大会
  1. 長野 英治, 安井 博文, 土門 憲司, 入江 英嗣, 山田 高寛:
     運転支援のためのドライバー挙動検出技術,
     自動車技術会秋季大会, pp. 935-938 (2016)
     
• 日本情報経営学会第72回全国大会
  1. 銭谷謙吾, 奥村裕一, 満塩尚史, 明神知, 入江英嗣, 坂井修一：
     定性的感度分析によるセキュリティハザードマップ,
     日本情報経営学会第72回全国大会（2016）
     
• 情報処理学会 第216回 システム・アーキテクチャ研究発表会 @ 慶応大学来往舎
  1. 酒井一憲, 中江哲史, 入江英嗣, 坂井修一：
     STRAIGHTにおける投機メモリフォワーディングの実装の検討,
     電子情報通信学会技術研究報告, Vol.116, No.416, pp. 191-196
     
• 情報処理学会 第217回 システム・アーキテクチャ研究発表会 @ 久米島（ETNET2017）
  1. 渋江陽人, 野村隼人, 入江英嗣, 坂井修一：
     ストライドアクセスの階層構造に着目したフェーズ検出,
     研究報告システム・アーキテクチャ（ARC）, 2017-ARC-225, No.2, pp. 1-6
     
  2. 福田晃史, 中江哲史, 入江英嗣, 坂井修一：
     STRAIGHTアーキテクチャにおけるループ内ロード命令の削減手法,
     研究報告システム・アーキテクチャ（ARC）, 2017-ARC-225, No.3, pp. 1-6
     
• 組込み技術とネットワークに関するワークショップETNET2017@具志川農村環境改善センター
  1. 鈴木璃人・梶原拓也・宮永瑞紀・入江英嗣・坂井修一:
     セキュアプロセッサ利用環境におけるDMAの実現手法,
     信学技報, vol. 116, no. 510, CPSY2016-138, pp. 39-44, 2017年3月
     
  2. 島田伸夫・谷合廣紀・宮永瑞紀・入江英嗣・坂井修一:
     侵入検出手法SWIFTによるゼロデイアタック検出,
     信学技報, vol. 116, no. 510, CPSY2016-149, pp. 321-326, 2017年3月
     
  3. 喜多　司・高原隼太郎・入江英嗣・坂井修一:
     測位技術を用いた直観的な機器選択,
     信学技報, vol. 116, no. 510, CPSY2016-151, pp. 333-338, 2017年3月
     
  4. 森　大輝・入江英嗣・坂井修一:
     ドローンを用いた視覚障害者の歩行支援システムの開発,
     信学技報, vol. 116, no. 510, CPSY2016-152, pp. 339-344, 2017年3月
     
• 電子情報通信学会総合大会 @ 名城大学
  1. 丸山桂史，入江英嗣，坂井修一：
     関節相対位置関係を用いた運動評価と指導,
     電子情報通信学会総合大会, D-9-20, pp. 110 (2017)
     

解説記事

• 「ビブリオ・トーク -私のオススメ-：部分と全体　私の生涯の偉大な出会いと対話」
  1. 入江 英嗣:
     情報処理学会会誌, Vol.57, No.7, pp.670-671, Jun., 2016.

学位論文

• 博士論文
  1. 山田 淳二:
     スーパスカラプロセッサのレジスタファイルの面積・エネルギー効率向上に関する研究,
     博士論文，東京大学大学院情報理工学系研究科 (2016).
  2. 崔 珉誠:
     帰納的なシミュレーション・ポイント選出手法に関する研究,
     博士論文，東京大学大学院情報理工学系研究科 (2016).
• 修士論文
  1. 梶原 拓也:
     セキュアプロセッサを用いたマルチプロセッサシステムの構成,
     修士論文，東京大学大学院情報理工学系研究科 (2016).
  2. 齋藤 晃介:
     動的更新を可能にするハイパーバイザ分割手法,
     修士論文，東京大学大学院情報理工学系研究科 (2016).
  3. 土井 秀信:
     ヘッドマウントディスプレイ向けの直観的な文字入力インターフェースの提案,
     修士論文，東京大学大学院情報理工学系研究科 (2016).
  4. 酒井 一憲:
     STRAIGHTにおける投機メモリフォワーディング,
     修士論文，東京大学大学院情報理工学系研究科 (2016).
• 卒業論文
  1. 喜多 司:
     測位技術を用いた直観的かつインタラクティブな機器操作,
     卒業論文，東京大学工学部 (2016).
  2. 島田 伸夫:
     侵入検出手法SWIFTによるゼロデイアタック検出,
     卒業論文，東京大学工学部 (2016).
  3. 鈴木 璃人:
     セキュアプロセッサ利用環境におけるDMAの実現手法,
     卒業論文，東京大学工学部 (2016).
  4. 丸山 桂史:
     関節相対位置関係を用いた運動評価と支援,
     卒業論文，東京大学工学部 (2016).
  5. 森 大輝:
     ドローンを用いた視覚障害者の歩行支援システム,
     卒業論文，東京大学工学部 (2016).
  6. 小林 聡:
     聴覚障害者のためのHMDを用いた工場環境下における危険音の検知及びその通知,
     卒業論文，東京大学工学部 (2016).
  7. 渋江 陽人:
     高次ストライドアクセスを用いたフェーズ検出,
     卒業論文，東京大学工学部 (2016).
  8. 福田 晃史:
     リネーミング・ロジックを排除するSTRAIGHTアーキテクチャにおけるループ最適化,
     卒業論文，東京大学工学部 (2016).