終了したプログラム

学術活動

テクニカルレポート
コロキウム
修士論文リスト
博士論文審査情報

テクニカルレポート

情報理工学位プログラム(旧コンピュータサイエンス専攻)では、所属教員の学術活動の成果発表の一環として、テクニカルレポートを発行しています。

2020年度テクニカルレポート一覧

CS-TR-20-25	Hisao Kameda "Inferiority Based Measuring Technical Inefficiency of Production"

2016年度テクニカルレポート一覧

CS-TR-16-24	Hisao Kameda "Magnitudes of Pareto Inefficiency of Atomic and Non-Atomic Nash Equilibria"

2014年度テクニカルレポート一覧

CS-TR-14-23	Akira Imakura, Lei Du,Tetsuya Sakurai "Accuracy analysis on the Rayleigh-Ritz type of the contour integral based eigensolver for solving generalized eigenvalue problems"

2013年度テクニカルレポート一覧

CS-TR-13-22	AKIRA IMAKURA , TOMOHIRO SOGABE, SHAO-LIANG ZHANG A LOOK-BACK-TYPE RESTART FOR THE RESTARTED KRYLOV SUBSPACE METHODS TO SOLVE NON-HERMITIAN LINEAR SYSTEMS
CS-TR-13-21	Akira Imakura, Lei Du, Tetsuya Sakurai, "Novel interpretation of contour integral spectral projection methods for solving generalized eigenvalue problems"
CS-TR-13-20	Takahito Kuno and Tomohiro Ishihama, "A Convergent Conical Algorithm with w-Bisection for Concave Minimization"

以前のテクニカルレポートはこちら

コロキウム

　情報理工学位プログラムでは情報理工学位プログラムの関連分野の研究・教育の振興、ならびに専攻からの情報発信を目的としてコロキウムを開催しています。専攻教員だけでなく学生や外部講師等による講演会形式で随時開催されます。

2026/5/7 16:00～17:00	講演者：高倉龍 (大阪大学量子情報·量子生命研究センター (特任助教)) 講演題目：同時測定不可能性の定量化について単一量子ビットに対するパウリZ測定とX測定に代表されるように、量子物理の枠組みでは「同時に」実現できない測定が存在する。こうした同時測定不可能性は、歴史的にはハイゼンベルクの不確定性関係を端緒として議論されてきた。しかし、近年の量子情報科学の発展に伴い、操作論的観点からの新たな定量化が提案され、その有用性が探求されている。本セミナーでは、同時測定不可能性の定量化について、伝統的な不確定性関係から現代の量子情報科学的なアプローチに至るまで、双方の視点を交えて解説を行う。会場：F902 セミナー室世話人：鹿野　豊 (システム情報系情報工学域) 世話人連絡先：yshikano@cs.tsukuba.ac.jp (内線: 5770)

過去に開催したコロキウム

2026/3/25 16:00～17:00	講演者：Carlo Marconi (CNR-INO, Italy (Postdoctoral Researcher)) 講演題目：Entanglement in symmetric quantum states Symmetric states, describing multipartite systems that are invariant under any permutation of the parties, provide a natural framework for bosonic systems. In recent years, they have also found applications in several quantum information protocols, including quantum metrology, quantum error correction and quantum communication. Despite their elegant mathematical structure, which often enables a more compact and tractable analysis, a comprehensive understanding of their entanglement properties remains incomplete. In this talk, I will present an overview of entanglement in symmetric states. Moving from known results, I will discuss the main tools used to study entanglement in this setting and highlight recent advances and open questions on this topic. 会場：F902 セミナー室世話人：今井敏也 (システム情報系情報工学域) 世話人連絡先：imai@cs.tsukuba.ac.jp (内線: 5724)

2026/3/25
16:00～17:00

講演者：Carlo Marconi (CNR-INO, Italy (Postdoctoral Researcher))
講演題目：Entanglement in symmetric quantum states
Symmetric states, describing multipartite systems that are invariant under any permutation of the parties, provide a natural framework for bosonic systems. In recent years, they have also found applications in several quantum information protocols, including quantum metrology, quantum error correction and quantum communication. Despite their elegant mathematical structure, which often enables a more compact and tractable analysis, a comprehensive understanding of their entanglement properties remains incomplete. In this talk, I will present an overview of entanglement in symmetric states. Moving from known results, I will discuss the main tools used to study entanglement in this setting and highlight recent advances and open questions on this topic.
会場：F902 セミナー室
世話人：今井敏也 (システム情報系情報工学域)
世話人連絡先：imai@cs.tsukuba.ac.jp (内線: 5724)

