Newsニュース
- 2024-04-01 Shinagawa Laboratory has moved品川研究室移動
Shinagawa Laboratory has moved to the Department of Computer Science. 品川研究室は東京大学コンピュータ科学専攻に移動しました。
Old homepage
・Information Technology Center, The University of Tokyo
・https://www.os.ecc.u-tokyo.ac.jp/
New homepage
・Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo
https://www.os.is.s.u-tokyo.ac.jp/en/
旧ホームページ
・東京大学情報基盤センター
・https://www.os.ecc.u-tokyo.ac.jp/
新ホームページ
・東京大学大学院情報理工学系研究科コンピュータ科学専攻
https://www.os.is.s.u-tokyo.ac.jp/
Fiscal Year 2023 年度
- 2024-03-01 2024年度RA募集
- 2023-12-07 Ms. Shiraishi (D2) made a poster presentation at ACSAC 2023白石さん(D2)が国際会議 ACSAC 2023 でポスター発表
- 2023-12-07 寳代さんがComSys 2023でポスター発表して受賞
- 2023-09-06 Prof. Shinagawa gave an invited lecture at FIT 2023品川准教授が FIT 2023で講演
- 2023-08-30 Mr. Hashimoto (M2) won the Best Presentation Award for Young Scientists at a domestic OS workshop橋本君(M2)が第160回OS研究会で優秀若手発表賞を受賞
- 2023-08-10 Mr. Aoki (D3) made a poster presentation at USENIX Security 2023青木さん(D3)が国際会議 USENIX Security 2023 でポスター発表
- 2023-07-12 Several studies were presented at OSDI 2023 / USENIX ATC 2023国際会議 OSDI 2023 & USENIX ATC 2023 で発表
- 2023-06-28 Prof. Shinagawa gave a lecture at the CS Dept of UTokyo品川准教授が東京大学CS専攻講演会で講演
- 2023-05-24 Mr. Ishii (M2) won the Best Presentation Award for Young Scientists at a domestic OS workshop石井君(M2)が第159回OS研究会で優秀若手発表賞を受賞
- 2023-05-18 Application to Master's and Ph.D. Programs for 20242024年度の学生募集(修士課程・博士課程)
- 2023-05-17 Mr. Ishi made a presentation at a domestic OS workshop石井君(M2)が第159回OS研究会で発表
- 2023-05-09 Mr. Hashimoto made a poster presentation at EuroSys 2023橋本君(M2)が国際会議 EuroSys 2023 でポスター発表
- 2023-04-28 International joint research paper accepted for USENIX ATC 2023国際共同研究の成果が国際会議 USENIX ATC 2023 に採択
- 2023-04-21 An internship student from France has joined our laboratoryフランスからのインターンシップ生が参加
- 2023-04-01 Four new students have joined our laboratory品川研究室に新しい学生が4名参加
Fiscal Year 2022 年度
- 2023-03-23 International joint research paper accepted for OSDI 2023国際共同研究の成果が国際会議 OSDI 2023 に採択
- 2023-03-23 Mr. Hashimoto's poster presentation has been accepted to EuroSys 2023橋本さんのポスター発表が国際会議 EuroSys 2023 に採択
- 2023-03-02 2023年度RA募集
- 2023-02-15 Seeking an Assistant Professor and Postdoc特任助教・特任研究員の募集
- 2023-01-12 RA募集
- 2022-11-15 Hiring an assistant professor and post-doctoral fellows特任助教・特任研究員の募集
- 2022-10-25 Mr. Aoki (D2) presented our research and received an award青木君(D2)が CSS2022 での研究発表で学生論文賞を受賞
- 2022-10-22 Associate Professor Shinagawa appointed PC of ACM/IFIP Middleware 2023品川准教授が ACM/IFIP Middleware 2023 の PC に就任
- 2022-10-05 Dr. Mitsuhashi's paper has been accepted to IEEE TNSM三橋さんの論文が IEEE TNSM に採択
- 2022-09-30 Dr. Mitsuhashi's paper has been accepted to CCNC 2023三橋さんの論文が国際会議 CCNC 2023 に採択
- 2022-09-27 RA募集
- 2022-09-26 Mr. Mitsuhashi received his Ph.D. degree三橋さんが博士号を取得
- 2022-09-20 Our research proposal has been accepted to JST CREST研究提案が JST CREST に採択
- 2022-06-15 Anzai's paper has been accepted to APSys 2022安齊君の論文が国際会議 APSys 2022 に採択
- 2022-05-02 Mr. Mitsuhashi's poster paper won a Runner-up for Best Poster Awards at ACM SAC 2022三橋さんのポスター論文が国際会議 ACM SAC 2022 で Best Poster Awards Runner-ups を受賞
- 2022-04-02 Mr. Mitsuhashi's paper has been accepted to COMPSAC 2022三橋さんの論文が国際会議 COMPSAC 2022 に採択
- 2022-04-01 Three new students joined our laboratory品川研究室に新しい学生が3名参加
Fiscal Year 2021 年度
- 2022-03-24 Mr. Misono received his Ph.D. degree味曽野君が博士号を取得
- 2022-03-19 Prof. Shinagawa's paper has been accepted to OSDI 2022論文が国際会議 OSDI 2022 に採択
- 2021-12-13 Mr. Misono's paper has been accepted to ACM SAC 2022味曽野君の論文が国際会議 ACM SAC 2022 に採択
- 2021-12-13 Mr. Mitsuhashi's poster paper has been accepted to ACM SAC 2022三橋さんのポスター論文が国際会議 ACM SAC 2022 に採択
- 2021-12-02 安齊君がComSys 2021でポスター発表
- 2021-11-17 Mr. Misono presented a poster at ACM CCS 2021味曽野君が国際会議 ACM CCS 2021 でポスター発表
- 2021-11-11 Mr. Mitsuhashi presented a paper at ISC 2021三橋さんが国際会議 ISC 2021 で論文を発表
- 2021-10-06 Our paper is presented at IC2E 2021国際会議 IC2E 2021 で発表
- 2021-09-16 RA募集
- 2021-09-09 Our paper is presented at IEEE CLOUD 2021国際会議 IEEE CLOUD 2021 で発表
- 2021-07-26 Prof. Shinagawa is visiting Imperial College London品川准教授が Imperial College London を訪問
- 2021-07-04 Our paper is accepted by IEEE CLOUD 2021国際会議 IEEE CLOUD 2021 に論文が採択
- 2021-06-30 Our paper is accepted by IC2E 2021国際会議 IC2E 2021 に論文が採択
- 2021-06-03 Mr. Misono (D4) received an award at an OS workshop第152回OS研究発表会で味曽野君が最優秀若手発表賞を受賞
- 2021-05-27 Mr. Misono (D4) made a presentation at an OS workshop第152回OS研究発表会で味曽野君が発表
- 2021-05-10 Our paper is presented at CCGrid 2020国際会議 CCGrid 2020 で論文を発表
- 2021-04-01 Associate Prof. Shinagawa becomes the chair of the OS research group品川准教授がOS研究会主査に就任
- 2021-04-01 New students joined our laboratory品川研究室に新しい学生が参加
Fiscal Year 2020 年度
- 2021-03-06 Dr. Fukai's paper was published in the IEEE Transactions on Cloud Computing深井氏の論文が IEEE Transactions on Cloud Computing に正式掲載
- 2021-03-05 Mr. Ozawa won the Best Presentation Award for Young Scientists at the 151st OS Workshop小澤君が第151回OS研究会で優秀若手発表賞を受賞
- 2021-03-02 Prof. Shinagawa received the IPSJ 2020 Computer Science Area Achievement Award品川准教授が2020年度コンピュータサイエンス領域功績賞を受賞
- 2021-03-02 Mr. Ozawa and Gotandai (M2) made a presentation at an OS workshop小澤君と五反田君(M2)が第151回OS研究会で発表
- 2021-02-24 Dr. Matsuzawa (Hitachi) presented at the WiPs session of FAST '21松沢さん(日立)がFAST '21 の WiPs セッションで発表
- 2021-02-18 RA募集
- 2021-01-30 Our proposal was accepted for the WiPs session at FAST '21FAST '21 の WiPs セッションに採択
- 2021-01-21 Mr. Gotanda and Ozawa presented thier master's thesis五反田君,小澤君(M2)が修論を発表
- 2020-12-02 Two invited talks at ComSys 2020ComSys 2020 で2件の凱旋講演
- 2020-10-23 A topic paper is publishedトピック論文がコンピュータソフトウェアに掲載
- 2020-09-18 Mr. Matsuzawa received his Ph.D. degree松沢さんが博士号を取得
- 2020-09-03 RA募集
- 2020-05-21 Our paper is published in ACM Transactions on Storage国際論文誌 ACM Transactions on Storage で論文が公開
- 2020-04-29 Researcher Fukai presented a poster at EuroSys 2020深井研究員が EuroSys 2020でポスター発表
- 2020-04-07 Prof. Shinagawa received an award from a ministry of Japan品川准教授が令和2年度文部科学大臣表彰の科学技術賞を受賞
- 2020-04-01 New students joined our laboratory品川研究室に新しい学生が配属
Fiscal Year 2019 年度
- 2020-03-17 Prof. Shinagawa presented a paper at VEE 2020品川准教授が国際会議 VEE 2020 で発表
- 2020-02-10 Mr. Hatanaka and Yamasaki (B4) presented their bachelor thesises荻野君と戸田君(B4)が卒論を発表
- 2020-01-30 Mr. Hayashi, Yabuuchi, and Suzuki presented thier master thesis林君、薮内君、鈴木君(M2)が修論を発表
- 2020-02-07 Our paper is accepted by CCGrid 2020国際会議 CCGrid 2020 に論文が採択
- 2020-01-26 Our paper is accepted by VEE 2020国際会議 VEE 2020 に論文が採択
- 2019-12-23 Our paper is accepted in ACM Transactions on Storage国際論文誌 ACM Transactions on Storage に論文が採択
- 2019-12-11 We made several presentations at ComSys 2019ComSys 2019 で複数の発表
- 2019-12-02 Researcher Fukai received the IEEE Young Author Award 2019深井研究員が IEEE Computer Society Japan Chapter Young Author Award 2019を受賞
- 2019-08-15 Assoc. Prof. Shinagawa presented a poster at USENIX Security '19品川准教授が USENIX Security Symposium'19 でポスター発表
- 2019-07-13 Our poster was accepted for USENIX Security '19ポスターが USENIX Security Syposium '19 に採択
- 2019-06-01 Dr. Fukai becomes a visiting researcher深井氏が客員研究員に着任
- 2019-05-30 Mr. Yabuuchi (M2) made a presentation at an OS workshop薮内君(M2)が第146回OS研究会で発表
- 2019-05-11 Recruitment of 2020 new master's and doctor students来年度の学生募集(修士課程・博士課程)
- 2019-04-05 A patent on provisioning is grantedOSプロビジョニング技術に関する特許権取得
- 2019-04-01 New students joined our laboratory品川研究室に新しい学生が配属
Fiscal Year 2018 年度
- 2019-02-13 Mr. Hatanaka and Yamasaki (B4) presented their bachelor thesises畑中君と山崎君(B4)が卒論を発表
- 2019-02-05 Mr. Liao (M2) presented his master thesis廖君(M2)が修論を発表
- 2018-12-13 Mr. Misono (D1) got the Best Paper Award at IEEE CloudCom 2018味曽野君(D1)が国際会議 IEEE CloudCom 2018 でベストペーパーを受賞
- 2018-11-29 Three posters are presented at ComSys 2018ComSys 2018 で3件のポスター発表
- 2018-09-25 Mr. Fukai received his Ph.D. degree from University of Tsukuba深井君が筑波大学から博士号を取得
- 2018-09-17 Mr. Misono's paper is accepted in IEEE CloudCom 2018味曽野君(D1)の論文が国際会議 IEEE CloudCom 2018 に採択
- 2018-08-13 Mr. Misono (D1) made a presentation at IEEE DASC 2018味曽野君(D1)が国際会議 IEEE DASC 2018 で発表
- 2018-06-11 Mr Misono's paper is accepted in IEEE DASC 2018味曽野君(D1)の論文が国際会議 IEEE DASC 2018 に採択 com
- 2018-06-08 Mr Fukai's paper is accepted in IEEE Transactions on Cloud Computing深井君の論文が国際論文誌 IEEE Transactions on Cloud Computing に採択
- 2018-06-05 Mr. Matsuzawa (D3) made a presentation at ACM SYSTOR 2018松沢さん(社会人D3)が国際会議 ACM SYSTOR 2018 で発表
- 2018-05-21 Mr. Misono (B4) made a presentation at an OS workshop味曽野君(D1)が第143回OS研究会で発表
- 2018-05-01 Recruitment of 2019 new master's and doctoral students来年度の学生募集(修士課程・博士課程)
- 2018-04-16 Prof. Shinagawa started to teach at Tokyo Denki University品川准教授が東京電機大学で非常勤講師を開始
- 2018-04-16 Mr. Matsuzawa's paper is accepted for publication in ACM SYSTOR 2018松沢さんの論文が国際会議 ACM SYSTOR 2018 に採択
- 2018-04-11 Mr. Yoneji made a presentation at ACM SAC 2018米司君が国際会議 ACM SAC 2018 で発表
- 2018-04-01 New students joined our laboratory品川研究室に新しい学生が配属
Fiscal Year 2017 年度
- 2017-12-14 Mr. Fukai made a presentation at CloudCom 2017深井君が国際会議 IEEE CloudCom 2017 で発表
- 2017-12-12 Mr. Matsuzawa made a presentation at CloudCom 2017松沢さんが国際会議 IEEE CloudCom 2017 で発表
- 2017-12-07 Mr. Matsuzawa and Saeki made presentations at ComSys 2017松沢さん、佐伯君がComSys 2017 で発表
- 2017-12-05 BitVisor Summit 6 is heldBitVisor Summit 6 を開催
- 2017-11-20 Mr. Nakayama made a presentation at NCSS 2017中山君が国際会議 NCSS 2017 で発表
- 2017-11-17 Our paper is accepted for publication in ACM SAC 2018米司君の論文が国際会議 ACM SAC 2018 に採択
- 2017-10-23 Mr. Chubachi presented a poster at CSS 2017忠鉢君が国内会議 CSS2017 でポスター発表
- 2017-10-07 Our two papers were accepted for publication in IEEE CloudCom 2017論文2本が国際会議 IEEE CloudCom 2017 に採択
- 2017-09-03 Mr. Saeki made a presentation at APSys 2017佐伯君(本位田研M2)が国際会議 APSys 2017 で発表
- 2017-07-12 Our paper is accepted for publication in APSys 2017論文が国際会議 APSys 2017 に採択
- 2017-06-15 Awarded the research grant of The Mitsubishi Foundation三菱財団研究助成に採択
- 2017-04-21 Recruitment of 2018 new master's and doctoral students来年度の学生募集(修士課程・博士課程)
Fiscal Year 2016 年度
- 2017-02-14 Mr. Yoshida made a bachelor thesis. presentation吉田君(東大B4)が卒業論文の発表
- 2017-01-26 Mr. Takekoshi made a master's thesis. presentation竹腰君(筑波大M2)が修士論文の発表
- 2016-12-16 Prof. Shinagawa made a presentation at AXIES 2016品川准教授がAXIESで発表
- 2016-11-28 Mr. Misono and Yasuoka made a poster presentation at ComSys 2016味曽野君(東大M1)と安岡君(筑波大M1)が ComSys 2016 でポスター発表
- 2016-11-28 Mr. Matsuzawa made a presentation at ComSys 2016松沢君(社会人D2)が ComSys 2016 で発表
- 2016-09-26 New students joined our laboratory新しい学生が研究室に配属
- 2016-06-21 Prof. Shinagawa made a presentation at CANON Seminar品川准教授がキャノンセミナーで発表
- 2016-04-28 Recruitment of 2017 new master's and doctor course students来年度の学生募集(修士課程・博士課程)
- 2016-04-06 Mr. Takekoshi made a presentation at ACM SAC 2016竹腰君(筑波大M2)が ACM SAC 2016 で発表
- 2016-04-01 Adopted in Grants-in-Aid for Scientific Research (B)科研費基盤(B)に内定
- 2016-04-01 New students joined our laboratory新しい学生が研究室に配属
Fiscal Year 2015 年度
- 2016-03-12 Prof. Shinagawa made a presentation at a domestic academic event.品川准教授が情報処理学会「IPSJ-ONE」に登壇
- 2016-02-29 Mr. Azuma (B4 at UTokyo) made a presentation at an OS workshop東君(東大B4)が第136回OS研究会で発表
- 2016-01-24 Our paper presented at UCC 2015 received the best paper award!UCC 2015 で発表した論文が best paper award を受賞!
- 2015-12-08 Mr. Fukai made a presentation at UCC 2015深井君(筑波大D1)が UCC 2015 で発表
- 2015-11-23 Mr. Takekoshi's paper was accepted for publication in ACM SAC 2016竹腰君(筑波大M1)の論文が国際会議 ACM SAC 2016 に採択
- 2015-10-27 アルバイト学生の募集
- 2015-10-21 Mr. Takekoshi made a presentation at CSS 2015竹腰君(筑波大M1)が CSS 2015 で発表
- 2015-10-01 New students joined our laboratory新しい学生が研究室に配属
- 2015-09-06 Mr. Fukai's paper was accepted for publication in UCC 2015深井君(筑波大D1)の論文が国際会議 UCC 2015 に採択
- 2015-07-27 Three students presented posters at APSys 2015APSys 2015 でポスター発表
- 2015-04-01 Dr. Shinagawa joined the department of Information Physics and Computing大学院システム情報学専攻を兼担
Fiscal Year 2014 年度
- 2015.3.25 Mr. Omote was awarded the President award表君(筑波大D3)が学長表彰を授賞
- 2015.3.25 Mr. Omote received Ph.D.表君が博士号を修得
- 2015.3.16 Mr. Omote made a presentation at ASPLOS 2015表君(筑波大D3)が国際会議 ASPLOS 2015 で発表
- 2014.11.12 Mr. Omote's paper was accepted for publication in ASPLOS 2015!表君(筑波大D3)の論文が国際会議 ASPLOS 2015 に採択!
- 2014.7.28 Mr. Omote made a presentation at SWoPP 2014表君(筑波大D3)がSWoPP 2014で発表
- 2014.6.25 Mr. Fukai made a poster presentation at APSys 2014深井君(筑波大M2)がAPSys 2014でポスター発表
- 2014.5.15 BitVisor 1.4 has been releasedBitVisor 1.4 公開
Fiscal Year 2013 年度
- 2013年12月26~27日 DSW 2013で発表
- 2013年12月18日 大学ICT推進協議会2013年度年次大会で発表
- 2013年12月15日 忠鉢君(D3)の論文が情報処理学会論文誌に掲載
- 2013年12月6日 BitVisor Summit 2 開催
- 2013年12月4日 深井君(筑波大M1)と石井君(筑波大B4)がComSys 2013でポスター発表
- 2013年12月3日 深井君(筑波大M1)が第127回OS研究会で発表
- 2013年11月25日 JSTの競争的資金に採択
- 2013年11月5日 表君(筑波大D2)がSOSP 2013でポスター発表
- 2013年10月18日 総務省の競争的資金に採択
- 2013年7月30日 芹川君(筑波大M2)がAPSys 2013でポスター発表
- 2013年7月11日 JHPCNシンポジウムで採択課題をポスター発表
Fiscal Year 2012 年度
- 2013年3月1日 忠鉢君(筑波大D2)がOS研究会で発表
- 2012年12月6日 大久保君(筑波大M2)がComSys 2012で学生ポスター賞を受賞
- 2012年12月4日 BitVisor Summit 開催
- 2012年11月13日 BitVisor Summit のプログラム公開
- 2012年10月17日 E-サイエンス若手・女性研究者シンポジウム2012で発表
- 2012年9月26日 BitVisor 1.3 公開
- 2012年8月28日 アカデミッククラウドシンポジウム2012@北海道大学で講演を実施
- 2012年8月24日 日本ソフトウェア科学会第29回大会でチュートリアル講演を実施
- 2012年8月1日 島田君と芹川君(筑波大M1)が SWoPP 2012 で研究成果を発表
Fiscal Year 2011 年度
- 2012年3月27日 表君(筑波大M2)が国際会議 ACM SAC 2012 で研究成果を発表
- 2012年3月22日 BitVisorに関する技術の特許出願
- 2011年12月15日 第二回若手・女性支援利用に採択
- 2011年11月08日 BitVisor の記事がクラウドWatchに掲載
- 2011年10月28日 BitVisor 1.2 が公開
- 2011年10月13日 JST A-STEP の支援による研究成果の論文が ACM SAC 2012 に採択
- 2011年10月13日 総務省 SCOPE の支援による研究成果の論文が ACM SAC 2012 に採択
- 2011年10月 5日 表君(M2)の論文が ACS 論文誌に掲載
- 2011年 6月 6日 松橋君の論文が Elsevier の FGCS 誌オンライン版に掲載
- 2011年 4月 1日 東京大学の准教授に着任
[PDF]
Research Field研究分野
Operating Systemsオペレーティングシステム
Operating systems (OSs) are fundamental software acting as an intermediary between the physical world (hardware) and the information world (applications). Especially, OS kernels work on a boundary between hardware and software, holding privileges to control the entire state of the systems. Therefore, OS kernels ara critical components affecting the performance, functionaliry, and security of the systems. We conduct researches on various topics for improving fuctionalities and optimizing performance of the systems by modifying kernels of existing OSs such as Linux and Windows. We also aim at developing our original new OS to propose a new concept and abstraction with OS kernels.オペレーティングシステム(OS)は、物理世界のハードウェアと情報世界のアプリケーションを繋ぐ架け橋となるソフトウェアである。特にOSのカーネルは、ハードウェアとソフトウェアの境界領域で動作し、システム全体の状態を把握・制御する特権を持っている。従って、OSカーネルはシステムの性能や機能、安全性などを大きく左右するコンポーネントである。本研究では、LinuxやWindowsなどの既存のOSをベースとして、OSカーネルに手を入れることで、セキュリティ向上やストレージ高速化など、様々な機能向上や性能改善を実現するための研究開発をおこなう。また、次世代コンピュータ向けに、本研究室で独自のOSを研究開発して、OSの新しいコンセプトを提案することも目指している。
Virtualization Software (BitVisor)仮想化ソフトウェア「BitVisor」
Virtualization software (called virtual machine monitors or hypervisors) runs between the OS and hardware, showing virtualized hardware to the guest OS for providing new features. We are developing a new hypervisor called BitVisor from scratch and exploit it as a basis for various researches. Whie traditional virtualization software, such as VMWare, Xen, and KVM, usually runs multiple OSs on one hardware, BitVisor aims to provide new features such as security and system management without depending on OSs by exploiting virtualization technologies. BitVisor limits the number of OS instances running at one time to one, allowing drastic elimination of size and performance overhead in virtualization systems.仮想化ソフトウェア(仮想マシンモニタやハイパーバイザ等と呼ばれる)は、ハードウェアとOSの間に入り込んで動作して、ハードウェアを仮想化してOSに見せることにより、新たな機能を提供するためのソフトウェアである。当研究室では、ゼロから新たに開発した国産の仮想化ソフトウェアである「BitVisor」をベースとした研究を数多くおこなっている。従来のVMWareやXen、KVMなどの仮想化ソフトウェアの多くは、1台のハードウェア上で複数のOSを動作させることを目的としているのに対し、BitVisorは仮想化技術を活用してセキュリティやシステム管理など新たな機能をOSに依存せずに実現することを目的としている。動作するOSを1つに限定することにより、仮想化ソフトウェアのオーバーヘッドやサイズを大幅に削減することが可能になっている。
Secure Computingセキュア・コンピューティング
We aim at realizing a computing environment which is secure as a whole by combining various components such as OS kernels, virtualization software, compilers and applications. For example, we developed a buffer-overflow protection system by combining an OS protection mechanism and compiler-based instruction manipulation. We also developed a privilege separation system for applications to minimize the damage of systems when attacked. Another research is a system to write security policies of OS kernels in object-oriented languages to mitigate the comlex policy description problem.OSカーネルや仮想化ソフトウェア、さらにはコンパイラやアプリケーションとも連携することで、システム全体としてセキュアなコンピューティング環境を提供することを目指している。例えば、OSカーネルによる保護機構とコンパイラによる保護命令を組み合わせることでバッファオーバーフロー攻撃に対処する仕組みを構築したり、アプリケーションを特権分割して攻撃時の被害を最小限に抑える仕組みを構築したりする手法に関する研究開発をおこなっている。また、OSのセキュリティポリシー記述が複雑になる問題を軽減するために、オブジェクト指向言語によりOSカーネルのポリシー記述をおこなう方式の研究もおこなっている。
Papers論文一覧
Current Classes最近の授業
Only in Japanese
東京大学
2023年度Sセメスター
システム情報学専攻
「システムソフトウェア特論」
月曜3限
105分(13:00~14:45)
工学部6号館 3階・セミナー室B
Past Class過去の授業
- 東京大学
- 教養学部「情報」:2011年度~2019年度
- 工学部計数工学科「計算システム論第二」:2016年度~2018年度、2020年度(1コマ)
- 工学部計数工学科「システム情報工学輪講第一」:2016年度~(1コマ)
- 工学部計数工学科「計数工学(システム情報)卒業論文」:2016年度~(1コマ)
- 大学院情報理工学系研究科システム情報学専攻「システムソフトウェア特論」:2017年度,2019年度
- 東京電機大学
- 大学院未来科学研究科情報メディア学専攻「オペレーティングシステム特論」:2018年度,2019年度
Staff Recruitmentスタッフ募集
Student Recruitment学生募集
研究生(Research Student)は現在募集しておりません。
品川研究室では、修士課程及び博士課程の学生を募集しています。オペレーティングシステム(OS)や仮想化技術など低レイヤのシステムのほかセキュアコンピューティングなどシステムソフトウェア全般に興味がある学生さんはぜひ受験をご検討下さい。他学部・他大学の学生さんも歓迎です(「室員」タブで出身を確認してみてください)。
品川研究室では OS カーネル(主に Linux)やハイパーバイザ(主に KVM や BitVisor)など特権モード(Intel CPU なら ring0 や VMX root mode)で動作するソフトウェアに興味がある(得意・好き・楽しい)学生さんを歓迎します。また、Intel SGX や Intel TDX, AMD SEV-SNP, Arm CCA などの Trusted Execution Environment (TEE) を含む隔離実行環境に関する研究や、ファジング、メモリ安全性、形式検証などシステムソフトウェアのセキュリティに関する研究に興味がある学生さんを特に歓迎しています。カーネルやハイパーバイザ以外でも、ライブラリ、コンパイラ、ミドルウェアなど、いわゆるシステムソフトウェアと呼ばれるレイヤの研究であれば何でも歓迎します。分野もストレージ、ネットワーク、セキュリティ、IoTなど、システムソフトウェアに関連していれば何でも歓迎します。
品川研究室を希望される学生さんは、大学の入試案内をよくご確認下さい。品川は「東京大学大学院情報理工学系研究科システム情報学専攻」と「東京大学大学院総合文化研究科広域システム科学系」を兼担していますのでよくご検討下さい。
システム情報学専攻の修士課程の入試では、TOEFLの成績と数学の受験が必要なほか、専門科目の受験が必要です。専門科目としては、システム情報学に加えてコンピュータ科学、電子情報学等から選択可能です。5月には情報理工学系研究科の入試説明会が開催予定で、その後に研究室紹介もおこなわれる予定なので、日程をあらかじめご確認ください。入試内容や過去問などについては、入試案内を参照してください。
なお、創造情報学専攻で受験して品川研究室を志望することは出来ません。
システム情報学専攻の博士課程を受ける方(社会人含む)は、事前の面談(オンライン可)が必須になっています。メールや入試説明会などで予めアポイントを取って下さい。博士課程の入試は研究分野に関する口述試験×2を受けることになるので、システムソフトウェアの分野で実力があれば十分合格可能です。
広域システム科学系の修士課程の入試では、2024年度入学の試験では筆記試験は実施されません。研究計画書、小論文、提出書類一式による書類審査ののち、口述試験をうけることになります。入学案内をよくご確認下さい。
どちらの専攻を受験して合格した場合でも、研究室は一体で運用していますので、必修で受講する授業の他には大きな違いはありません。
品川研究室を志望される方は、事前に品川(下記のメールアドレス)までご連絡いただけるようお願い致します。
*** We currently do not accept research students ***
Shinagawa Laboratory is accepting master's and doctoral students from all over the world. Please consider taking the entrance examination.
Shinagawa Laboratory is accepting applications for master's and doctoral students. Students who are interested in deep (low-layer) system software such as operating systems (OS), virtualization systems, and secure systems, as well as system software in general, are encouraged to apply. Students from other faculties, other universities, and other countries are also welcome.
Shinagawa Laboratory welcomes students who are interested in (good at, love, or enjoy programming) software running in privileged mode (e.g. ring0 or VMX root mode in Intel CPUs) such as OS kernels (mainly Linux) and hypervisors (mainly KVM and BitVisor). In recent years, we especially welcome students who are interested in isolated execution environments including Trusted Execution Environment (TEE) such as Intel SGX, Intel TDX, AMD SEV-SNP, Arm CCA, etc., and system software security such as fuzzing, memory safety, formal verification, etc.
Students who wish to apply to Shinagawa Laboratory should carefully check the admissions guide of the Department of Information Physics and Computing, Graduate School of Information Science and Technology, the University of Tokyo. Applicants for the master's program must submit TOEFL scores and take exams in mathematics and a specialized subject. As the specialized subject, applicants may choose from Computer Science, Electronic Informatics, etc., in addition to Information Physics and Computing. The Graduate School of Information Science and Technology will hold the entrance exam briefing in May, followed by an introduction to the laboratories, so please check the schedule in advance. Please refer to Information on Entrance Examinations for details on this year's entrance examination and past examinations.
Please note that it is not possible to apply to Shinagawa Laboratory by taking the exam for the Department of Creative Informatics.
Applicants to the doctoral program (including for working professionals) must take a prior interview (face-to-face or online). Please make an appointment in advance by e-mail or at the entrance examination briefing. Applicants need only take two oral examinations related to their field of study and should be able to pass if they are well-qualified in the field of system software.
Please contact Prof. Shinagawa (using the following email address) in advance if you wish to apply.
s i a e c u t k o a . p (You cannot copy the string)(コピー出来ません)
h n @ c . - o y . c j
コンサルティング・共同研究・寄附募集
Resume履歴
Twitter: @utshina2
Facebook: utshina
LinkedIn: utshina
Hatena: utshina
Qitta: shina
slideshare: shinagawa
GitHub: utshina
Bitbucket: utshina
Gravatar: utshina
Researchmap: shina
J-GLOBAL ID: 200901083729398480
ORCID: 0000-0002-7016-7696
ACM: 81375593075
Google Scholar: HufXgzQAAAAJ
dblp: Shinagawa:Takahiro
PGP: 3841 E5A7 3529 609D 6A88
F6FD 4EB9 C611 59B4 1232
Takahiro SHINAGAWA
(Associate Professor)
The University of Tokyo
Information Technology Center
[Also at]
Dept. of Information Physics & Computing
Dept. of General Systems Studies
Imperial College Longon (Visiting Researcher)
Contact:
#414 Information Technology Center
2-11-16 Yayoi, Bunkyo-ku, Tokyo, 113-8658
+81-3-5841-3020
品川 高廣
(東京大学・准教授)
【兼担】
大学院情報理工学系研究科 システム情報学専攻
大学院総合文化研究科 広域システム科学系
大学院情報理工学系研究科 創造情報学専攻
【連絡先】
〒113-8658 東京都文京区弥生2-11-16
東京大学情報基盤センター205
s i a e c u t k o a . p
h n @ c . - o y . c j
Biography
Takahiro Shinagawa received B.E., M.S., and Ph.D. in science from the University of Tokyo in 1998, 2000, and 2003, respectively. After working as an Assistant Professor at Tokyo University of Agriculture and Technology and a Lecturer at University of Tsukuba, he has been an Associate Professor at the University of Tokyo since 2011. He has also been a Visiting Researcher at Imperial College London from 2021 to 2022. His research interests include operating systems, system software, virtualization, and secure computing. He is a member of ACM, IEEE, and USENIX.
◎略歴
2003年東京大学大学院理学系研究科情報科学専攻博士課程修了.博士(理学).東京農工大学助手,筑波大学講師を経て,2011年から東京大学情報基盤センター准教授.2021年7月から2023年3月までインペリアル・カレッジ・ロンドン客員研究員.オペレーティング・システムや仮想化技術,セキュアコンピューティングなどのシステム・ソフトウェアに関する研究に従事.情報処理学会1999年度論文賞,2002年度山下記念研究賞,2020年度コンピュータサイエンス領域功績賞、令和2年度科学技術分野の文部科学大臣表彰「科学技術賞」などを授賞.
◎学歴
- 1998年3月27日 東京大学工学部電子工学科卒業
- 2000年3月29日 東京大学大学院理学系研究科情報科学専攻修士課程修了
- 2003年3月28日 東京大学大学院理学系研究科情報科学専攻博士課程修了
「博士(理学)」取得(東京大学)(博理第4277号)
◎職歴
【専任】
- 2003年4月 東京農工大学工学部情報コミュニケーション工学科助手
- 2004年4月 東京農工大学大学院共生科学技術研究部システム情報科学部門助手
(2006年4月に大学院共生科学技術研究院へ名称変更) - 2006年10月 筑波大学大学院システム情報工学研究科産学官連携研究員
- 2007年4月 筑波大学大学院システム情報工学研究科講師
(先端学際領域研究センター勤務リサーチリーブ教員)
(2010年10月に生命領域学際研究センターに名称変更) - 2011年4月 東京大学情報基盤センター准教授
【兼担】
- 東京大学大学院総合文化研究科広域システム科学系(2011年4月~)
- 東京大学大学院情報理工学系研究科システム情報学専攻(2015年4月~)
- 東京大学大学院情報理工学系研究科創造情報学専攻(2019年4月~)
【兼業・兼任・兼務】
- インペリアル・カレッジ・ロンドン 客員研究員(2021年7月~2023年3月)
- 株式会社アメリカンメガトレンド (AMI) コンサルタント(2009年12月~2010年6月)(兼業)
- 筑波大学生命領域学際研究センター客員研究員(2011年4月~2012年3月)(兼任)
- 東京大学情報基盤センター学際情報科学研究体(2012年4月~)(兼務)
【非常勤講師】
- 東京大学理学部情報科学科非常勤講師(2012年5月~2012年9月、2013,2014,2015年4月〜9月)
- 東京大学工学部計数工学科非常勤講師(2015年9月~)
- 東京大学教養学部非常勤講師(2011年~2018年4月~9月)
- 東京工業大学非常勤講師(2011年10月~2012年3月)
- 東京電機大学非常勤講師(2018年4月~9月、2019年4月~9月)
◎受賞
【本人】
- 2020年12月 2020年度 情報処理学会コンピュータサイエンス領域功績賞(品川 高廣、加藤 和彦)
- 2020年4月 令和2年度科学技術分野の文部科学大臣表彰「科学技術賞」(加藤 和彦、品川 高廣)
- 2018年12月 IEEE CloudCom 2018 Best Paper Award (Masanori Misono, Masahiro Ogino, Takaaki Fukai, Takahiro Shinagawa)
- 2015年12月 IEEE/ACM UCC 2015 Best Paper Award (Takaaki Fukai, Yushi Omote, Takahiro Shinagawa, Kazuhiko Kato)
- 2010年11月 2010年度 コンピュータシステム・シンポジウム(ComSys 2010) 若手論文賞 (表 祐志, 品川 高廣, 加藤 和彦)
- 2006年5月 SACSIS 2006 優秀若手研究賞 (IEEE Computer Society Japan Chapter Award)
- 2003年5月 平成14年度 情報処理学会山下記念研究賞
- 2000年5月 平成11年度 情報処理学会論文賞
【学生】
- 2023年5月 情報処理学会 第159回システムソフトウェアとオペレーティング・システム研究発表会 優秀若手論文賞(石井 玲真)
- 2022年10月 コンピュータセキュリティシンポジウム2022 学生論文賞(青木 克憲)
- 2022年6月 2021年度 電子情報通信学会インターネットアーキテクチャ研究会 優秀研究賞(三橋 力麻)
- 2022年5月 ACM SAC 2022 Best Poster Awards Runner-ups(三橋 力麻)
- 2022年3月 電子情報通信学会インターネットアーキテクチャ研究会 学生研究奨励賞 (三橋 力麻)
- 2021年12月 電子情報通信学会インターネットアーキテクチャ研究会 学生研究奨励賞 (三橋 力麻)
- 2021年5月 情報処理学会 第113回システムソフトウェアとオペレーティング・システム研究会 最優秀若手発表賞 (味曽野 雅史)
- 2021年3月 情報処理学会 第112回システムソフトウェアとオペレーティング・システム研究会 優秀若手発表賞 (小澤 洋介)
- 2015年3月 筑波大学 学長表彰(表 祐志)
- 2012年12月 コンピュータシステム・シンポジウム(ComSys 2012) 学生ポスター賞 (大久保 諒)
- 2010年5月 先進的計算基盤システムシンポジウム(SACSIS 2010) 優秀ポスター賞 (表 祐志)
- 2009年8月 情報処理学会 第112回システムソフトウェアとオペレーティング・システム研究会 最優秀学生発表賞 (横川 晃)
- 2006年1月 情報処理学会 放送コンピューティング研究グループ第13回研究会 学生発表奨励賞
- 2004年3月 情報処理学会 第66回全国大会 学生奨励賞
◎研究資金獲得歴
【代表】
- 2022年度~2027年度 科学技術振興機構(JST) 戦略的創造研究推進事業(CREST)
「隔離実行と形式検証による総合的セキュリティ基盤システム」 研究代表者 - 2022年度~2024年度 日本学術振興会 科学研究費助成事業 基盤研究(B)
「汎用目的特化型仮想化ソフトウェアの実現」 研究代表者 - 2020年度~2021年度 日本学術振興会 科学研究費助成事業 挑戦的研究(萌芽)
「深層学習と仮想化技術の融合によるバンキングマルウェア対策」 研究代表者 - 2020年7月 富士通研究所 奨学寄付
- 2019年7月 富士通研究所 奨学寄付
- 2019年度 日本学術振興会 科学研究費助成事業 国際共同研究加速基金(国際共同研究強化(A))
「準パススルー型仮想マシンモニタのための安全かつ信頼できる実行環境に関する研究」 研究代表者 - 2018年12月~2020年12月 公益財団法人 栢森情報科学振興財団 研究助成
「仮想化環境における不揮発性メモリの最適配置」
(採択率13%:採択21件/応募162件) - 2018年10月 富士通研究所 奨学寄付
- 2017年10月1日~2018年9月30日 三菱財団 自然科学研究助成
「ビッグデータ処理のための超高速ストレージシステムの実現」
(採択率4.4%:採択50件/応募1147件) - 2016年10月1日~2017年3月31日 富士通研究所 委託研究
「軽量ハイパーバイザの研究」 - 2016年度~2020年度 日本学術振興会 科学研究費補助金 基盤研究(B)
「準パススルー型仮想マシンモニタに関する研究」 研究代表者 - 2015年10月1日~2016年3月31日 富士通研究所 委託研究
「軽量ハイパーバイザの研究」 - 2013年度 総務省 先進的通信アプリケーション開発推進事業
「広域分散ベアメタル・クラウド環境のためのハイパーバイザの開発」 開発代表者 - 2012年度~2014年度 日本学術振興会 科学研究費補助金 基盤研究(C)
「準パススルー型仮想マシンモニタの研究」 研究代表者 - 2012年度東京大学情報基盤センター若手・女性研究者支援プログラム
「次世代スパコン向けの軽量な仮想計算環境の実現に向けた研究開発」 研究代表者 - 2010年度 文部科学省 科学研究費補助金 若手研究(B)
「仮想化技術による分散ストレージ管理基盤」 研究代表者 - 2008年度 文部科学省 科学研究費補助金 若手研究(B) 研究代表者
- 2006年度 文部科学省 科学研究費補助金 若手研究(B) 研究代表者
- 2004年度 文部科学省 科学研究費補助金 若手研究(B) 研究代表者
- 2003年度 情報処理振興事業協会 (IPA) 未踏ソフトウェア創造事業
開発プロジェクトリーダー
【分担】
- 2014年1月~2016年3月 JST 研究成果最適展開支援事業(A-STEP) ハイリスク挑戦タイプ
「高セキュリティ・高信頼のクラウドコンピューティング環境実現に向けた基盤システムソフトウェア「BitVisor」の研究開発」
研究責任者(企業責任者:株式会社イーゲル 松原克弥)
(採択率4.5%:採択7件/応募155件) - 2010年度~2012年度 総務省 最先端のグリーンクラウド基盤構築に向けた研究開発
(高信頼クラウドサービス制御基盤技術)
研究担当者(2011年度~) - 2010年度 JST 研究成果最適展開支援事業(A-STEP) フィージビリティスタディ【FS】ステージ・シーズ顕在化タイプ
「高セキュリティを実現する仮想マシンモニタ(BitVisor)の実用化検証」
研究責任者(企業責任者:株式会社イーゲル 松原克弥)
(採択率10.9%:採択82件/応募753件) - 2010年度~2012年度 日本学術振興会 科学研究費補助金 基盤研究(B)
研究分担者(研究代表者:加藤和彦)(~平成23年度) - 2009年度~2011年度 総務省 戦略的情報通信研究開発推進制度(SCOPE)ICTイノベーション促進型研究開発
「ディペンダブルな自律連合型クラウドコンピューティング基盤の研究開発」
研究分担者(研究代表者:加藤和彦)(平成23年度から連携研究者) - 2008年度~2009年度 経済産業省 新世代情報セキュリティ研究開発事業
研究分担者(研究代表者:産業技術総合研究所 須崎有康)(2009年度) - 2007年度~2009年度 日本学術振興会 科学研究費補助金 基盤研究(B)
研究分担者(研究代表者:加藤和彦) - 2003年度~2008年度 科学技術振興機構 戦略的創造研究推進事業CREST
「自律連合型基盤システムの構築」
研究担当者(研究代表者:加藤和彦)(2007年度~) - 2006年度~2008年度 文部科学省 科学技術振興調整費 重要課題解決型研究
「高セキュリティ機能を実現する次世代OS環境の開発」
研究担当者(研究代表者:加藤和彦)(2006年10月~) - 2005年度~2007年度 日本学術振興会 科学研究費補助金 基盤研究(C)
研究分担者 - 2004年度~2005年度 日本学術振興会 科学研究費補助金 基盤研究(C)
研究分担者
Academic Activities
◎学会活動
【代表会員】
- 情報処理学会 代表会員
(2022年度~)
【主査】
- 情報処理学会 システムソフトウェアとオペレーティングシステム研究会 主査
(2021年度~)
【幹事】
- 情報処理学会 システムソフトウェアとオペレーティングシステム研究会 運営委員会 幹事
(2008年度~2011年度)
【編集委員】
- 情報処理学会 論文誌ジャーナル/JIP編集委員会 小委員会(基盤グループ)
(2005年6月~2009年5月) - 情報処理学会 コンピューティングシステム編集委員会
(2009年4月~2013年3月) - 情報処理学会 会誌編集委員会専門委員会(ソフトウェア分野)
(2010年4月~2014年3月) - 情報処理学会 コンピューティングシステム編集委員会 副編集長
(2021年4月~2023年3月)
【運営委員】
- 情報処理学会 システムソフトウェアとオペレーティングシステム研究会
(2003年度~2006年度、2013年度~2016年度、2018年度~2020年度)
【学会組織委員】
- 日本ソフトウェア科学会 第2回SPAサマーワークショップ 実行委員長
(2003年8月) - 第5回先進的計算基盤システムシンポジウム SACSIS 2007 広報委員長(2007年5月)
- APSys 2015 Publication Chair(2015年)
- APSys 2020 Publication Chair(2020年)
PC Member
【プログラム委員】
- 14th ACM Symposium on Cloud Computing (SoCC’23)
- COMPSAC 2023 Symposium on Security, Privacy & Trust in Computing (SEPT)
- 24th ACM/IFIP International Middleware Conference (Middleware 2023)
- Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms (TOPIC 2018), In conjunction with the 37th ACM Symposium on Principles of Distributed Computing (PODC 2018)
- IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) Track Chair (2018, 2019)
- The 2015 Fourth ICT International Student Project Conference (ICT-ISPC 2015)
- Annual Meeting on Advanced Computing System and Infrastructure(ACSI) (2015)
- 情報処理学会 (SACSIS) (2007, 2008, 2010,2011,2012(トラックCチェア),2013)
- 情報処理学会 コンピュータシステム・シンポジウム(ComSys) (2004, 2005, 2006, 2007, 2008, 2009,2010,2011,2012,2013,2014,2018)
- 日本ソフトウェア科学会 プログラミングおよび応用のシステムに関するワークショップ (SPA2004, SPA2005, SPA2006, SPA X SPA2007)
◎学位論文審査
【主査】
- 2022年9月22日: 三橋 力麻, A Study on Automatic Classification of Concealed Malware using Machine Learning (機械学習による秘匿化されたマルウェアの自動分類に関する研究), 東京大学大学院情報理工学系研究科.
- 2022年3月24日: 味曽野 雅史, A Study on Operating System Virtualization Optimized for Functional Requirements (機能要件に最適化されたオペレーティングシステムの仮想化に関する研究), 東京大学大学院情報理工学系研究科.
- 2020年9月25日: 松沢 敬一, 階層ストレージにおけるアプリケーション透過なファイル最適配置手法に関する研究, 東京大学 大学院情報理工学系研究科 システム情報学専攻, 12601甲第37701号(博情第732号)
【副査】
- 2021年1月28日: 真野 智之, CUBIC-Cloud: An Integrative Computational Framework Towards Community-driven Whole-Mouse-Brain Mapping (CUBIC-Cloud: 分散型マウス全脳マッピングのためのクラウド解析システム), 東京大学 情報理工学系研究科 システム情報学専攻, 12601甲第38468号 (博情第752号 ),主査: 上田 泰己 教授.
- 2018年9月25日: 深井 貴明, ベアメタルクラウドにおける物理マシン管理に関する研究, 筑波大学 大学院システム情報工学研究科, 12102乙第2892号, 主査: 加藤 和彦 教授.
- 2016年3月24日: 有間 英志, Cache Design Optimization for Energy-Efficient Processors (高電力効率プロセッサのためのキャッシュの設計最適化), 東京大学 情報理工学系研究科 システム情報学専攻, 12601甲第32987号(博情第559号),主査: 中村 宏 教授.
- 2016年3月24日: 思 敏, Techniques for Enabling Highly Efficient Message Passing on Many-Core Architectures (メニーコア型大規模並列計算機向けの高性能メッセージパッシング型通信技術), 東京大学 情報理工学系研究科 コンピュータサイエンス専攻, 12601甲第32977号(博情第549号),主査:平木 敬 教授.
- 2015年3月25日: 表 祐志, Computer Systems Management with a Para Pass-through Virtual Machine Monitor (準パススルー型仮想マシンモニタを用いたコンピュータシステム管理に関する研究), 筑波大学 システム情報工学研究科, 12102甲第7282号(博甲第7282号), 主査: 加藤 和彦 教授.
- 2015年3月24日: 穐山 空道, Reducing Energy Consumption of Data Centers by Improving Virtual Machine Live Migration, 東京大学 情報理工学系研究科 創造情報学専攻, 12601甲第31943号(博情第538号), 主査: 千葉 滋 教授.
- 2013年3月: 高橋 一志, 利用可能性の高い仮想計算機転送技術 (A technique of virtual machine migration with high applicability), 東京大学 情報理工学系研究科 創造情報学専攻, 甲29630(博情第452号), 主査: 江崎 浩 教授.
Current Members現在の品川研究室のメンバー
(2023年4月現在)
※個人情報は本人の同意を得て掲載しています
The University of Tokyo東京大学
- Associate Professor准教授
- Takahiro Shinagawa品川 高廣
- Visiting Researcher客員研究員
- Rikima Mitsuhashi三橋 力麻(金融機関)
- Yukihiro Oda織田 幸弘(東北大学)
- Technical Assistant技術補佐員
- Hiromi Fuji藤 弘美
- D3 (Enrolled in 2021-04入学)
- Katsunori Aoki青木 克憲(システム情報学専攻←セキュリティベンダー) (while working)(社会人)
- D2(Enrolled in 2022-09入学)
- Satoru Takekoshi竹腰 開(システム情報学専攻) (while working)(社会人)
- Momoko Shiraishi白石 桃子(システム情報学専攻←工学系研究科電気系工学専攻)
- M2 (Enrolled in 2022-04入学)
- Reima Ishii石井 玲真(システム情報学専攻←仙台高等専門学校)
- Wataru Hashimoto橋本 航(システム情報学専攻←工学部電気電子工学科)
- Takumi Saika齊加 匠(広域科学専攻←NTTデータ)
- M1 (Enrolled in 2023-04入学)
- Sungying Chiang江 松穎(システム情報学専攻←台湾)
- Ryo Nakashima中島 諒(システム情報学専攻←工学部システム創成学科)
- Seiga Ueno上野 清雅(広域科学専攻←理学部情報科学科)
- Shintaro Hodai寳代 晋太郎(広域科学専攻←IT企業)
- Internshipインターンシップ
Past Members過去の品川研究室のメンバー
The University of Tokyo東京大学
- 2021/04-2023/09: Shu Anzai安齊 周(休学中)(UCLA←システム情報学専攻博士←創造情報学専攻修士←工学部電子情報工学科)
- 2023/04-2023/08: Clément Charrier (Internship)(インターン)
(ENSICAEN, France) - 2021/04-2022/09: Shoi Takahashi高橋 将生(休学中)
(創造情報学専攻←早稲田大学) - 2018/04-2022/09: Fuli Qi斉 福利(退学)
(富士通→広域システム科学系→米国) - 2016/04-2022/03: Masanori Misono (PhD)味曽野 雅史(博士号取得)
(システム創成学科→システム情報学専攻→ミュンヘン工科大学) - 2020/04-2022/03: Junnosuke Mizutani水谷 淳之介(修士課程修了)
(理学部情報科学科→創造情報学専攻→***) - 2019/04-2021/03: Shotaro Gotanda五反田 正太郎(修士課程修了)
(理学部情報科学科→創造情報学専攻→LINE株式会社) - 2019/04-2021/03: Yosuke Ozawa小澤 洋介(修士課程修了)
(システム創成学科→創造情報学専攻→***) - 2019/04-2020/03: Toka Cho張 東嘉
(理学部情報科学科→広域システム科学系→創造情報学専攻) - 2015/09-2020-08: Keiichi Matsuzawa (PhD)松沢 敬一(博士号取得)
(日立製作所・システム情報学専攻社会人博士) - 2019/04-2020/03: Akira Moroo師尾 彬(博士課程退学)
(東京理科大学→システム情報学専攻→レノボ・ジャパン合同会社) - 2018/04-2020/03: Ryo Hayashi林 遼 (修士課程修了)
(計数工学科→システム情報学専攻→伊藤忠商事) - 2018/04-2020/03: Hidehito Yabuuchi薮内 秀仁(修士課程修了)
(理学部情報科学科→システム情報学専攻→PFN) - 2018/04-2020/03: Yuki Suzuki鈴木 悠希(修士課程修了)
(早稲田大学→広域システム科学系→NTTコミュニケーションズ) - 2019/10-2020/03: Takashi Ogino荻野 堯(学士課程修了)(計数工学科)
- 2019/10-2020/03: Itta Toda戸田 一汰(学士課程修了)(計数工学科)
- 2018/10-2020/03: Sandra Lourdes Rivera Pérez(研究生)
(キューバ→システム情報学専攻→早稲田大学) - 2018/10-2019/09: Hiromu Yamasaki山崎 大夢(学士課程修了)(計数工学科)
- 2017/04-2019/03: Liao Zihao廖 子豪(修士課程修了)
(中国→広域システム科学系→NTTコミュニケーションズ) - 2018/10-2019/03: Toshiki Hatanaka畑中 俊輝(学士課程修了)
(計数工学科→中村・近藤研究室) - 2017/09-2018/08: Enea de Bollivier (USTEP)
- 2016/04-2018/03: Tomoyuki Nakayama中山 智之(修士課程修了)
(計数工学科→システム情報学専攻→大成建設) - 2017/10-2018/03: Masahiro Ogino荻野 将拓(学士課程修了)
(計数工学科→稲見研究室) - 2016/04-2018/03: Seiichi Uchida内田 誠一(広域システム科学系)
- 2016/10-2017/09: Hu Siyi胡 思已(研究生)
(システム情報学専攻→中村・近藤研究室) - 2016/10-2017/03: Kaito Yoshida吉田 海渡(学士課程修了)(計数工学科)
- 2015/10-2016/03: Kouhei Azuma東 耕平(学士課程修了)
- 2015/10-2016/03: Hwang黄 柱皓(ファン チュホ)(学士課程修了)
University of Tsukuba筑波大学
- 2018/3
- Takaaki Fukai博士課程修了: 深井 貴明(→日本IBM、2018年9月博士号取得)
- Ryosuke Yasuoka修士課程修了: 安岡 亮輔(→日立製作所)
- 2017/3
- Master' Course: Satoru Takekoshi修士課程修了: 竹腰 開
- Bachelor Course: Iori Yoneji学士課程修了: 米司 伊織
- 2015/3
- Doctor Course: Yushi Omote博士課程修了: 表 祐志(同月博士号取得、9/30学振PD中途辞退)
- 2014/3
- Doctor Course: Yosuke Chubachi博士課程修了: 忠鉢 洋輔(単位取得退学)
- Master' Course: Kyohei Shimada修士課程修了: 島田 恭平
- Master' Course: Daichi Serikawa修士課程修了: 芹川 大地
- Bachelor Course: Tomoya Ishii学士課程修了: 石井 智也
- 2013/3
- Master's Course: Ryo Okubo修士課程修了: 大久保 諒
- 2011/3
- Master's Course: Yohei Matsuhashi修士課程修了: 松橋 洋平
- Master's Course: Kazunori Miyazawa修士課程修了: 宮澤 和徳
- Master's Course: Yoshiki Yamada修士課程修了: 山田 佳樹
- 2010/3
- Master's Course: Akio Konagaya修士課程修了: 小長谷 秋雄
- Master's Course: Akira Yokokawa修士課程修了: 横川 晃
- 2009/3
- Master's Course: Masahiro Ohmiya修士課程修了: 大宮 正大
国際会議
Conference
品川研究室に関係のある研究分野の比較的著名なOS及びシステムソフトウェアの国際会議を一覧にしています。論文のサーベイや投稿日程の確認などにご活用ください。
see here