hpprc/llmjp-kaken huggingface dataset:
Warburg効果をターゲットとした新規胃癌薬物療法の基礎的研究

今後もワールブルグ効果をターゲットとしたYC-1+GI療法の臨床応用に向けた基礎実験を継続していく予定である。固形癌には低酸素領域が存在する。低酸素環境下癌細胞は浸潤・転移能亢進や抗がん剤耐性を示す。代表研究者はsiRNAによるHIF-1α発現ノックダウン(KD)が、低酸素下胃癌細胞株58As9のWarburg効果を抑制することで過剰活性酸素産生を介し、apoptosisを誘導することを証明した。また、グルコース(G)+インスリン(I)付加がHIF-1αKDによるapoptosis効果を増強させることをin vitroおよびin vivoにて立証し報告した(PLoS ONE 2015)。現在、HIF-1α阻害剤YC-1+GIが同様の効果を示すことを証明し、臨床応用に向けin vivo解析を行っている。当該年度において論文作成を達成できたこと。さらには研究目的に合致したHIF-1a阻害剤の選出に成功したこと。胃癌の分子生物学一連のin vitro研究により、HIF-1発現抑制+GIが、低酸素環境下において胃癌細胞58As9のWarburg効果を阻害し、かつ細胞内グルコース取り込みを上昇した結果、ミトコンドリア電子伝達系におけるROS産生を上昇させ、アポトーシスを誘導させる新機序を証明することができた。in vivoにおいてもHIF-1発現抑制+GIが、腫瘍内低酸素環境下にある58As9KD皮下腫瘍においてHIF-1発現誘導が抑制された状況下で、GI投与により腫瘍内ROS産生増加を惹起した結果アポトーシスが最大限に誘導されたことを証明した。HIF-1α阻害剤によるHIF-1α発現阻害効果とHIF-1α阻害剤+GI添加によるapoptosis解析
無機砒素曝露の次世代影響

砒素による地下水の汚染はアジアを含む世界各地に存在し,中毒危険人口は数千万人という大規模なものである.砒素の慢性曝露による影響については,これまで皮膚症状やがんなどを中心として,主に成人での影響が調べられてきている.発達期は多くの化学物質に対して高感受性を示すが,砒素が発達に及ぼす影響については検討が極めて少ない.そこで,本研究では母体の砒素曝露が胎仔・出生仔に及ぼす影響について,マウスを用いて2つのアプローチより検討した.1)砒素とセレンの母体-胎仔系における相互作用.両者を過剰量で投与すると,相互に毒性を減弱することが知られているが,現実においてより重要なセレン欠乏と砒素毒性との関連については知見がわずかである.C57BL妊娠マウスに砒素(亜ヒ酸)を妊娠7-16日目の間,経口投与し,妊娠17日目に解剖して組織のセレン濃度,セレン酵素活性を調べた.また,セレン欠乏状態とした場合にこれらの影響がどのように修飾されるかを検討した.その結果,砒素投与により肝のセレンが減少すること,セレン欠乏条件下では充足条件下に比較して母仔ともに肝・脳への砒素の蓄積が顕著に増加することを認めた.また,胎仔組織において,セレン充足条件下では砒素によって活性が増加したチオレドキシンレダクターゼ(セレン酵素の一つ)が,セレン欠乏条件では逆に低下した.このようなセレン栄養条件による影響の違いは母体には認められず,胎仔が栄養条件による修飾を受けやすいことが示された.2)母体砒素曝露が出生仔の行動機能に及ぼす影響:妊娠マウスを10あるいは100ppmの砒素を添加した水で飼育し,出生仔の運動機能の発達を評価したところ,一部の機能に発達の遅れを認めた.離乳期の影響は軽微であったが,生後8週齢においてもオープンフィールド行動の異常を認めた.以上より,在胎期における砒素曝露が行動機能に影響を及ぼすことが示された.砒素による地下水の汚染はアジアを含む世界各地に存在し,中毒危険人口は数千万人という大規模なものである.砒素の慢性曝露による影響については,これまで皮膚症状やがんなどを中心として,主に成人での影響が調べられてきている.発達期は多くの化学物質に対して高感受性を示すが,砒素が発達に及ぼす影響については検討が極めて少ない.そこで,本研究では母体の砒素曝露が胎仔・出生仔に及ぼす影響について,マウスを用いて2つのアプローチより検討した.1)砒素とセレンの母体-胎仔系における相互作用.両者を過剰量で投与すると,相互に毒性を減弱することが知られているが,現実においてより重要なセレン欠乏と砒素毒性との関連については知見がわずかである.C57BL妊娠マウスに砒素(亜ヒ酸)を妊娠7-16日目の間,経口投与し,妊娠17日目に解剖して組織のセレン濃度,セレン酵素活性を調べた.また,セレン欠乏状態とした場合にこれらの影響がどのように修飾されるかを検討した.その結果,砒素投与により肝のセレンが減少すること,セレン欠乏条件下では充足条件下に比較して母仔ともに肝・脳への砒素の蓄積が顕著に増加することを認めた.また,胎仔組織において,セレン充足条件下では砒素によって活性が増加したチオレドキシンレダクターゼ(セレン酵素の一つ)が,セレン欠乏条件では逆に低下した.このようなセレン栄養条件による影響の違いは母体には認められず,胎仔が栄養条件による修飾を受けやすいことが示された.2)母体砒素曝露が出生仔の行動機能に及ぼす影響:妊娠マウスを10あるいは100ppmの砒素を添加した水で飼育し,出生仔の運動機能の発達を評価したところ,一部の機能に発達の遅れを認めた.離乳期の影響は軽微であったが,生後8週齢においてもオープンフィールド行動の異常を認めた.以上より,在胎期における砒素曝露が行動機能に影響を及ぼすことが示された.周産期砒素曝露条件の確立を目標に,マウス妊娠初期から分娩直前までの間,連日砒素投与を行った.その結果,母体への毒性が明らかとなる投与量の1/10量において,胎仔組織には砒素が蓄積しており,母体では肝が脳に比して著しく高い砒素濃度を示すのに対し,胎仔では両者の濃度はほぼ等しく母体の脳程度であることを見いだした.このような長期曝露でのkineticsは,それ自体が新たな知見であると同時に,胎仔における砒素のhandlingが成獣のそれとは異なることを示している.母体への毒性量の1/3量では,胎仔・新生仔の毒性を古典的指標(体重増加抑制,外表奇形)で評価する限りは影響を認めなかった.これらの結果より,長期にわたる曝露条件のシミュレーションとなるような,胎仔脳には有意に砒素が蓄積され,かつgrossな毒性が生じない投与プロトコルが確立された.来年度以降は,より鋭敏かつ砒素の毒性機序を考慮した影響検索を行う予定である.免疫組織