2026/3/13 16:00～17:00	講演者：Jing Yang (Zhejiang University (Assistant Professor)) 講演題目：Continuous-time quantum combs In recent years, quantum comb (also known as the process tensor or process tensor) has been developed as a general framework to fully characterize the temporal correlations of non-Markovian open quantum systems. However, this approach is typically restricted to a finite set of instantaneous operations, whereas many real-world applications are more naturally formulated in terms of continuous-time measurements. In this talk, I will present a path-integral framework for modeling general continuous-time quantum combs subject to arbitrary continuous measurements. Within this framework, we derive a functional Born rule, along with the continuous-time version of positivity condition, continuous-time causality condition, and Markovianity condition. We show that this formalism can recover to the discrete-time formalism and also enables the description of continuous-time detection in non-Markovian dissipative systems, which lies beyond the scope of conventional approaches in quantum optics. 備考：人工知能科学センター主催セミナー会場：F902 セミナー室世話人：今井敏也 (システム情報系情報工学域) 世話人連絡先：imai@cs.tsukuba.ac.jp (内線: 5724)

2026/3/13
16:00～17:00

講演者：Jing Yang (Zhejiang University (Assistant Professor))
講演題目：Continuous-time quantum combs
In recent years, quantum comb (also known as the process tensor or process tensor) has been developed as a general framework to fully characterize the temporal correlations of non-Markovian open quantum systems. However, this approach is typically restricted to a finite set of instantaneous operations, whereas many real-world applications are more naturally formulated in terms of continuous-time measurements.
In this talk, I will present a path-integral framework for modeling general continuous-time quantum combs subject to arbitrary continuous measurements. Within this framework, we derive a functional Born rule, along with the continuous-time version of positivity condition, continuous-time causality condition, and Markovianity condition. We show that this formalism can recover to the discrete-time formalism and also enables the description of continuous-time detection in non-Markovian dissipative systems, which lies beyond the scope of conventional approaches in quantum optics.
備考：人工知能科学センター主催セミナー
会場：F902 セミナー室
世話人：今井敏也 (システム情報系情報工学域)
世話人連絡先：imai@cs.tsukuba.ac.jp (内線: 5724)

2026/3/13 14:30～15:30	講演者：Adrian Kent (DAMTP, University of Cambridge (Professor)) 講演題目：Reconsidering semiclassical gravity and other nonlinear quantum theories Folk wisdom has it that quantum theory is an island in theory-space, to use Scott Aaronson's phrase: altering any part of it leads to logical inconsistency or at least to highly implausible physical consequences. In particular, it has been argued that nonlinear versions of quantum theory 1) necessarily allow superluminal signalling (Gisin) and/or communication between Everett branches (Polchinski), 2) violate the second law of thermodynamics (von Neumann, Peres) and 3) imply computational models in which P=NP (Lloyd-Abrams). It has also been argued that 4) the measurement postulates of quantum theory follow logically from unitary evolution and the other basic postulates (Masanes-Galley-Muller). I argue that 1,2 and 4 are false, note that 3 is an interesting feature of idealised nonlinear models but unlikely to arise in realistic models, and describe and motivate some experiments to test quantum (non-)linearity and its implications. 会場：F902 セミナー室世話人：鹿野　豊 (システム情報系情報工学域) 世話人連絡先：yshikano@cs.tsukuba.ac.jp (内線: 5770)

2026/3/13
14:30～15:30

