Atsushi Igarashi 研究室
主宰者:Atsushi Igarashi
京都大学
AI 要約(直近 5 年の研究成果)
本研究室は、医学と計算機科学の両分野にわたる研究を展開しています。
医学領域では、泌尿器科疾患の診断と治療に関する臨床研究に取り組んでいます。特に、腎臓がんや膀胱がん、前立腺がんなどの悪性腫瘍を対象とし、ロボット支援手術などの低侵襲手術技術の開発と最適化、および薬物療法における有害事象と治療効果の関連性を調査しています。臨床データを大規模に収集・分析し、患者背景や投与量などの因子が治療成績に与える影響を明らかにすることで、より安全で効果的な治療法の確立を目指しています。また、腎移植後の合併症管理など、介入放射線科学の手法も活用した多角的なアプローチを行っています。
計算機科学領域では、プログラムの安全性と信頼性を保証するための形式的検証技術の研究を行っています。スマートコントラクトのセキュリティ検証、プログラミング言語の型システム設計、代数的効果とハンドラーの理論など、多様なテーマに取り組んでいます。これらの研究を通じて、複雑なシステムにおいて意図しない動作や脆弱性が生じることを事前に防ぐための理論と実装技術の開発を進めています。
※ AI(Claude)が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。
外部リンク
関連研究室(8 件)
- 工学Kenji Kawashima 研究室東京大学論文 108 件·共通: 理論計算機科学, ネットワーク・セキュリティ, ロボティクス, ロボット +7
- 計算機科学Kaoru Ota 研究室東北大学論文 100 件·共通: セキュリティ, 理論計算機科学, ネットワーク・セキュリティ, システム +4
- 医学Kazutaka Obama 研究室Kyoto University Hospital論文 123 件·共通: ロボティクス, ロボット, がん基礎, 腫瘍 +7
- 工学Weiwei Wan 研究室大阪大学論文 104 件·共通: 理論計算機科学, ロボティクス, ロボット, 最適化 +5
- 工学Kensuke Harada 研究室大阪大学論文 104 件·共通: 理論計算機科学, ロボティクス, ロボット, システム +4
- 工学Fumihito Arai 研究室東京大学論文 190 件·共通: ロボティクス, ロボット, 腫瘍, システム +6
- 計算機科学Jun Ota 研究室東京大学論文 153 件·共通: ロボティクス, ロボット, 最適化, システム +5
- 医学Kiyoshi Hasegawa 研究室University of Tokyo Hospital論文 106 件·共通: ロボティクス, ロボット, がん基礎, 腫瘍 +6
研究成果(24 件)
- [2025] Risk Stratification for the Prognosis of Patients With pT3aN0M0 Clear Cell Renal Cell CarcinomaDOI: https://doi.org/10.1016/j.clgc.2025.102400
- DOI: https://doi.org/10.1093/jjco/hyaf082
- DOI: https://doi.org/10.1111/ases.70086
- DOI: https://doi.org/10.1002/iju5.70130
- DOI: https://doi.org/10.1016/j.scico.2025.103379
- DOI: https://doi.org/10.1145/3674641
- DOI: https://doi.org/10.1145/3656441
- [2024] iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with UnknownsDOI: https://doi.org/10.1109/icbc59979.2024.10634430
- DOI: https://doi.org/10.1111/ases.13317
- DOI: https://doi.org/10.1016/j.scico.2024.103129
続きを表示(残り 14 件)閉じる
- DOI: https://doi.org/10.4204/eptcs.401.1
- DOI: https://doi.org/10.1111/iju.15411
- DOI: https://doi.org/10.1017/s0956796824000054
- DOI: https://doi.org/10.1109/isncc62547.2024.10758938
- DOI: https://doi.org/10.1016/j.esmorw.2024.100094
- DOI: https://doi.org/10.1111/iju.15579
- DOI: https://doi.org/10.1016/j.annonc.2024.08.1893
- DOI: https://doi.org/10.14989/actauroljap_70_9_271
- DOI: https://doi.org/10.1145/3563768.3570524
- DOI: https://doi.org/10.14989/actauroljap_68_11_337
- DOI: https://doi.org/10.1007/s00354-022-00167-1
- DOI: https://doi.org/10.5381/jot.2022.21.2.e1
- DOI: https://doi.org/10.1111/gtc.12902
- DOI: https://doi.org/10.1016/j.bbrc.2021.03.081
科研費(0 件)
まだデータがありません(KAKEN 取り込み後に表示)。
所属学会・役職(0 件)
まだデータがありません(学会データ連携後に表示)。