2 0 0 0 OA 神経線維腫症1型に合併した肋間動脈瘤破裂による血胸の1例
- 著者
- 渡邉 裕樹 岡阪 敏樹 平松 義規
- 出版者
- 特定非営利活動法人 日本呼吸器外科学会
- 雑誌
- 日本呼吸器外科学会雑誌 (ISSN:09190945)
- 巻号頁・発行日
- vol.33, no.2, pp.200-205, 2019-03-15 (Released:2019-03-15)
- 参考文献数
- 23
症例は45歳の男性.突然の左背部痛を主訴に救急搬送された.既往に神経線維腫症1型(NF1)があった.造影CTで左大量胸水を認め胸腔ドレナージを施行,血性胸水を認め特発性左血胸と診断した.CTで左第11肋間動脈の蛇行・拡張を認めたが出血部位を特定できる明らかな所見は認めず,出血源検索および血腫除去を目的に審査胸腔鏡手術を施行した.左第11肋横関節近傍の壁側胸膜下に少量の出血を伴う拍動性の膨隆を認め,シート状組織接着剤を貼付,さらにフィブリン糊を噴霧したところ止血が得られた.術後8日目に肋間動脈造影を施行,第11肋間動脈瘤を認めたため本例は同動脈瘤の破裂による血胸であったと診断,塞栓術を行った.NF1では肋間動脈瘤破裂による血胸例の報告も散見されるため診断に際しては念頭に置く必要がある.本例のごとく胸腔鏡下に圧迫等の止血術を行い,二期的に塞栓術を行うことも治療法の選択肢となり得ると考えられた.
平成20年度は,(1)計算機代数を応用した形式的検証手法および(2)高信頼なデータパスジェネレータに関する研究を平行して実施し,それぞれ以下の成果を得た.(1)大規模な算術演算回路に対する効率的な機能検証手法の実現を目指し,まず,重み数系と整数方程式を用いて算術演算回路を統一的に表現可能なデータ構造を提案した.このデータ構造に対する検証手法として,グレブナー基底や多項式簡約など計算機代数の手法に基づく手法を提案した.また,従来の形式的検証手法との比較し,算術演算回路の種類に応じて提案手法と従来手法を切り替えることで,検証時間を大幅に削減できることを明らかにした.(2)提案手法に基づく検証系を組み込んだモジュールジェネレータを開発した.本システムは,多入力加算や積和演算などの多様な算術アルゴリズムをライブラリとして有し,その組み合わせで900種類を越える演算器モジュールを自動生成することができる.また,計算機代数に基づく形式的検証を適用することにより,64ビットの演算器であれば数分以内に検証することができる.本システムを公開したWebページ(http://www.aoki.ecei.tohoku.ac.jp/arith/mg/)は,平成20年度末までに12万件以上利用されている.以上の研究により,計算機代数に基づく算術演算回路の形式的設計手法を提案し,その有効性を示すとともに,実用性の高い演算器モジュールジェネレータを実現した.