講演者：Adrian Kent (DAMTP, University of Cambridge (Professor))
講演題目：Reconsidering semiclassical gravity and other nonlinear quantum theories
Folk wisdom has it that quantum theory is an island in theory-space, to use Scott Aaronson's phrase: altering any part of it leads to logical inconsistency or at least to highly implausible physical consequences. In particular, it has been argued that nonlinear versions of quantum theory 1) necessarily allow superluminal signalling (Gisin) and/or communication between Everett branches (Polchinski), 2) violate the second law of thermodynamics (von Neumann, Peres) and 3) imply computational models in which P=NP (Lloyd-Abrams). It has also been argued that 4) the measurement postulates of quantum theory follow logically from unitary evolution and the other basic postulates (Masanes-Galley-Muller). I argue that 1,2 and 4 are false, note that 3 is an interesting feature of idealised nonlinear models but unlikely to arise in realistic models, and describe and motivate some experiments to test quantum (non-)linearity and its implications.
会場：F902 セミナー室
世話人：鹿野　豊 (システム情報系情報工学域)
世話人連絡先：yshikano@cs.tsukuba.ac.jp (内線: 5770)

2025/10/8 14:00～15:00	安生健一（Executive R&D Advisor, OLM Digital） "拡がるCG研究～エンジニアリングからアニメまで"
2025/11/10 15:00～16:00	Igor Jex（Czech Technical University in Prague, Professor） "Nonlinear maps in quantum communication"
2025/10/17 10:00～11:00	坂田綾香（お茶の水女子大学基幹研究院自然科学系准教授／理化学研究所革新知能統合研究センタ情報統計動力学チームチームディレクター） "高次元スパース推定におけるプライバシー保護の統計力学"
2025/9/29 11:00～12:00	Teppei Yamamoto（Faculty of Political Science and Economics, Waseda University, Professor） "Causal Explanations in the Social Sciences"
2025/6/19 18:15～19:30	谷茉莉（京都大学大学院理学研究科物理学・宇宙物理学専攻助教） "身近な現象に潜む物理〜弾性ひも／シートが作るかたち〜"
2025/6/4 15:30～16:30	Sandro Wimberger（Dipartimento di Scienze Matematiche, Fisiche Informatiche, Università di Parma, Professor） "Quantum Walks with Spinor Bose-Einstein Condensate"
2025/2/5 13:45～14:45	岸田昌子（国立情報学研究所情報学プリンシプル研究系） "情報系研究者のための制御理論入門とリスクアウェア制御"
2025/1/9 11:00～12:00	上西慧理子（慶応義塾大学大学院理工学研究科（量子コンピューティングセンター兼務）） "サンプリングノイズを活用した変分量子アルゴリズムの鞍点脱出解析"
2024/11/26 11:00～12:00	Wenzel Jakob（スイス連邦工科大学ローザンヌ校） "Simulating Light: Research and Open Source"
2024/11/1 13:00〜17:00 2024/11/2 10:00〜13:00	平林敏行（量子科学技術研究開発機構） "マカク前頭側頭ネットワークにおけるトップダウン記憶制御のマルチスケール化学遺伝学解析" 織間大気（情報通信研究機構（NICT）） "統計的画像特徴に基づく材質知覚の研究" 平野有沙（筑波大学） "アリピプラゾールによる概日リズムの光同調促進効果" 佐藤慎哉（University of California, Irvine） "視細胞光応答における概日リズム調節" 千歳雄大（University of California, San Fransisco） "The eyes are windows into the dreaming brain"
2024/8/23 16:00～17:00	Takano Taira (The University of Tokyo) "Non-Hermitian Physics in Open and Closed Quantum Systems"
2024/5/27 16:00～17:00	早川龍（京都大学白眉センター） "ガイド付きローカルハミルトニアンの計算複雑性"
2023/11/28 11:00～12:00	Dr. Jin Hong (The University of Western Australia) "Quantum Inspired Machine Learning for IDS"
2023/11/13 11:00～12:00	Taira Giordani (Sapienza University of Rome) "Certification of coherence, dimension and contextuality in integrated optical quantum circuits"
2023/11/13 10:00～11:00	Mostafa Sabri (New York University, Abu Dhabi campus) "Flat bands of periodic graphs"
2023/11/9 16:00～17:00	Vikash Mittal (Tsing Hua University) "Deterministic generation of hybrid entangled states using quantum walks"
2022/12/8 13:00～14:00	Ariel Shamir (Reichman University) "Non-Photorealistic Vision and Graphics"
2022/9/27 13:00～14:00	Ermeson Andrade (Federal Rural University of Pernambuco) "Performability Analysis of Computer Systems"
2019/11/1 10:10～11:30	Darrel Whitley (Colorado State University) "Neural Darwinism: Optimal NeuronSelection as Pseudo-Boolean Optimization"
2019/10/17 10:00～11:30	Dambrine Julien (Poitiers University) "Interpolation and extrapolation for frontpropagation"
2019/10/17 10:00～11:30	Qi Zhang (Heriot-Watt University) "Seismic History Matching & Prediction"
2019/10/9 12:00～13:00	Dr. Udo Ernst (University of Bremen) "Flexible information processing in the visual system: How attention configures computation in neural circuits."
2019/8/6 16:00～18:00	Ernst Niebur "Perceptual Organization and Attention to Objects"
2019/7/8 14:00～15:00	David Ha (Google Brain) "Neuroevolution for Deep Reinforcement Learning Problems"
2018/7/24 13:45～15:45	Dr. Susanne Kunkel (Faculty of Science and Technology, Norwegian University of Life Sciences) "Simulations of Spiking Neuronal Networks using NEST"
2018/4/11 13:45～15:45	Dr. J. Michael Herrmann(Institute for Perception, Action and Behaviour,School of Informatics, University of Edinburgh and Edinburgh Centre for Robotics, Edinburgh, Scotland, United Kingdom) "Critical Brains for Autonomous Robots"
2017/4/28 10:00～12:00	藤原靖宏 "多次元データのための次元削減の高速化"
2016/9/29 16:30～18:30	Dr. Sidney Lehky (Researcher at Salk Institute) "Coding of Faces by Tensor Components"
2016/6/24 16:00～18:00	我妻伸彦（東京電機大学（助教）） "NMDA仲介のフィードバックに起因する視覚皮質の図領域表現変調－発火頻度と同期変調の神経回路構造－"
2016/5/18 15:00～16:00	Calton Pu (Georgia Institute of Technology (Professor and J.P. Imlay, Jr. Chair in Software)) "Big Data Research Opportunities in Disaster Management: The LITMUS Landslide Information Service as an Illustrative Example"
2015/6/30 16:00～17:30	安東遼一 (日本学術振興会海外特別研究員（オーストリア科学技術研究所）) "コンピューターグラフィックスのための流体シミュレーション" "長期海外研究生活を送って見える日本での国際競争の勝ち抜き方"
2015/2/10 14:00～16:00	John L. Hall (Senior Vice President and General Manager, Oracle University) "From the Classroom to the Boardroom"
2014/4/17 15:00～16:00	Changcheng Huang (Professor, Department of Systems and Computer Engineering at Carleton University, Ottawa, Canada) "Vulnerability Evaluation for Securely Offloading Mobile Apps to Cloud"
2014/3/4 15:00～16:15	Wen-Tsuen Chen (Distinguished Research Fellow, Academia Sinica, Taipei, Taiwan) "Intelligent Sensing for Better Life and Better Environment"
2014/2/12 15:15～16:00	Dr. Wan-Chun Alex Ma (Researcher at Weta Digital) "Automation: The Final Frontier for Visual Effects"
2014/1/23 16:00～	Dr. Sidney Lehky (Salk Institute, Computational Neuroscience Laboratory) "Dimensionality of object representations in monkey inferotemporal cortex"
2014/1/20 16:00～	谷口康祐 (北海道大学大学院文学研究科心理システム科学講座) "心理学的研究手法によるオブジェクト認知構造の検討 ―形態情報に関する検出とカテゴリー化の処理過程―"

以前のコロキウムはこちら

修士論文リスト

情報理工学位プログラム(旧コンピュータサイエンス専攻)は、平成13年度以降、多数の学位(修士)取得者を社会に送り出しています。

平成13年度｜平成14年度｜平成15年度｜平成16年度｜平成17年度｜平成18年度｜平成19年度｜平成20年度｜平成21年度｜平成22年度｜平成23年度｜平成24年度｜平成25年度｜平成26年度｜平成27年度｜平成28年度｜平成29年度｜平成30年度｜令和元年度｜令和2年度｜令和3年度

博士論文審査情報

システム情報工学研究群博士論文公聴会・学位審査関連情報