化学については,酸化ストレスに反応するドパミン伝達系評価の条件設定を行った.行動観察については,オープンフィールド,感覚-運動協調機能(ロタロッド),モリス水迷路を用い,発達のプロフィールについて基礎的検討を行った.マルチトレーサーによる代謝評価については,砒素および関連微量元素の動態把握法の基礎条件を検討した.特に,妊娠期よりセレン欠乏とした動物では,胎仔脳への砒素の急性期の取り込みが有意に増加することを見いだした.現在,妊娠前よりセレン欠乏とし,砒素に慢性的に曝露した場合の胎仔脳への砒素取り込みを検討している.また,次年度以降は,組織中砒素の形態別分析を行い,機能的影響との関連を明らかにしていく.1.前年度に確立した周産期砒素曝露条件に基づき,マウスの妊娠716日に無機砒素の経口投与を行い(7.5あるいは15mg/kg),妊娠17日齢で解剖し,胎仔への砒素分布,砒素との相互作用が知られているセレン(Se),および含Se酵素の活性を測定した.その結果,肝臓では母体・胎仔ともにAs投与群ではSe濃度が量依存的に低値となった.脳では母仔ともにAs投与による変化を認めなかった.Se依存性のグルタチオンペルオキシダーゼ活性は母体肝のみで低値,胎仔肝,母体脳,胎仔脳では対照群と変わらなかった.チオレドキシンレダクターゼは,胎仔肝ではAs投与群が対照群より高く,胎仔脳でも高値の傾向にあった.2.行動影響として,マウス妊娠期に飲料水を通じてAs(10あるいは100ppm)に曝露し,胎仔・新生仔の成長に及ぼす影響および出生後の運動機能発達への影響を検討した.その結果,Asによる仔の身体的成長への影響は認められなかった.一方で,As曝露群では歩行運動の前駆的運動であるピボッテイングおよびcliff avoidanceという感覚-運動協調機能の発達が遅れることを見出した.また,仔が8週齢の時点におけるオープンフィールド行動でも対照群より活動量が減少する結果を得た.3.妊娠初期よりセレン欠乏としたラットの妊娠末期に微量のAsを投与し,その組織移行をマルチトレーサーを用いて検討した.その結果,対照群ではAsが胎仔にほとんど移行しない条件でも,セレン欠乏群では胎仔の肝臓へのAsの分布が認められ,両者の相互作用があることが確認された.以上のように,無機砒素が母体・胎仔にgrossな影響を与えないレベルで,行動機能あるいは微量元素代謝などでみると次世代への影響を及ぼすことが示された.次年度以降は,このような影響の意義と機序の解明を目指す.また,古くから指摘されていたAsとSeとの相互作用が栄養レベルのSeでも明確に観察され,Se欠乏条件では次世代影響が増悪する可能性が示唆された.1.前年度,妊娠期の無機砒素曝露が母仔のセレン代謝に影響することが明らかになり、セレン欠乏状態ではその影響が増強されることが予想された。そこで,妊娠初期よりセレン欠乏餌を摂取させたマウスに、前年度と同様,妊娠716日に無機砒素(7.5mg/kg/day)を経口投与,妊娠17日目に解剖し、母仔の肝、脳および胎盤において、砒素とセレン濃度、セレン酵素(セレン依存性グルタチオンペルオキシダーゼ(GPx)およびチオレドキシンレダクターゼ(TRxR))活性を測定した。その結果、セレン欠乏群において,組織中の砒素濃度は母仔ともに充足群に比べて高く、母体肝および胎仔脳ではその差が有意であった。砒素投与により,組織中セレン濃度,ならびにGPx, TRxR活性に影響があらわれるが,母体組織においては,いずれの変化もセレン欠乏による修飾を認めなかった.一方、胎仔ではセレン欠乏群においてのみ,砒素投与による脳GPxおよびTRxR活性の低下、肝TRxR活性の低下を認めた.胎盤では砒素投与によるTRxR活性への影響が,セレン充足群では促進、欠乏群では抑制と,セレン栄養の状態によって異なる結果を得た.以上より,セレン欠乏条件では1)ヒ素の蓄積が促進され,したがって毒性も増強される可能性が高いこと,2)ヒ素によるセレン代謝への影響が,胎仔においてのみ増強されること,の2点が初めて示された.
量子重力の繰り込み群による研究

重力結合定数のスケール依存性を少なくとも摂動論的にはよく定義された絃理論を用いて評価すること、また、重力の力学変数をg_<munu>の代わりにB^a_<munu>、omega^a_<mu>とした場合のニュートン定数Gによる摂動転開でない計算の可能性を追求することが本研究の目的であった。特に、後者の研究で中心的役割を果たすのはBF項という位相的な項であった。このBF項の研究を通して新しい事実を見出したので報告したい。それは、複素スカラー場を用いたLandau-Ginzburg(L-G)型の理論中に現れる量子化された渦を記述するのに上記のBF項(epsilon^<munurhosigma>B_<munu>F_<rhosigma>)が有効に働くということである。特にBF項を伴ったL・G作用から量子渦の有効作用を導くことができ、自然にBerryの位相が現れることがわかった。この理論は超流体を記述するものであり、量子渦のダイナミクスの解明に役立つものと思われる。さらに渦(vortex)は物性系、宇宙論、素粒子論を通じて現れるものであり、非常に普遍的なもので、重力においても、BF項との関りから重要なものであることがわかる。これからは、より絃理論的アプローチを用いながら、さらに非摂動的見地からvortexやInstantonの効果も視野に入れて研究を行いたい。なお上記報告は初田、Ao、Thouless氏らとの共同研究に基づくもので、現在投稿中である。
広い混合粒径材料からなる土石流の流動機構

広い混合粒径材料からなる土石流では、微細粒子と粗大粒子とは異なった挙動をする。すなわち、微細粒子は粗大粒子の間隙を埋める流体中に浮遊して、流体の見掛け密度を増加させているのに対し、粗大粒子はそれら同士の衝突による反発作用によって流れの中に維持されている。間隙流体の見掛け密度は粗大粒子に作用する浮力に関わっているから、流れの中の微細粒子の濃度の決定は、粗大粒子を多量に含む土石流の流動性を知る上に重要である。本研究では、まず、間隙流体中の水の乱れと浮遊砂濃度に関する議論によって、微細粒子成分と粗粒子成分とを区分する方法を示し、実験的検証を行なった。ついで、粗粒子が流動中に、水深方向に粒径の選別作用を受け、さらに流速分布の影響によって、大きい粒子ほど土石流先端部に集まる性質のあること、また、それによって先端部の流動深が大きい明瞭な段波状の流れが形成されることを示した。このことを水路に敷きならした混合粒径材料の上に水流を供給して発生させた土石流によって確かめるとともに、その数値シミュレ-ションモデルを構築して、このようにして発生する土石流の流量ハイドログラフのみならず、土石流中の固体分の濃度の時間変化、平均粒径の土石流先端部から後続流へかけての変化、土石流流下断面内の粒度分布の時間変化などの予測を可能にした。このような、先頭部に近いほど大きな粒子が集まっている土石流が平坦部へ流出して形成される土石流扇状地では、土石流の流下中の特性を反映して、扇状地周緑部で大粒子が、その内部の中央に近い部分には小粒子が堆積する。本研究では、土石流扇状地の土砂堆積範囲や堆積厚さの時間的変化のみすらず、空間的粒度分布をも予測できるような数値計算モデルを開発し、実験との比較検討も行なった。土石流を構成している固体分は、粒子同士の衝突効果によって支えられている粗粒成分と、粗粒子の間隙を埋める水の乱れによって浮遊している微細成分とから成っている。微細成分を高濃度に含んだ泥水は浮力を増加させるので、粗粒子成分を輸送する能力は微細成分を含んだ方が含まない場合よりも大きくなる。したがって、土石流の流速等の性質は総含砂濃度のみならず、微細成分と粗粒成分との構成割合に依存するものと考えられ、しかも、微細砂の浮遊能力は間隙流体の乱れの程度に依存するので、微細成分と粗粒成分の境界値となる粒径は、流路条件、流量条件、および、濃度条件によって変化するはずである。従来の土石流の流動機構に関する研究は、ほとんどが一様な粒径から成っているものを対象としており、粒度構成比の流下中の遷移については何もわかっていない、したがって、本研究では、まず、実験水路で微細砂から成る泥流によって粗粒子堆積層上に土石流を発生させ、その発達過程および、粗粒子成分と微粒子成分との構成比の変化を解析することによって、どのような粒径が微細土砂としての挙動をするかを求めた、次いで、粗粒子間の間隙流体の乱れの程度を評価し、浮遊砂理論を適用して、実験における微細成分の粒径と浮遊濃度が説明できることを示して、土石流中の微細成分と粗粒成分を分離する考え方を与えた。さらに、広い混合粒径材料から成る土石流では、流動中に深さ方向の粒径選別作用が生じ、その結果、土石流の先端に近い部分ほど粒径が粗くなって行く特徴があるが、このような粒径選別過程のシミュレ-ション法を考察し、実験によってその妥当性を検証した。

広い混合粒径材料からなる土石流では、流動中に深さ方向に粒径が選別され、粗い粒子が上方へ、細い粒子が下方へ輸送される。土石流の断面内流速は上方が速く、下方が遅いから、相対的に粗粒子が速く輸送されて前方に集まってくるようになる。同一流動深、同一勾配,同一濃度で比べるとき、土石流構成粒子径が大きいほど、流下速度は小さくなるので、前方に粗粒子が集中するにつれて流下速度が小さくなり、後続の流れが追いついて来る結果、先頭部の流動深が大きくなる。このようにして、土石流の先端部は強大な破壊力を持つ段波状の流れに発達するが本研究によって、混合粒径作料からなる堆積層上に表流水が供給されたときに発生する土石流の流量ハイドログラフのみならず、土石流中の固体分の濃度の時間変化、平均粒径の土石流光端部から後続流へかけての変化、土石流流下断面内の粒径分布の時間変化などがはじめて予測できるようになった。一方、先頭部に近いほど大きな粒子が集まっているような土石流が、平坦部へ流出した場合、土石流扇状地が形成されるが、土石流扇状地内の粒径の空間分布は、土石流流下時の特性を反映して、扇状地周縁部で大粒子が、その内部の中央に近い部分には小粒子が堆積する。また、中央付近の堆積物を鉛直方向に見ると、下方で粗く、上層で細かくなっている。本研究ではこのような土石流扇状地の土砂堆積範囲や堆積厚さの時間的変化のみならず、空間的粒度分布をも予測できるような数値計算モデルを開発し、実験との比較検討を行った。ほぼ満足すべき結果が得られたものと判断されるが、なお、堆積過程での粒径選別が進む場合のあることも確かめられ、もう少しモデルを精錬する必要性も残された。
枯草菌プロテアーゼ生産における情報伝達と制御因子のリン酸化に関する研究

枯草菌の菌体外プロテアーゼの生産制御は主としてDegS-DegU二成分制御系を経由するが、これ以外に正の制御因子としてDegRをはじめとするminorな因子がある。これらの因子はDegS/Uよりも前に働き、環境認識因子として重要な役割を果たしているものと思われる。本研究はdegRの発現制御を解析することによって、枯草菌のプロテアーゼ生産に至るシグナルの流れの解明を目指すものである。1.degR遺伝子の作用を促進する遺伝子proBのcharacterization i)degRと相互作用をするプロリン生合成系のproB遺伝子を得、染色体物理地図上1,373kb部位にマップした。ii)ProBが作用するためにはDegSが必要であった。iii)マルチコピーproBはdegR発現に対して阻害作用を示した。2.degR発現の制御機構i)degRの転写開始点をprimer extension法により決定した。この転写はProBの存在下で阻害された。ii)σ^D因子の構造遺伝子であるsigDを破壊すると、degRの発現は起こらなかった。iii)ProBによる阻害効果はDegSに依存していた。iv)ProBは他のσ^D依存性遺伝子であるhagの発現も阻害した。v) degRの-10配列をσ^D型からσ^A型に変換するとProBによる阻害が観察されなくなった。vi)ProBはsigDの発現には影響を及ぼさなかった。これらの結果を総合し、ProBはσ^Dの生成を阻害するのではなく、生成されたσ^D因子の機能を阻害し、その結果σ^D因子に依存するdegRの発現を阻害すると結論した。ProBはプロリン生合成過程の一酵素であり、degRの発現を制御するということは、細胞内の栄養状態がdegRの発現に影響を与えその結果プロテアーゼの生産に影響を与えるということが示唆され、枯草菌の菌体外プロテアーゼ生産の合目的性の一端を見ているように思われる。1.degRのプロテアーゼ生産促進作用をさらに促進する遺伝子としてproBが得られているが、その下流に位置する遺伝子は塩基配列決定の結果proAであることが大腸菌のproAとの相同性から判明した。proAをマルチコピーで枯草菌に導入すると欠失がおきてしまい、プロテアーゼ促進効果を判定することは不可能であったが、染色体上のproAを破壊するとプロテアーゼの生産量が落ちることからこのproAも何らかの形で生産に関与していることがうかがわれる。一次代謝に関与する遺伝子proB,Aが、プロテアーゼ生産という生育が停止した細胞に特異的に起こる現象に関与していることは興味ある発見である。マルチコピーのproBはdegRとプロテアーゼ生産において相乗作用をしめすが、マルチコピーのdegQとともに存在してもこのような作用は観察されなかった。このことはproBがdegRとともにプロテアーゼ遺伝子の発現にいたる過程で、同じルート上にある遺伝子群の発現を別々に促進している可能性、または共同して同一の過程に働いている可能性を示唆していると解釈される。proB遺伝子の中にNotI部位があり、これを指標に枯草菌のゲノム(4188 Kb)のNotI地図上にマッピングを行い、本遺伝子は1375Kb部位に存在する遺伝子であることが判明した。2.マルチコピーのproBをdegSあるいはdegU遺伝子欠損株に導入すると、プロテアーゼ生産の促進作用が失われた。この事実はProB→DegS→DegUという情報ルートを示唆している。3.マルチコピーproBのdegR

発現への影響をdegR'-'lacZ融合遺伝子を使って調べたところ、degRの発現は抑制される結果が得られた。degRは正の制御因子でありこの結果はProBとDegRの相乗作用と矛盾するが、これについては今後の課題である。1. proB遺伝子産物によるdegR遺伝子の発現制御.degRの発現機構について研究を行い次のことが明らかになった。i)degRの転写開始点をprimer extension法により決定したが、この転写はProBの存在下で阻害された。ii) σ^D因子構造遺伝子であるsigDを破壊すると、degRの発現は起こらなかった。iii)ProBによる阻害効果はdegSに依存していた。iv)ProBは他のσ^D依存性遺伝子であるhagの発現も阻害した。v) degRの-10配列をσ^D型からσ^A型に変換するとProBによる阻害が観察されなくなった。vi)ProBはsigDの発現には影響を及ぼさなかった。これらの結果を総合し、ProBはσ^Dの生成を阻害するのではなく、生成されたσ^D因子の機能を阻害し、その結果σ^D因子に依存するdegRの発現を阻害すると結論した。ProBはプロリン生合成過程の一酵素であるので、degRの発現を制御するということは細胞内の栄養状態がdegRの発現に影響を与え、その結果プロテアーゼの生産に影響を与えるということが示唆され、枯草菌の菌体外プロテアーゼ生産の合目的性の一端を見ているように思われる。(J. Bacteriol. 178 216-222 (1996)に発表)2. ProBによるDegS、DegUのリン酸化の検討.本課題は、当該のタンパク質を精製するにとどまった。3.正の制御因子DegUの作用機構.DegUの末端部位にはリン酸化を受ける領域が存在するが、この部分を多コピーで枯草菌に導入するとプロテアーゼ生産の阻害が観察される。リン酸化の程度に変異をもつ種々のDegUのN末端部位を導入すると、リン酸化を受けない変異DegUとリン酸が安定に存在できる変異DegUのN末端ではプロテアーゼの生産に阻害効果はほとんど観察されなかった。この結果は、N末部分はそれが由来するresponse regulatorとリン酸に対して競合することにより阻害がおきるとされている従来の知見とは異なる新しい発見である。
欧米におけるコンピュータを利用した学術版文学テクスト編集の現状

欧米各地の最先端の編集・出版の現状を把握するという当初の目的については、今回の研究で、ほぼ満足な成果が得られたと思う。特に、平成12年度に2回、13年度に1回の計3回の海外主張において、各地の研究者と直接議論を交わし、重要な意見交換をおこなえたことは非常に有意義であった。こうした、情報収集によって明らかになったことは、簡単にいえば次のようなものである。すなわち、学術的テクスト編集におけるコンピュータの活用は、世界的にもまだ端緒についたばかりで、欧米の研究者たちも暗中模索状態であり、しかもその模索が大勢においては、私の期待していたのとは違う方向に向かっているということである。私が期待していたのは、ここ数十年急速に発展してきた編集文献学の成果が、コンピュータというメディアでどう応用されていくのか、であったが、しかし、想像していた以上に、現実に文学テクストの電子化を進めている研究者たちは、従来の文献学についてごく偏った理解しかおこなっていないようであった。具体的な説明は省くが、結局私はこうした状況から、次のような結論を出さざるをなかった。つまり、これから先の私の研究は、欧米の現状に学ぶという受身のものからさらに進み、いわば一種の先駆者の立場に立つことを目指して、コンピュータを活用した文献学的実践についての問題を、もっと主体的に探っていくものにしなければならないというということである。なお、こうした情報収集をおこなうかたわら、それらの情報のこれからの分析・活用の土台となるべき理論的な思考はたえず続けており、平成13年度はそれを2本の論文にまとめることができた。特に後半に執筆したものは、今後のテクスト編集のあるべき方向性を明確に示す意義あるものであったと自負している。さらに平成14年度には、ここ数年来の研究の成果にそれらの新しい成果を織り込んだ著書を一冊出版することもできた。研究計画調書に記したとおり、平成12年度の研究で一番の眼目としたのは、欧米各地の最先端の編集・出版の現状の把握であった。これについては、特に2度の海外出張によって、ほぼ予定の成果が挙げられたといえるだろう。とりわけ、夏に参加したカナダでの国際会議においては、電子テクスト作成の際のガイドラインとして世界的に主流になりつつあるTEIをめぐって、各地の研究者たちと直接議論を交わし、その最新の応用状況について非常に重要な意見交換をおこなうことができた。こうした情報収集によって明らかになったのは、現実に文学テクストの電子化を進めている研究者たちと、紙の本しかなかった時代に学術版文学テクスト作成について議論してきた文献学者とのあいだの、テクスト概念の理解の乖離である。現在のところ、前者は、あくまでもひとつの作品イコールひとつのテクストという図式の上で、それをいかにディスプレイ上に再現し高度に検索可能なものにするか、を模索しているようだが、しかし、後者の議論では、上の図式は成り立たないことが了解されており、一つの作品について存在する複数のテクストをどう扱うか、というのが、主要な課題となっているのである。とはいえ、両者の立場は一見大きく異なっているようにみえるものの、後者の目指す複数のテクスト作成には、まさにハイパーテクストなどコンピュータならではの技術が大きな可能性を開いているのであり、今後おそらく両者の歩み寄りが急速に進んでいくと思われる。実際、すでにそうした方向での研究もいくつか見受けられており、来年度は、これらの萌芽的な研究に着目しながら、さらに正確な現状把握に努めなければと考えている。なお、今年度はこのような情報収集以外に、並行して、特に上でいう後者の立場にたった理論的な思考も進め、2本の論文にまとめることができた。前半に仕上げたものは、従来のテーマであるカフカ・テクストの編集をめぐる考察に、新しい視点を若干付け加えたにとどまったが、後半に執筆したものは、作品=ひとつのテクストという図式の終焉の問題に正面から取り組んでおり、今後の研究への理論的基礎を固める重要な一歩が踏み出せたと自負している。

特に後半に執筆したものは、今後のテクスト編集のあるべき方向性を明確に示す意義あるものであったと自負している。さらに平成14年度には、ここ数年来の研究の成果にそれらの新しい成果を織り込んだ著書を一冊出版することもできた。
マイクロ引き下げ法による新規フォトニック結晶の設計とその融液成長

本研究は、光技術革新において期待されているフォトニック結晶を開発対象とし、ナノテクノロジーにより新規に発見された物性をそのまま有するフォトニック結晶のバルク体の開発を達成するため、コンピューターシミュレーションを用いた材料設計法の確立と、それに基づいたマイクロ引下げ法による高速融液成長法の確立およびフォトニックバンドギャップの評価法の確立を目指している。流体計算によるアプローチでは微小重力状態下で現れるマランゴニ対流を通常の単結晶の引上げ法およびマイクロ引下げ法での融液の流体計算コード(finite volume method)に取り入れて、より高精度のシミュレーション手法を確立した。今年度は大口径高品質単結晶用の新しい対流制御法であるAdjustable Rotating Ring Czochralski method(ARRCZ)を提案し、この制御方法による種結晶の成長速度、固液界面の平滑性、対流の安定性について検討し、最適な単結晶作製条件を探索した。結晶育成によるアプローチでは、実験に用いた共晶体はマイクロ引き下げ法により作製した。Al2O3・Y2O3と言った原料を共晶組成となるモル比に秤量・混合し、焼成した後イリジウム坩堝中で融解し、種結晶を用いて成長させた。本年度はAl2O3/Y3Al5O12、Al2O3/Y3Al5O12/ZrO2やMgAl2O4/MgOなど様々な材料系について材料探索を行った。その結果、材料系の違いや不純物の添加・引き下げ速度など、共晶体の微細組織に影響を与える様々な要因を明らかにした。特にMgAl2O4/MgOではMgAl2O4相中にMgO相の規則的なパターンが観測され、酸処理によりMgO部分のみのエッチングにも成功した。本研究は、光技術革新において期待されているフォトニック結晶を開発対象とし、ナノテクノロジーにより新規に発見された物性をそのまま有するフォトニック結晶のバルク体の開発を達成するため、コンピューターシミュレーションを用いた材料設計法の確立とそれに基づいたマイクロ引下げ法による高速融液成長法の確立およびフォトニックバンドギャップの評価法の確立を目指している。結晶育成によるアプローチでは新規フォトニック結晶の探索は誘導加熱方式のマイクロ引き下げ(μ-PD)法により行った。これは、坩堝に原料を入れて誘導加熱方式で坩堝を加熱し原料を融解し、坩堝下方先端部の細孔から融液を引き出す方法である。坩堝材、およびアフターヒーターにはIrを用い、Irの酸化を防ぐため結晶作製はAr雰囲気下で行った。ロッド状の微細構造を持つ共晶体として、先ずはMgA1204/MgOの試作を行った。通常の共晶体は微細構造の界面で光の散乱が起こり光は透過しないが、本研究で作製したMgA1204/MgO共晶体は半透明であり特に成長方向に対して透明である。このことから、MgA1_2O_4/MgO共晶体の微細組織はロッド状によく制御されていることが分る。流体計算によるアプローチでは無重力状態下で現れるマランゴニ対流を通常の単結晶の引き上げ法での融液の流体計算コードに取り入れて、より高精度のシミュレーション手法を確立できた。この研究過程で単結晶作製時にはマランゴニ対流は自然対流を加速する方向に働き、液体中の熱輸送に大きな影響を及ぼしていることが明らかになった。現在、最適な単結晶作製条件を求めるために単結晶育成への適用を進めている。

結晶育成によるアプローチでは新規フォトニック結晶の探索は誘導加熱方式のマイクロ引き下げ(m-PD)法により行った。これは、坩堝に原料を入れて誘導加熱方式で坩堝を加熱し原料を融解し、坩堝下方先端部の細孔から融液を引き出す方法である。坩堝材、およびアフターヒーターにはIrを用い、Irの酸化を防ぐため結晶作製はAr雰囲気下で行った。ロッド状の微細構造を持つ共晶体として、先ずはMgAl204/MgOの試作を行った。通常の共晶体は微細構造の界面で光の散乱が起こり光は透過しないが、本研究で作製したMgAl204/MgO共晶体は半透明であり特に成長方向に対して透明である。このことから、MgAl204/MgO共晶体の微細組織はロッド状によく制御されていることが分る。流体計算によるアプローチでは微小重力状態下で現れるマランゴニ対流を通常の単結晶の引上げ法およびマイクロ引下げ法での融液の流体計算コード(finite volume method)に取り入れて、より高精度のシミュレーション手法を確立した。種結晶の回転速度、炉の形状など様々な作製条件における種結晶の成長速度、固液界面の平滑性、対流の安定性について検討し、最適な単結晶作製条件の深索を進めている。本研究は、光技術革新において期待されているフォトニック結晶を開発対象とし、ナノテクノロジーにより新規に発見された物性をそのまま有するフォトニック結晶のバルク体の開発を達成するため、コンピューターシミュレーションを用いた材料設計法の確立と、それに基づいたマイクロ引下げ法による高速融液成長法の確立およびフォトニックバンドギャップの評価法の確立を目指している。今年度は大口径高品質単結晶用の新しい対流制御法であるAdjustable Rotating Ring Czochralski method(ARRCZ)を提案し、この制御方法による種結晶の成長速度、固液界面の平滑性、対流の安定性について検討し、最適な単結晶作製条件を探索した。結晶育成によるアプローチでは、実験に用いた共晶体はマイクロ引き下げ法により作製した。Al_2O_3・Y_2O_3と言った原料を共晶組成となるモル比に秤量・混合し、焼成した後イリジウム坩堝中で融解し、種結晶を用いて成長させた。本年度はAl_2O_3/Y_3Al_5O_12、Al_2O_3/Y_3Al_5O_12/ZrO_2やMgAl_2O_4/MgOなど様々な材料系について材料探索を行った。その結果、材料系の違いや不純物の添加・引き下げ速度など、共晶体の微細組織に影響を与える様々な要因を明らかにした。特にMgAl_2O_4/MgOではMgAl_2O_4相中にMgO相の規則的なパターンが観測され、酸処理によりMgO部分のみのエッチングにも成功した。
スピノザの物体論に関する研究

交付申請書の「研究の目的・研究計画」に対応した研究実績の概要は以下の通りである。1.ホッブスの物体論とスピノザの物体論との比較,及びコナトゥスの意義の抽出については,ホッブスの物体論の精査と文献・先行研究の資料収集に努め,一方スピノザ哲学の成立史に関係する文献・先行研究を網羅的に収集した。コナトゥスに関してホッブスがもっぱら位置の移動としての運動の意義を見いだすのに対して,スピノザはものの本質として包括的・有機的に運動を説明する方向性が見いだせる。2.デカルトの物体的世界とスピノザの物体的世界の構成に関する比較,及びコナトゥスの位置付けについては,その結果,デカルトの物体論は物体の本質を不完全性のもとに位置づける伝統的な把握であるが,スピノザの物体論は延長に無限性・実体性を認める特徴的なものであることが明らかになった。4.スピノザの物体論の核心は,無限性を中心とする特徴的な神理解にあり,その根幹は実体性であることが明らかになった。Iホッブスの物体論(De Corpore)とスピノザの物体論との比較,及びコナトゥスの意義の抽出については,ホッブスの物体論の精査と文献・先行研究の資料収集に努め,一方スピノザ哲学の成立史に関係する文献・先行研究を網羅的に収集した。その結果,ホッブスのスピノザへの影響を完全には明らかにしきれていないが,コナトゥスに関してホッブスがもっぱら位置の移動としての運動の意義を見いだすのに対して,スピノザはものの本質として包括的・有機的に運動を説明する方向性が見いだせる。IIデカルトの物体的世界とスピノザの物体的世界の構成に関する比較,及びコナトゥスの位置付けについては,デカルトの物体論(Prinpicia Philosophiae, Meditatio)の精査により,デカルトの物体的世界の構成を抽出し,スピノザのそれと比較考察した。その結果,デカルトの物体論は機械的因果性によって完結した体系をなし,その点でスピノザの物体論と軌を一にするものであるが,心身関係を視野に入れてコナトゥスの位置付けを見るならば,スピノザのコナトゥスは心身を一体的に捉えることを可能とする特徴的なものであることが明らかになった。IIIスアレスにおける実体的形相(forma substantialis)のスピノザの物体論との連関の検証については,Suarez Opera Omniaの物体論・運動論の該当個所の翻訳を行い,コンピュータにスキャナによって取り込み整理し,CD-ROM化を図った。Iホッブスの物体論とスピノザの物体論との比較,及びコナトゥスの意義の抽出については,ホッブスの物体論の精査と文献・先行研究の資料収集に努め,一方スピノザ哲学の成立史に関係する文献・先行研究を網羅的に収集した。その結果,ホッブスのスピノザへの影響を完全には明らかにしきれていないが,ホッブスの自然主義的把握は「力」・「権力」に関して全体的な影響をスピノザに与えている,あるいは関連があると考えられる。それとともに,スピノザの有機的に運動を説明する独自の自然主義的把握の解明に課題が指摘できる。IIデカルトの物体的世界とスピノザの物体的世界の構成に関する比較,及びコナトゥスの位置付けについては,デカルトの物体論の精査により,デカルトの物体的世界の本質を抽出し,スピノザのそれと比較考察した。その結果,デカルトの物体論は物体の本質を不完全性のもとに位置づける伝統的な把握であるが,スピノザの物体論は延長に実体性・完全性を認める特徴的なものであることが明らかになった。IIIスアレスにおける実体的形相のスピノザの物体論との連関の検証については,Suarez Opera Omniaの物体論・運動論に関係して「完全性」・「無限性」の該当箇所の翻訳を行い,スアレスの形而上学的枠組みの解明に取り組んだ。
自然免疫による抗腫瘍メカニズムの解析:紫外線誘導性皮膚癌モデルマウスを用いた研究

紫外線誘導性皮膚癌モデルマウスを用いて、最近注目されているトール様受容体(TLR)を介した自然免疫賦活化による抗腫瘍メカニズムの解析を行った。(1)トール様受容体アゴニストの抗腫瘍作用メカニズム解析表皮角化細胞においてsignal transducerand activator of transcription3(Stat3)が恒常的に活性化されている遺伝子改変マウス(K5.Stat3Cマウス)耳介に紫外線(UVB)を2kJ/m^2週3回13週間反復照射して表皮内癌を誘導し、右耳介にTLRアゴニストであるイミキモド(IMQ)を6週間外用した。無処置の対照左耳介では表皮内癌は有棘細胞癌に進展したが、IMQ外用側では表皮細胞の腫瘍性増殖は抑制され、経時的に真皮の炎症細胞浸潤は高度となった。CD3陽性T細胞、pDCの真皮内浸潤が有意差を持って多く認められ、これら細胞を介した抗腫瘍作用が示唆された。また、IMQ外用側では有意差を持って表皮角化細胞のTUNEL陽性細胞数は増加、Ki-67陽性細胞数は減少しており、腫瘍細胞に対する直接的なアポトーシス誘導もIMQの抗腫瘍作用のひとつと思われる。同様にUVBを16週間反復照射して有棘細胞癌を誘導した後、右耳介にIMQを4週間外用した。無処置の対照左耳介では肉眼的に腫瘍は増大したが、IMQ外用側では増大は著明に抑制され、Tumor thicknessに有意差が得られ、真皮内にT細胞やpDCを中心とする強い細胞浸潤がみられた。RT-PCR法にて、IFNγ、IL-17A、IL-12/23p35のmRNAレベルでの遺伝子発現が増加していた。(2)トール様受容体アゴニストの治療および予防効果解析MQの治療効果は、(1)より明らかである。K5.Stat3CマウスにUVB反復照射とIMQ外用を14週間平行して行ったが、IMQの予防効果は示せなかった。
高強度中性子を用いた岩石中の応力ひずみ分布測定技術の開発

茨城県東海村に建設されたJ-PARCの高強度パルス中性子ビームを用いて、中性子回折法による応力ひずみ測定を岩石材料へ展開するために、岩石材料中の残留ひずみ測定と一軸圧縮試験を行いながらのその場中性子回折実験を行った。その結果、岩石材料からでも、ひずみ解析可能な中性子回折パターンを取得することに成功し、中性子回折法を用いた岩石中の応力ひずみ解析を行えるようになった。大強度陽子加速器施設J-PARCに建設された工学材料回折装置「匠」は中性子回折を用いた応力ひずみ解析を目的とした装置である。従来の中性子によるひずみ測定の対象は主として金属材料であったが、本研究では、岩石試料への展開を目指し、岩石中の残留ひずみ測定と一軸圧縮下にある岩石のその場ひずみ測定を行った。まず、関東三波川帯より採取した結晶片岩中の石英脈中の残留ひずみを測定した。匠での中性子回折実験を行うための治具を作製し、種々の測定条件(測定時間、波長分解能など)を検討して測定を行った。その結果、微小なゲージボリューム(2×2×2mm)でも試験片内部からのひずみ解析可能な回折パターンが得られた。中性子回折ピーク位置から残留ひずみ量を算出し、試験片の方向に関してひずみ量の異方性が見られる結果となった。また、一軸圧縮その場測定では種々の岩石コア試料に80MPaまでの圧縮応力を負荷し、ひずみゲージと中性子回折法からそれぞれひずみ量を求めた。ひずみゲージから求まる試験片全体のひずみと中性子回折パターンから求まるひずみ量に差が見られた。この差は岩石の空隙率に起因していると考えられる。これらのことから、中性子回折を用いた岩石中のひずみ解析が可能になったと言え、従来の手法では測定が困難な岩石試料内部のひずみの測定が非破壊で可能になったと言える。岩石のひずみ測定に中性子回折を用いることにより、ひずみゲージを用いては測定できない岩石中の応力ひずみ状態を測定することが可能になれば、岩石が形成された時の地下応力状態の解明や、地下環境空間の工学的利用に役立つ情報の取得、岩石の破壊メカニズムの解明などが期待される。これまでに、中性子回折を用いた応力ひずみ測定を岩石材料へ展開するために、茨城県東海村に建設されたJ-PARCの高強度中性子を用いて岩石中のひずみ測定を行っている。中性子回折手法を用いて、岩石材料からひずみ解析可能な中性子回折パターンが取得できるようになり、岩石中の残留ひずみのマッピング測定を行った。その結果、微小な試料ボリュームで岩石試料内部からでもひずみ解析可能な中性子回折パターンを取得することに成功しひずみの異方性が見られた。このことから、これまで金属材料を主な対象としていた中性子回折法を用いたひずみ測定を岩石材料に展開し、中性子の高い透過能を生かして岩石試料内部からのひずみ情報を得ることができるようになっている。今年度は、一軸圧縮試験を行いながらその場中性子回折ひずみ測定が行えるように、岩石圧縮装置の設計・開発を行った。圧縮装置は、中性子入射ビーム、回折ビームが照射されないような構造に設計した。種々の岩石コア試料を用い、一軸圧縮試験を行いながらのその場中性子ひずみ測定を行った。ひずみ量は、ひずみゲージからも求めている。中性子回折およびひずみゲージ、両者から求まるひずみ量には差違が見られ、岩種によっても異なるひずみ発生挙動を示した。これは、岩石材料に含まれる空隙の変形量が大きいのと、粒子の流動などのために、中性子回折から求まる結晶中に蓄積するひずみ量に比べて岩石全体のバルクのひずみ量が大きくなるためと考えられる。これまでの研究により、中性子回折法を用いた岩石材料中のひずみ測定がJ-PARCで可能になった。岩石中の残留ひずみからは、地下の応力状態を見積もるのに有益な情報が得られると期待され、岩石の圧縮試験からは、岩石の力学挙動やき裂発生・進展および破壊発生挙動の解明に繋がる情報が得られると期待される。
八代海沿岸地域における古墳時代在地墓制の発達過程に関する基礎的研究

九州島西部に位置する八代海沿岸地域は前方後円墳分布域の南西端にあたる。すなわち、古墳時代という国家形成期における周辺地域であるが、埴輪や甲冑などの中央政権に直結する要素が当地域にどのように受容されたのかを具体的に示すことができた。さらに、未報告資料や検討が不十分なかつての報告資料を徹底的に整理・検討し、報告することができたことは、文化財を広く公開し活用するという面でもきわめて重要な成果である。1、熊本県上天草市千崎古墳群発掘調査および桐ノ木尾ばね古墳現状実測調査の実施八代海沿岸地域の古墳時代墓制を具体的に知るためのフィールドとして天草を選び、千崎古墳群5号墳および10号墳の発掘調査を実施した。これにより、5号墳の主体部である横穴式石室、10号墳の主体部である箱式石棺の構造が明らかになった。また、出土遣物により、それまで時期が不明であった天草の箱式石棺が古墳時代前期後半から中期前半に築造された可能性が高くなった。千崎古墳群に関する調査は平成19年度にも継続する予定である。一方、桐ノ木尾ばね古墳では、その残存する主体部の現状実測調査を実施し、竪穴式石室と石棺系石室が並存していることを明らかにした。2、熊本県上天草市カミノハナ古墳群出土遺物の再整理作業の開始カミノハナ古墳群は天草で唯一埴輪をもち、また横矧板鋲留短甲を出土している古墳群としてきわめて重要であるが、その約20年前の出土資料の再整理作業を開始した。これも次年度に継続する。3、天草の古墳時代墓制の実地調査および研究協力者との研究会の実施今年度、当研究には熊本の古墳時代墓制や遺物に詳しい5名の方(高木恭二・古城史雄・西嶋剛広・竹中克繁・藤本貴仁)に研究協力者としての参加をお願いしたが、それらの方とともに天草の古墳を実地に見学し、八代海沿岸地域の墓制に関して意見交換を行うための研究会を実施した。4、八代海沿岸地域の古墳時代墓制に関する基礎資料の収集と整理熊本県地域に分布する箱式石棺や横穴式石室などに関する基礎資料の収集作業を行った。また、肥後型横穴式石室についての研究史を概括的にまとめた。後者については『上天草市史大矢野町編1』にその成果の一部を記述したが、それは近く刊行される予定である。1.熊本県上天草市千崎古墳群の発掘調査の実施昨年度に引き続き、千崎古墳群所在の5号墳および10号墳の発掘調査を実施した。これにより、5号墳では横穴式石室の構築過程が、一方、10号墳では箱式石棺の棺外副葬状況が明らかとなった。とくに、10号墳箱式石棺の棺外テラス面に、石棺材加工によって生じたと推測できる砂岩片が多数埋納されていた点は、古墳時代の葬送儀礼を考察するうえで重要である。2.熊本県上天草市カミノハナ古墳群出土遺物の再整理作業の実施カミノハナ古墳群は1981・1982年に発掘調査が実施され、多くの鉄製品や埴輪が検出された。それらは八代海沿岸地域の古墳時代在地墓制を考察するうえで重要な資料となるが、既刊の概報では十分に分析されているとは言い難い。そこで、その再整理作業を本研究の中心に据え昨年度から作業を継続中である。本年度はX線写真の撮影を実施し、それをもどに実測作業および資料観察を行った。3.八代海沿岸地域の古墳時代在地墓制の実地調査および研究協力者との研究会の実施本年度は9名の熊本の古墳時代研究者仁研究協力者としての参加をお願いしたが、それらの方々とともに八代海南部(水俣・長島)沿岸地域の古墳を実地に見学した。その過程で、新たな製塩土器の存在を確認するなどの成果を得た。また、研究報告書作成に向けて、各人の見解を整理するための研究会を実施した。4.八代海沿岸地域の古墳時代墓制に関する基礎資料の収集日本考古学協会2007年度熊本大会の開催と連動させる形で、肥後型横穴式石室に関連する資料を収集・整理した。1.熊本県上天草市千崎古墳群の発掘調査の実施昨年度に引き続き、千崎古墳群所在の5号墳および25号墳の発掘調査を実施した。これにより、5号墳では横穴式石室の前庭部構造および閉塞方法が解明された。また25号墳では、それが長さ64cm、幅27cmのきわめて小さな箱式石棺であることが明らかとなった。以上をもって、千崎古墳群における予定の発掘調査をすべて終了した。なお、この成果は『考古学研究室報告』第44集で公開した。2.熊本県上天草市カミノハナ古墳群出土遺物の再整理作業の実施昨年度に引き続き、カミノハナ古墳群の1981・1982年度調査による出土遺物の再整理作業を実施した。

これにより、出土した円筒埴輪や形象埴輪、短甲、鉄鏃、装身具などの詳細が明らかにされるとともに、天草諸島北部地域における古墳時代中期の古墳動向の一端が示された。3.熊本県宇城市松橋前田遺跡A地点出土埴輪の整理作業の実施カミノハナ古墳群出土埴輪との対比資料として、宇城市所在の松橋前田遺跡A地点から出土した円筒埴輪を整理し、その内容を明らかにした。これは1965年の検出以来、未報告になっていた資料であるが、きわめて良好に遺存するもので、窖窯焼成技術導入後の熊本県地域における埴輪生産の様相を解明するうえで大変重要な遺物である。4.総括報告書の作成以上のうち、とくに2・3の研究成果を総括し、さらに、8人の研究協力者による個別研究成果を収録した研究成果報告書『八代海沿岸地域における古墳時代在地墓制の発達過程に関する基礎的研究』を編集、発行した。これは、八代海沿岸地域の古墳時代墓制のみならず、前方後円墳築造周縁域における古墳動向を日本列島規模で比較研究するためのきわめて重要な基礎データとなりうると自負している。この成果を基礎として、さらに古墳時代墓制にかんする研究を発展させていく所存である。
解析情報に基づくソフトウェアシステムのモデル表示に関する研究

本研究では,ソフトウェアシステムの持つ静的および動的な側面を考慮した,ソフトウェアシステムのモデル表示に関するさまざまな課題について取り組み,以下のような成果を得た.静的解析と動的解析を組み合わせて制御フローとデータフローを構築し,それを用いることにより,動的解析よりも低いコストで同等のスライス結果を計算できるDCスライスに関する研究を行った.また,DCスライスの結果を計算し表示するシステムを構築し,ソースコードが存在しないソフトウェアシステムを解析することが可能となった.エイリアスを解析する複数のアルゴリズムをユーザが容易に選択して,ソフトウェアシステムのエイリアスモデルを計算,表示する解析ツールJAATの実装を行った.これにより,エイリアスモデルを効率良くかつ高い精度で計算することも可能となった.既存の手続き型言語に対する情報セキュリティ解析アルゴリズムを実装し,ソフトウェアシステムの情報セキュリティモデルを表示するためのツールを作成した.また,アルゴリズムをオブジェクト指向言語に対して適用できるよう再定義した.ある変更を加えた際に,既存のソフトウェアシステムに対してどのような影響があり,またその影響がどの程度波及するかを解析し,その結果を効率良く表示するためのシステムを実装した.本研究では,ソフトウェアシステムの持つ静的および動的な側面を考慮した,ソフトウェアシステムのモデル表示に関するさまざまな課題について取り組み,以下のような成果を得た.静的解析と動的解析を組み合わせて制御フローとデータフローを構築し,それを用いることにより,動的解析よりも低いコストで同等のスライス結果を計算できるDCスライスに関する研究を行った.また,DCスライスの結果を計算し表示するシステムを構築し,ソースコードが存在しないソフトウェアシステムを解析することが可能となった.エイリアスを解析する複数のアルゴリズムをユーザが容易に選択して,ソフトウェアシステムのエイリアスモデルを計算,表示する解析ツールJAATの実装を行った.これにより,エイリアスモデルを効率良くかつ高い精度で計算することも可能となった.既存の手続き型言語に対する情報セキュリティ解析アルゴリズムを実装し,ソフトウェアシステムの情報セキュリティモデルを表示するためのツールを作成した.また,アルゴリズムをオブジェクト指向言語に対して適用できるよう再定義した.ある変更を加えた際に,既存のソフトウェアシステムに対してどのような影響があり,またその影響がどの程度波及するかを解析し,その結果を効率良く表示するためのシステムを実装した.本年は、プログラムの静的および動的な解析手法に関するさまざまな課題に対して取り組み、以下のような成果を得た。実行時に決定される要素を多数含む、オブジェクト指向プログラミング言語の解析においては、静的解析によって判明することが少ないため、動的解析が必要である。しかし、動的解析はソースプログラムの持つ多くの情報を取り扱う必要があるため、データ爆発が起きないよう注意する必要がある。そこで本年度は、必要な情報を収集するプログラムを解析対象のプログラムに追加することによって、効果的に動的なデータ依存解析を行う手法の提案を行った。不適切な情報漏曳を防ぐために、プログラムの持つ機密情報が漏曳していないかどうかを、プログラムを解析することによって確認することは重要である。しかし、従来は手続き型言語に対する解析アルゴリズムしか知られていなかった。そこで、本年度は、実際にアルゴリズムを用いて解析を行うシステムの作成を行った。また、近年はオブジェクト指向言語が広く用いられているため、アルゴリズムを拡張して、オブジェクト指向言語に対する解析アルゴリズムとして再定義した。解析手法の結果として、変数の参照渡しやポインタを介した間接参照等で生じる、識別子が異なるにも関わらず同じメモリ領域を指す可能性のある変数および式の集合(エイリアス)がある。エイリアスは比較的容易に理解できる概念であるにも関わらず、エイリアス解析結果は繁雑になることが多く、解析結果の表示は困難となっていた。そこで本年度は、解析結果そのものの再利用性、モジュール性に着目して、エイリアス解析手法とその表示ツールの試作を行った。本研究では、オブジェクト指向言語、特にJavaに関する解析とその結果の表示に関する研究を行った。まず、Javaプログラムの中の各参照変数が同じオブジェクトを指す可能性があるかを調べるエイリアス解析の研究を行った。ユーザが要求するエイリアス情報を効率良くかつ高い精度で検出する方法の提案を行った。この方法では、複数の解析アルゴリズムを容易に使い分けることができ、また、拡張もできる。実際に本手法を用いてJavaエイリアス解析ツールJAATを実現し、その有効性を評価した。次に、Javaバーチャルマシンに基づく、軽量動的スライス計算手法DC法の提案を行い、バイトコードに対してDCスライスを適用した。その際、Javaコンパイラが生成するバイトコードとソースコードの対応表を利用することで、スライス結果をソースコードに表すことができるようになる。実際にこの方式を適用し、Javaプログラムのスライスツールを作成し、評価を行った。最後に、Javaプログラムの変更に伴う影響波及解析を行う手法の提案とそのシステムの試作を行った。オブジェクト指向プログラムでは、従来の手続き型プログラムに比べ、直接の変更箇所以外に影響を及ぼすような変更が良く行われる。その際、安全に変更作業を行うために、影響を受けたところを効率良く表示するシステムは有効である。本手法では、クラスのメンバ間の関係を表現するために、2種類のグラフを用いて、効率良く変更箇所が抽出できるように工夫し、それをGUI上に表現した。