hpprc/llmjp-kaken huggingface dataset:
組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発

H30年度は、以下の手法,理論およびそのツールを開発した.1.以下の手法と理論を開発した:組込みソフトウェアのハードウェアとの相互作用およびタイミング制約を検証するために,アセンブリプログラムの変数値,スタックやアドレスばかりでなく,命令の実行時間を含めて,時間Kripke構造(=組込みソフトウェアの形式的意味モデル)を開発した.さらに,アセンブリプログラムを時間Kripke構造へ変換する手法を開発した.また,リアルタイム安全性などの検証性質をリアルタイム時相論理で記述した.また,述語抽象化ベースのSMT抽象化手法,SMT抽象モデル検査手法,SMTベースの抽象化精錬手法を開発した.2.以下のツールを開発した:述語抽象化手法をベースに,SMT述語抽象化器とSMT抽象モデル検査器を開発した.H30年度は、上記の手法,理論およびそのツールを開発した.その成果を以下に発表した.さらに,実用レベルの事例により,計算機実験を行い,提案手法の有効性を実証する.また,その成果を国際会議及びジャーナルに投稿する.H30年度は、以下の手法,理論およびそのツールを開発した.1.以下の手法と理論を開発した:組込みソフトウェアのハードウェアとの相互作用およびタイミング制約を検証するために,アセンブリプログラムの変数値,スタックやアドレスばかりでなく,命令の実行時間を含めて,時間Kripke構造(=組込みソフトウェアの形式的意味モデル)を開発した.さらに,アセンブリプログラムを時間Kripke構造へ変換する手法を開発した.また,リアルタイム安全性などの検証性質をリアルタイム時相論理で記述した.また,述語抽象化ベースのSMT抽象化手法,SMT抽象モデル検査手法,SMTベースの抽象化精錬手法を開発した.2.以下のツールを開発した:述語抽象化手法をベースに,SMT述語抽象化器とSMT抽象モデル検査器を開発した.H30年度は、上記の手法,理論およびそのツールを開発した.その成果を以下に発表した.さらに,実用レベルの事例により,計算機実験を行い,提案手法の有効性を実証する.また,その成果を国際会議及びジャーナルに投稿する.研究分担者の消耗品が少額で済んだので、次年度に回します。
距離空間における微分方程式の適切性理論の構築－ベクトル空間の枠を超える挑戦－

1. AGS理論の深化を目指してー距離空間における勾配流に対する適切性の考察ーについて:距離空間における勾配流の適切性の問題を,増大条件を組み入れた変分不等式の可解性の問題へと翻訳し考察した。また,距離空間における勾配流に対する積公式を導出し,それを汎関数の摂動に付随する勾配流への接近法へ応用した(Studia Math. (印刷中))。さらに,研究分担者の赤木は,単調成長を拘束条件に持つ勾配流の例として非斉次項付き拡散方程式に対応する問題の可解性や解の正則性・比較原理・長時間挙動を研究した他,分数冪ラプラシアンの境界値問題に対する解の正則性理論や一般化された勾配流に対する変分原理について研究を行った。2.時間に依存する単調作用素,劣微分作用素により支配される発展方程式の枠組みの拡張について:多方面からの考察として,カラテオドリー条件を満たす準線形作用素に支配される発展方程式の初期値問題に関する適切性定理を確立し,原稿を執筆中である。また,発展方程式の枠組みの拡張として,遅れを考慮した非自励な方程式があり,これに関する従来の様々な研究を統一的に扱う理論の構築を目指し,スティルチェス積分により記述される積分方程式の最大解を利用した解の増大度条件を提案すると同時に,連続な有界変動関数を利用した連続率による方程式を支配する作用素の時間に関する連続性条件の下で,可解性を模索中である。さらに,解の初期値に関する連続的依存性の観点では,単調作用素理論が関数の差をノルムで評価するのに対して,距離を利用するものがリプシッツ作用素半群理論である。Kirchhoff方程式の混合問題への近似可解性を視野に,微分作用素の性質からイメージしにくい連続性条件を満たす生成素のクラスを導入し,それにより生成されるリプシッツ作用素半群に対する積公式の導出を目指している。本研究課題の目的は, [1]時間に依存する単調作用素,劣微分作用素により支配される発展方程式の枠組みの拡張, [2]加藤の準線形理論の拡張ー距離空間における微分方程式の適切性理論の構築に向けてー, [3] AGS理論の深化を目指してー距離空間における勾配流に対する適切性の考察ーの3つである。平成28年度に[2]に関する成果を,平成30年度に[3]に関する結果をすでに得ている。関連する成果も原稿に整理しつつある。今年度が最終年度であるが,課題[1]に向けて,多方面からの考察を加えているので,成果を上げることができると期待している。「時間に依存する単調作用素,劣微分作用素により支配される発展方程式の枠組みの拡張」について,多方面からの考察として得られた成果「カラテオドリー条件を満たす準線形作用素に支配される発展方程式の初期値問題に関する適切性定理の確立」を起爆剤として,計画で提案した枠組みをもとに,「非自励な方程式系の初期値問題の適切性」へ挑戦し,望ましい成果を得たい。1.時間に依存する単調作用素,劣微分作用素により支配される発展方程式の枠組みの拡張について:発展方程式の枠組みの拡張として,遅れを考慮した方程式を考察する方向がある。この方向性において,サイズ構造モデルへ適用可能な半線形関数微分方程式に関する研究を行った。積分方程式を利用した近似解の構成を提示し, initial history spaceでの消散条件の発見を通して近似解の差の評価を確立した。さらに,潜伏期間を考慮したサイズ構造モデルへ応用した。(Differential Integral Equations (掲載決定))2.加藤の準線形理論の拡張ー距離空間における微分方程式の適切性理論の構築に向けてーについて:距離空間(X, d)における微分方程式に対する適切性を, transitionを安定にするようなdと同値な距離族による消散条件,及び,劣接線条件により特徴づけた。本研究は,先行研究と異なり,コンパクト性条件を利用しないことに特色がある。与えられた準線形方程式に対する適切性の考察は,重要な研究テーマの1つである。関数空間における準線形方程式への組織的な取り扱いとして,加藤により展開されたバナッハ空間における準線形理論がある。応用として,この加藤の時間局所的適切性定理を導出した。(Israel J. Math. (掲載決定))3.AGS理論の深化を目指してー距離空間における勾配流に対する適切性の考察ーについて:汎関数の摂動ーBoltzmann entropy, Renyi entropyなどとpotential energyの汎関数の2つの和で表現される汎関数ーに付随する勾配流への接近法として, Trotter-Kato型の積公式が知られている。これをChernoff型の積公式へ拡張し,京都大学数理解析研究所の集会で成果発表を行った。本年度の研究実施計画では,時間に依存する単調作用素,劣微分作用素により支配される発展方程式の枠組みの拡張を挙げていた。発展方程式の枠組みの拡張として,遅れを考慮した方程式を考察する方向がある。さらに,予定計画より早めに,平成29年度の研究実施計画に記載した「加藤の準線形理論の拡張ー距離空間における微分方程式の適切性理論の構築に向けてー」に着手し,研究成果論文の掲載決定を受けている。1.時間に依存する単調作用素,劣微分作用素により支配される発展方程式の枠組みの拡張について:微分作用素のイメージと結びつきにくい,時間に依存する劣微分作用素がもつ連続性条件を導出し,双曲系をも組織的に取り扱うことができるような発展方程式の枠組みを提案し,現在,この枠組みにおいて適切性定理を模索中である。

多方面からの考察として,カラテオドリー条件を満たす準線形作用素に支配される発展方程式の初期値問題に関する適切性定理の考察を並行して進めている。2.加藤の準線形理論の拡張ー距離空間における微分方程式の適切性理論の構築に向けてーについて:(1)定義域が稠密でなく一定でもない準線形作用素に支配される発展方程式の初期値問題に対する適切性に焦点を当て,加藤の準線形理論を,可積分関数におけるサイズ構造モデルへ応用可能となるように改良した(Nonlinear Anal.)。射影を用いた交換子の条件のもとで,理論展開した点が特色である。(2)Aubinにより始められた変異方程式に対する適切性定理の特徴づけ(Israel J. Math. (掲載決定))の微分方程式への応用を探り,この内容を含め,近年の作用素半群の研究動向を日本数学会企画特別講演で紹介した。3.AGS理論の深化を目指してー距離空間における勾配流に対する適切性の考察ーについて:比較関数の最大解を用いた増大条件を導入して,距離空間における勾配流に対する適切性定理を考察し,その内容を整理した。また,研究分担者は,二重非線形発展方程式に対する変分的定式化の試みとして,WED汎関数を用いた変分原理を導入した。特に, Serra-Tilli (2012, Ann. of Math.)により開発されたWED汎関数に対する変分的手法を組み込むことで,発展方程式の時間大域解を直接的に得るスキームを開発した。「時間に依存する単調作用素,劣微分作用素により支配される発展方程式の枠組みの拡張」として,サイズ構造モデルへ適用可能な半線形関数微分方程式に関する成果を得ている。また,微分方程式のイメージと結びつきにくい連続性の条件に着目しながら,新たな発展方程式の枠組みを提案した。さらに,「加藤の準線形理論の拡張ー距離空間における微分方程式の適切性理論の構築に向けてー」に関して,特異方程式に対する初期値問題に焦点を当て,その適切性定理を確立した。予定より早めに,距離空間における勾配流に対するChernoff型積公式を確立し,その拡張として,適切性定理の考察を行っている。1. AGS理論の深化を目指してー距離空間における勾配流に対する適切性の考察ーについて:距離空間における勾配流の適切性の問題を,増大条件を組み入れた変分不等式の可解性の問題へと翻訳し考察した。また,距離空間における勾配流に対する積公式を導出し,それを汎関数の摂動に付随する勾配流への接近法へ応用した(Studia Math. (印刷中))。さらに,研究分担者の赤木は,単調成長を拘束条件に持つ勾配流の例として非斉次項付き拡散方程式に対応する問題の可解性や解の正則性・比較原理・長時間挙動を研究した他,分数冪ラプラシアンの境界値問題に対する解の正則性理論や一般化された勾配流に対する変分原理について研究を行った。
誘導加熱およびレーザー光線によるハイパーサーミアシステムの開発

悪性腫瘍の治療法としてハイパーサーミア(温熱療法)は、その効果の大きいこと、副作用のないこと等により近年特に注目されている方法である。我々は、腫瘍内に金属を留置して外部より高周波磁界を付与し、腫瘍を必要なときに何回でもくり返し加熱する方法を開発した。一方、この方法は留置した金属と磁界の方向との相対関係により加温範囲が異なってくるという問題点がある。そこで、ニューセラミックチップを持つ光ファイバーを腫瘍内に刺入し、レーザー光線の腫瘍内照射法を併用することにより加温範囲の均一化を計った。さて、この加温における最適温度は42.5°C以上とされており、厳密な温度管理を行なうことも重要なポイントとなる。しかし、従来の熱電対やサーミスタのような直流電圧変化を指標とする温度計測法は、このような電磁環境下で測定誤差を発生することは原理的に不可避である。今回わたしたちは、測定系に電気的回路を全く含まない光ファイバーを用いた螢光式温度計を採用して温度計測を行ない、得られたデータをマイクロコンピューターを用いてただちに解析するシステムを開発した。このシステムを用いて、動物実験による正常組織・実験腫瘍組織さらに摘出した人腫瘍組織における組織内熱伝導様式の詳細な解析を行なってきた結果、至適温度分布を実現する加温パターンを明らかにすることができた。これらの成果にもとづき、本法をいくつかの臨床例に応用した。その結果として、鉄針刺入部を中心に肉眼的に腫瘍の縮小が認められた。摘出標本では、腫瘍細胞の壊死・変性が著明に認められ、本法の有用性が確認された。壊死部と健常部の境界は、顕微鏡的レベルでも鮮明に識別でき、Criticalな温度勾配の変化の存在が動物実験と同様に示唆された。
昆虫の擬態紋様形成の分子基盤

1.遺伝子ライブラリーの構築と解析:カイコの4齢脱皮期皮膚のライブラリーでは、1300ほどが新規遺伝子で、200近いクチクラタンパク質遺伝子がいくつかの染色体サイトにクラスターとして存在することが明らかとなった。鱗翅目昆虫が、環境に適応した皮膚構造を実現させるために遺伝子を高度に重複させたことを窺わせる。一方、シロオビアゲハとアゲハの幼虫皮膚と翅のcDNAを構築し、アゲハ幼虫皮膚(20000)、シロオビアゲハ幼虫皮膚(5000)、シロオビアゲハ翅(28000)の配列解析を行った。数多くの擬態紋様関連遺伝子を同定するとともに、黄色、青色など特定の色素紋様にリンクした遺伝子を発見した。2.擬態紋様に関する遺伝子の同定と発現パターン:ナミアゲハの3齢脱皮に特異的な遺伝子として、約10種類の特殊なクチクラ遺伝子が同定された。これは鳥のフンに擬態する際の疣状突起に対応したクチクラタンパク質で、通常のクチクラ遺伝子が鱗翅目昆虫の進化の過程で適応的に遺伝子重複によって生じた可能性がある。培養皮膚を用いたホルモン応答実験により、これらの遺伝子は幼若ホルモンJHの影響下で4齢脱皮期に発現抑制を受けるように運命づけられることが判明した。一方、アゲハの近縁種間でなぜ多様な紋様が生み出されたかを理解するために、ナミアゲハ、シロオビアゲハ、キアゲハの3種類の4齢脱皮期の幼虫で、メラニン合成に関与するTH,DDC、赤色紋様のebony、黄色紋様のYRG,青色紋様のINSなどを調べ、個々の遺伝子が各アゲハ種の紋様に一致して発現することが示された。さらに、ナミアゲハとシロオビアゲハ間で異種間交雑種を産ませ、YRGの発現解析を行った結果、YRG上流のシスエレメントの違いでなく、YRGの発現を制御するトランス因子の発現パターンの変化が種間での紋様変化をもたらしている可能性が示唆された。1.シロオビアゲハの幼虫皮膚及び翅cDNAデータベースの構築と解析:シロオビアゲハに関しては幼虫皮膚と翅のcDNAを構築し、それぞれ約6000の解析を行った。擬態紋様に関しては数多くの関連遺伝子を同定するとともに、黄色、青色など特定の紋様にリンクした遺伝子を発見した。例えば、青色色素結合遺伝子INS(インセクトシアニン)は5種類あり、あるものは幼虫の擬態紋様、あるものは蛹の保護色(緑と茶)に対応している実態などが明らかとなった。2.ナミアゲハの幼虫皮膚のサブトラクションライブラリーの解析:ナミアゲハの3齢脱皮に特異的な遺伝子としては、約10種類の特殊なクチクラ遺伝子が同定された。これは鳥のフンに擬態する際の疣状の突起に対応したもので、鱗翅目の染色体進化の過程で遺伝子重複によつて出現した可能性が考えられる。さらに培養皮膚を用いたホルモン応答実験により、これらの遺伝子は幼若ホルモンの影響下で4齢脱皮期に発現抑制を受けるように運命づけられることが判明した。この結果は、主としてJHが鳥の糞から柑橘系の葉へと擬態紋様をきりかえており、その制御下にクチクラタンパク質のような実行遺伝子が含まれていることをはじめて示した。3.擬態紋様に関与する遺伝子の発現パターン解析:アゲハの近縁種間でなぜ多様な紋様が生み出されたかを理解するために、ナミアゲハ(シロオビアゲハ、キアゲハの3種類の4齢脱皮期の幼虫で、メラニン合成に関与するTH, DDC、赤色紋様のebony、黄色紋様のYRG青色紋様のINSなどについて発現パターンの比較解析を行つた。その結果、それぞれの遺伝子が各種の紋様に一致して発現することが示された。

さらに、ナミアゲハとシロオビアゲハ間で異種間交雑種を産ませ、YRGの発現解析を行った結果、YRG上流のシスエレメントの違いでなく、YRGの発現を制御するトランス因子の発現パターンの変化が種間での紋様変化をもたらしている可能性が示唆された。
卵巣のゴナドトロピン放出ホルモン-アネキシン5系による黄体退行メカニズムの解明

ラットの性周期黄体は、発情休止期2日目(D2)の午後に退行を開始する。これまでに我々は、この時期の黄体で、性腺刺激ホルモン放出ホルモン(GnRH)と、GnRH刺激で発現が増加する蛋白質であるアネキシン5(AX5)の発現が上昇し、黄体のアポトーシスに関与することを明らかにした。本年度は、GnRHの発現がD2に時期特異的に増加する機序を明らかにするために、視床下部でGnRHの分泌を促進することが知られているメタスチンに着目してその関与を検討した。ラット性周期各時期の黄体を採取し、Real-time PCR法で、各種遺伝子の転写活性を測定したところ、黄体のメタスチン転写活性は、発情前期の夜とD2の午前から午後にかけて有意に増加した。同じサンプルのGnRHとAX5のmRNAは、メタスチン転写活性の上昇に遅れて、D2の午後から有意に増加した。D2におけるこれらの遺伝子の転写活性の増加は、発情期からのプロラクチン(PRL)投与によって著しく抑制された。さらに、PRL投与で黄体を機能化したラットの卵巣嚢内にメタスチンを局所投与すると、GnRH、AX5 mRNAの有意な増加がみられ、TUNEL法によるアポトーシス陽性細胞が検出された。黄体のメタスチン転写活性は、エストラジオールの添加によって、用量依存的に増加した。以上より、ラットの黄体でメタスチンが発現しており、D2で発現が増加することで、黄体のGnRH、AX5の発現を促し、黄体細胞のアポトーシス開始に密接に関与することが示唆された。これらの遺伝子発現は、PRLによって抑制されることが明らかになった。また、エストロジエンが濃度依存的にメタスチンの転写活性を増加させたことから、D2にみられる卵胞発育によるエストロジェンの上昇が、メタスチンの発現を促進し、D2の時期特異的なGnRH発現の引き金になっている可能性が考えられた。卵巣の周期的変動は障害が生じやすく、獣医畜産領域における重大な疾患のひとつである。本研究は、卵巣局所に発現するゴナドトロピン放出ホルモン(GnRH)と、これにより発現促進されるたんぱく質のアネキシン5(AX5)に着目して、性周期黄体の退行メカニズムを解明することを目的とする。本年度は、1)黄体に発現するGnRH、AX5の性周期中の発現動態と、2)卵巣局所におけるGnRH-AX5系の阻害による黄体退行の変化について追究した。1)10-13週齢のWistar-Imamichi系雌ラットを実験に供した。発情周期を通して黄体から総RNAを抽出し、リアルタイムPCR法でAX5、GnRH、の転写活性を測定した。その結果、黄体の退行が運命づけられる、発情休止期2日目の1700時に黄体のGnRHおよびAX5 mRNAの増加が観察された。この増加は、プロラクチン投与により黄体を機能化した場合はみられなかった。2)1)と同様のラットの、発情期午前中の卵巣嚢内に、GnRHアンタゴニストを徐放するオスモティックポンプ(0.3μg/μl/h)を留置し、その後10日間、膣スメアを観察した。その結果、GnRHアンタゴニストが徐放されている57日間にわたって、発情休止期にみられる膣スメア像が観察された。しかし、処置後4日目の血中プロジェステロン濃度を測定したところ、対照群と同程度の低い値であったことから、機能的黄体が形成されているわけではないことが確認された。以上の結果より、性周期黄体は、時期特異的に機能する卵巣局所のGnRHシグナルによって、周期的な退行が運命付けられる可能性が示された。さらに、黄体が機能化するためには、このGnRH作用の抑制が必要条件であることも示唆された。来年度は、GnRH-AX5系の細胞内メカニズムの解明を、黄体の組織培養などの実験系をもちいて直接的に解明する。

以上より、ラットの黄体でメタスチンが発現しており、D2で発現が増加することで、黄体のGnRH、AX5の発現を促し、黄体細胞のアポトーシス開始に密接に関与することが示唆された。これらの遺伝子発現は、PRLによって抑制されることが明らかになった。また、エストロジエンが濃度依存的にメタスチンの転写活性を増加させたことから、D2にみられる卵胞発育によるエストロジェンの上昇が、メタスチンの発現を促進し、D2の時期特異的なGnRH発現の引き金になっている可能性が考えられた。
安定な三重項カルベンの合成

二価の炭素ビラジカル状態とみなすことができる三重項カルベンは有機磁性材料への応用が期待されているものの、非常に不安定な反応中間体であり、未だ安定化は非常に難しい状況である。そこで、申請者らは三重項カルベンの新規発生法の開発と合成を検討している。具体的にはアクリデン骨格を有するアレン化合物の二電子酸化反応による三重項カルベンの合成を計画した。今年度は、温和は酸化条件を期待してアリールオキシ基を立体保護基として有する系の二電子酸化を検討した。アレン化合物の酸化反応後の溶液のESR及びESTN測定を行い、まだダブレット不純物との混合物ではあるものの、室温でも長時間安定な三重項種の観測に成功した。現在、生成物の単結晶X線構造解析を目指し、再結晶を行っている。また、上記三重項カルベン研究を行っていた時に、容易な酸化が期待できる電子豊富なアレン化合物を設計し、合成を検討した。目的のアレン化合物の合成には至らなかったものの、鍵中間体である新規ピンサー型一重項カルベン配位子を合成することができた。そこで、遷移金属錯体合成を行い、中心金属の電子状態に合わせて配位子の配位様式が単座又は三座に変化することが明らかとなった。このことに関して、二報の論文を投稿することができた。(抄録なし)二価の炭素ビラジカル状態とみなすことができる三重項カルベンは有機磁性材料への応用が期待されているものの、非常に不安定な反応中間体であり、未だ安定化は非常に難しい状況である。まず、立体保護基の無いアレンの二電子酸化の結果、カルベンを経由して生成したと考えられる二量体の生成を確認した。さらに捕捉剤との反応により、三重項カルベンが捕捉され生成したと考えられる生成物を得た。三重項カルベンの単離には至らなかったものの、その発生を支持する結果が得られたので、今年度にはこのことに関して、論文を投稿することができた。次に京都大学時任教授のグループとの共同研究により、立体保護基として塩素原子を導入したアレン化合物の酸化還元電位を測定したところ、可逆的な二電子酸化波(E_<1/2>=0.90 and 1.2V vs. SCE)が観測され、発生した三重項種が電気化学的には安定なことが示唆された。また、三重項カルベンの合成を目的としてメトキシ基を立体保護基として有するアレン化合物の酸化反応を行った結果、予想に反して、非局在型一項ビラジカル種が生成することを見いだした。大阪大学中野教授、産総研鎌田先生との共同研究による理論計算、二光子吸収測定を行い、同じ骨格を用いて、ジラジカル性の有無で二光子吸収が異なることを初めて直接的に示す事ができた。立体保護基として塩素原子を導入したアレン化合物の二電子酸化反応を行ったが、酸化が困難なことが原因で二電子酸化を達成することが出来なかった。今年度には、発生方法をアレン化合物の臭素化と光分解に変更し、新潟大学の古川先生との共同研究により三重項種の発生をESR測定で確認できた。しかし、光分解の変換効率が悪いので、単離には至っていない。また、以前三重項カルベンの合成を目的としてメトキシ基を立体保護基として有するアレン化合物の酸化反応を行った結果、予想に反して、非局在型一項ビラジカル種が生成することを見出していた。大阪大学中野教授、産総研鎌田先生との共同研究による理論計算、二光子吸収測定を行い、同じ骨格を用いて、ジラジカル性の有無で二光子吸収が異なることを初めて直接的に示す事ができ、最近、JACS誌に論文を報告することが出来た。現在、酸化が容易で分解も抑制できる理想的な系として、フェノキシ基に着目し、前駆体である荒れん化合物の合成を行っている。現在、アレン化合物合成に必要な鍵中間体であるアクリドンの合成まで達成しており、三重項カルベンの単離まであと一歩のところまで来ている。

目的のアレン化合物の合成には至らなかったものの、鍵中間体である新規ピンサー型一重項カルベン配位子を合成することができた。そこで、遷移金属錯体合成を行い、中心金属の電子状態に合わせて配位子の配位様式が単座又は三座に変化することが明らかとなった。このことに関して、二報の論文を投稿することができた。電気化学的手法を用いて、新規発生法により三重項カルベンを発生させる事ができた。しかし、結晶化には成功しておらず、三重項カルベンの構造解析という最終目標は達成できていないためこのような評価となった。新たな発生方法として臭素化したアレン化合物の光分解に取り組み、三重項カルベンを発生させる事ができたものの変換効率が悪く合成方法としては適さなかった。三重項カルベンの構造解析という最終目標は達成できていないためこのような評価となった。現在、私は塩素原子を立体保護基として有したまま、容易な二電子酸化を起こすことができるような系を目指し、合成を行っている。新規前駆体合成は非常に困難であったが、後数段階のところまできており、新たな系での三重項カルベンの合成が期待できる状況にある。現在、私はフェノキシ基を立体保護基として有し、容易な二電子酸化を起こすことができるような系を目指し、合成を行っている。(抄録なし)
配位エンジニアリングによる光機能と電子物性の創出

複数のアニオンがカチオンに結合している複合アニオン化合物では、多くの場合カチオンの周りの環境が非対称になります。この結果、単アニオン化合物では実現できないような光に対する応答や磁性・伝導性が実現できる可能性があります。本研究では、ピラミッド型配位のような遷移金属サイトに反転対称性がない複合アニオン化合物を対象として、系統的な物質合成と光特性などの物性測定をおこない、新しい光機能を持った材料の実現を目指します。また、カチオンの軌道状態にも着目し、低次元磁性や異方的伝導、金属絶縁体転移などを開拓します。
単称知覚指示のメカニズム

本研究では、「視知覚において個別的対象はどのように表象されるのか」という問題に答えた。成果は次の三点に要約できる。(1)枠組みとして使用されるべき知覚理論はバージ的単称志向説である。(2)知覚における対象の表象は、従来の因果・情報論的表象理論を統計学の道具立てによって修正した、アッシャー/エリアスミス流の「相互情報量理論」で説明される。(3)知覚経験の現象的性格は知覚指示に寄与しない。平成22年度は「知覚状態(知覚経験)が持つ表象内容とは何か」という課題に取り組んだ。研究実施計画では選言主義の批判も視野に入れていたが、選言主義に関しては既に説得力のある批判が提出されていたため、志向説の詳細な検討に焦点を合わせた。志向説とは知覚経験を命題的態度の一種と見なす立場であり、知覚経験の説明として現在最も有力な理論の一つである。志向説は「知覚経験の単称性」と呼ばれる特徴(真正な知覚では知覚経験は知覚の個別的対象によって(部分的に)個別化されているという特徴)をいかに説明するかに応じて、「単称志向説」と「一般志向説」に二分される。本研究では、最初に近年一般志向説を擁護しているアダム・ポーツの議論を退け、その上で単称志向説を三種類に分類し、その中から「バージ的単称志向説」を擁護した。これはタイラー・バージが提出した多重内容説を基にした立場であり、個別的対象を表象する要素はフレーゲ的意義と同一視される。ただし、この立場では幻覚の内容も指示詞的要素タイプを含み、いわゆる「ギャッピー内容」にはならない。以上の成果は、1.志向説の更なる分節化を与え、2.知覚内容において単称知覚指示を担う部分の本性を明らかにしたという意義を有する。以上の研究は、2011年3月初めにイリノイ大学シカゴ校のデイヴィッド・ヒルバート教授とコリン・クレイン教授との研究打ち合わせを通じて推敲し、「知覚経験の単称内容」というタイトルで同年3月19日に京都科学哲学コロキアム例会で口頭発表した。なお、同内容を基にして、2012年2月に行われるAmerican Philosophical Association, Central Division年次大会の口頭発表に応募する予定なので(2011年6月1日提出期限)、この研究成果は論文としてはまだ発表していない。本年度は、「研究の目的」で挙げた、(1)知覚状態が持つ表象内容とは何か、(2)現在の情報論的表象理論の検討と適用、(3)知覚の現象的性格は単称知覚指示に寄与するのか、という三つの課題のうち(2)と(3)に取り組んだ。(2)については、M.UsherやC.Eliasmithが展開する「相互情報量理論」を擁護した(新しい情報論的表象理論には他に反事実的条件的理論もあるが、こちらには既に批判が提出されていたので相互情報量理論に焦点を合わせた)。相互情報量理論とは、従来の情報論的表象理論に統計学を組み合わせることによって,従来の理論が伴う「誤表象問題」を解消する試みである。この理論には、「表象の非対称性を説明できない」、「知覚における認識的条件を恣意的に排除している」という二つの批判が存在するが、本研究ではこれらの批判が回避できることを示した。この結論は、本理論が知覚表象の自然主義的説明として有望であることを示している。(3)については、知覚指示の認識には意識を伴う視覚的注意が必要であると論じたJ.Campbellの議論を批判的に考察し、彼の議論が失敗していることを示した。この結論は、「少なくとも知覚指示では知覚経験の現象的性格は原理的に必要とされない」という見解を支持する。
ラット海馬損傷後の脳機能可塑性の発達的研究

ラットの海馬損傷後の脳機能可塑性を検討する予定であったが、課題の作成までしか達成できなかった。課題として計画していたのはFortin, Agster, & Eichenbaum (2002)によって報告されたラットの匂い刺激系列課題であった。カップに砂が敷き詰められ、その砂の上には匂いパウダーが散布された。砂を掘ると強化子が摂取できた。系列試行では継時的に異なる匂いパウダーの付いたカップが提示され、強化子が摂取された。Fortinらの課題では、テスト試行では2カップが同時提示され、先行して呈示された匂いのカップにのみ強化子にフィードバックが与えられた。しかし、私の条件では、テスト試行ではフィードバックが与えられなかった。しかし、Fortinらと同様の結果が得られた。つまり、この系列学習課題では、訓練時のフィードバックが重要であることがわかった。また、学習される系列数が、ラットの系統によって異なることがわかった。3系列ではWistar系でもFisher系でも良好な学習が見られたが、4系列では、Wistar系では見られなかった。一対比較法による系列位置の反応量を1次元尺度で表現したところ、提示された4系列のうち、2-3番目の刺激に対する選好が消失し、4番目のDに対する選好がもっとも強いことが明らかになった。この選好は、まさに系列位置効果の新近効果に類似していた。また、4つの刺激の選好の幅が近くなっていた。次に、Fisher系において、刺激間間隔を延長し、記憶負荷を与えたところ、Wistar系とほぼ同様の結果が得られた。この系列位置効果の新近性は、長期記憶の問題であることが明らかになった。つまり、系統差が記憶容量の差に由来するものであることが示唆された。この結果は動物心理学会で発表された。ラット海馬の脳機能可塑性の指標とするべく、匂い刺激を用いた系列学習課題(Fortin et al.,2002)の再現を目指した。この課題では、カップ内に砂を敷き、そこに強化子を埋め、砂上に匂いパウダーを設置する。ラットは、砂を掘り強化子を摂取するが、そのときに匂い刺激を学習する。訓練では、系時的に異なる匂いの付着したカップを提示する。そして、テストにおいて2つのカップを提示し、どちらを選択したかが記録される。そのとき、時系列的に先行して提示された匂いを選択することがFortinらによって確認されている。この現象をFortinらは、提示された順番を系列学習したとして説明した。それに対し、時系列的にあとに提示された刺激を避けるようなWin-Shift戦略の結果とも考えられる。そこで、2種類の匂いABをABAと提示した。Win-Shift戦略がとられるならテスト時にBを選ぶはずであるが、実際はAが選択された。また、Wistar系ラットでは、匂い刺激が4つのときに、Long-Evans系ラットを用いた先行研究と合致しない結果が得られた。そこで系統、実験事態等の要因を検討するため、Fisher系ラットに同課題を与えたところ、Long-Evans系ラットと類似する結果が得られた。次に、刺激提示の間隔を長くし、認知的負担を高めたところ、Fisher系ラットとWistar系ラットにおいて同様の結果が得られた。そのとき、一頭最初に提示した刺激と最後に提示した刺激に対する反応率が高くなった。これは系列学習における初頭効果と親近効果に対応すると思われる。これらの結果から、このFortinらの課題が系列学習を検討していること、そしてラットの系統間の系列学習の能力に差があることが明らかになった。
インターネット社会におけるスキャンダル-メディアと共鳴する対人コミュニケーション

研究目的:メディアが伝えるスキャンダルは、メディア視聴者のパーソナルコミュニケーションと共鳴作用を起こし、強力な社会的制裁なり、新しい社会規範の形成や既存の規範の強化なりを集合的に実現していると考えられる。本研究の基本的な目的は、現代のマスメディア状況の中で、パーソナルコミュニケーションの果たす社会的な役割を明らかにすることにある。新聞・テレビなどの伝統的なマスメディア状況と、1995年以降発展の著しいインターネットと携帯電話の発展状況の中で、パーソナルコミュニケーションの社会的影響力が大きく変容していることを踏まえ、21世紀になって続発する「スキャンダル」という社会現象に社会心理学的にアプローチし、その中でパーソナルコミュニケーションの社会的機能を明確化することにある。研究成果の概要:1.ワイドショー番組について詳細な談話分析を実施し、ワイドショー特有の表現形態を抽出し、メディアにおけるスキャンダルの語られ方の特徴を明らかにした。2.ワイドショー視聴行動について質問紙調査を実施した。ワイドショー高視聴者の特性を多面的に明らかにし、因果分析を用いてプチナショナリズムへのワイドショー視聴の影響についても分析した。3.ワイドショーの内容が、日常生活においてどのように語られるかを分析した。グループインタヴュー法であつめられた30代女性三人集団における会話について詳細な談話分析を実施し、興味潔い結果がえられた。4.明治期のスキャンダルについて資料収集を行った。研究目的:明治期の新聞が「スキャンダル」を売り物にし「第4の権力」としてのメディアに成り上がったように、現在でもワイドショーなどのテレビメディアの中でスキャンダルが盛んに語られている。メディアスキャンダルは、視聴者のパーソナルコミュニケーションと共鳴作用を起こし、より強力な社会的制裁なり、新しい社会規範の形成や既存の規範の強化なりを集合的に実現している。また、インターネットメディアの登場によって、メディアスキャンダルの構造は大きく変化していると考えられる。本研究は、新聞・テレビ、インターネットとパーソナルコミュニケーションの3つの局面それぞれで「スキャンダル」がどのように語られているのか。そして、それらがどのように相互作用しているかを実証的に分析し、現代のスキャンダル発生・展開・終焉のメカニズムを明らかにすることにある。研究の実施状況:A.メディアにおけるスキャンダルの語られ方(内容分析)として、ワイドショーにおけるスキャンダル報道の内容分析を実施。12月9日の全局のワイドショーを録画し、番組構成表(収録番組の進行状況を一覧性をもった様式に作成したもの)を作成し、各局のワイドショーの特徴把握を行った。B.対面場面におけるスキャンダルの語られ方(談話分析)として、古賀潤一郎学歴詐称スキャンダルについて、グループインタヴュー法によりスキャンダルの語り口についてのデータを収集した。20、30、40代の女性三人からなる3グループについてデータを収集した。C.明治期のスキャンダルについての資料収集を行った。研究目的:明治期の新聞が「スキャンダル」を売り物にし「第4の権力」としてのメディアになったように、現在でもテレビメディアの中でスキャンダルが盛んに語られている。今年度の実施状況A.スキャンダルの語られ方(談話分析)として、ワイドショーの事件報道についてグループインタヴュー法によりデータを収集した。2004年6月26日東京八潮団地にて、20、30、40代の女性三人からなる3グループについてデータを収集し、結果を分析した。B.2004年6月28日-7月1日に東京女子体育大学、成城大学で実施。有効回答359票。主要な調査項目は、[個人属性]、[ワイドショー視聴実態][ニュース番組視聴実態]などの基本要因と、[ワイドショーの特徴認知]、[ワイドショーの機能][ワイドショーの社会的影響力の認知][ワイドショー評価]などワイドショーの構造を明らかにする質問群。

個人特性として[対人志向性尺度]、「認知欲求尺度」、[政治的シニシズム尺度]、[プチナショナリズム尺度]などを調査。佐世保市の小学校6年生による殺人事件とワイドショー視聴との関連を調査した。C.明治期のスキャンダルについての資料収集を前年度に引き続いて行った。D.前年度収録したワイドショーについて内容分析を実施し論文としてまとめた。研究目的:明治期の新聞が「スキャンダル」を売り物にし「第4の権力」としてのメディアになったのは周知の事実である。インターネットの時代になりスキャンダルを伝えるメディアの状況は大きく変化している。しかし、メディアが伝えるスキャンダルは、メディア視聴者のパーソナルコミュニケーションと共鳴作用を起こし、強力な社会的制裁なり、新しい社会規範の形成や既存の規範の強化なりを集合的に実現している事実には変化がないと考えられる。本研究は、新聞・テレビ、インターネットとパーソナルコミュニケーションの3つの局面それぞれで「スキャンダル」がどのように語られているのか。そして、それらがどのように相互作用しているのかを実証的に分析し、現代のスキャンダル発生・展開・終焉の社会心理学的なメカニズムを明らかにすることにある。今年度の実施状況A.昨年度収集したワイドショーの事件報道についてグループインタヴュー法の結果のうち、30代の女性のグループについてのみ詳細な談話分析を実施した。スキャンダルの語られ方について、大変興味深い知見が得られており報告書にまとめられた。B.昨年度に実施された「ワイドショー視聴行動の調査」結果について、多変量解析を使って詳細な分析を行った。結果は、日本社会心理学会大会において発表した。また因果分析を用いて、プチナショナリズムへのワイドショー視聴の影響について分析中である。日本社会心理学会誌に投稿準備中である。C.初年度に収集したワイドショーについて、詳細な談話分析を実施し、ワイドショー特有の表現形態を抽出し、ワイドショーにおけるスキャンダルのメカニズムを明らかにした。D.明治期のスキャンダルについての資料収集を引き続いて行い、結果を研究紀要に投稿中である。
光合成エネルギー変換反応に携わる超分子タンパク質複合体の構造と機能

本研究では,光合成のエネルギー変換反応に携わる超分子タンパク質複合体の立体構造をX線結晶構造解析で明らかにし,超分子形成の必要性,超分子形成の機構,さらには構造機能相関などを,決定された立体構造に基づいて理解しようとするものである.本年度は,1)シアノバクテリアの集光性色素タンパク質,アロフィコシアニン,2)光合成細菌の反応中心複合体についてX線結晶解析を行った.1)シアノバクテリアSynechococcus elongatusのアロフィコシアニンこのアロフィコシアニンは,それぞれ分子量17,000の2種のサブユニット(α,β)の3量体構造である.結晶化は硫酸アンモニウムを用いて行い,シンクロトロン放射光によってX線回折実験を行った.晶系は三方晶系,空間群R32,その格子定数はa=b=188,c=61Åである.分子置換法によって結晶構造解析に成功し現在精密化を進めている(現在のR値は約24%).この結果,α_3β_3のユニットが2つ会合して結晶内に存在していること,色素分子であるフィシアノビリンは,α,β各サブユニットにそれぞれ1分子結合していることなどが明らかになった.Chromatium tepidumの反応中心複合体は,その生育温度が50°Cを越える耐熱種由来のもので熱安定化機構の研究対象として興味深い.界面活性剤β-オクチルグルコシドで可溶化した標品を,沈殿剤にPEG4000を用いて結晶化した.シンクロトロン放射光を用いてX線回折実験を行い,晶系が斜方晶系,空間群P2_12_12_1,格子定数a=136,b=197,c=82 Åであることがわかった.現在,分子置換法による解析を行っている.本研究では,光合成のエネルギー変換反応に携わる超分子タンパク質複合体の立体構造をX線結晶構造解析で明らかにし,超分子形成の必要性,超分子形成の機構,さらには構造機能相関などを,決定された立体構造に基づいて理解しようとするものである.本年度は,1)シアノバクテリアの集光性色素タンパク質,アロフィコシアニン,2)光合成細菌の反応中心複合体についてX線結晶解析を行った.1)シアノバクテリアSynechococcus elongatusのアロフィコシアニンこのアロフィコシアニンは,それぞれ分子量17,000の2種のサブユニット(α,β)の3量体構造である.結晶化は硫酸アンモニウムを用いて行い,シンクロトロン放射光によってX線回折実験を行った.晶系は三方晶系,空間群R32,その格子定数はa=b=188,c=61Åである.分子置換法によって結晶構造解析に成功し現在精密化を進めている(現在のR値は約24%).この結果,α_3β_3のユニットが2つ会合して結晶内に存在していること,色素分子であるフィシアノビリンは,α,β各サブユニットにそれぞれ1分子結合していることなどが明らかになった.Chromatium tepidumの反応中心複合体は,その生育温度が50°Cを越える耐熱種由来のもので熱安定化機構の研究対象として興味深い.界面活性剤β-オクチルグルコシドで可溶化した標品を,沈殿剤にPEG4000を用いて結晶化した.シンクロトロン放射光を用いてX線回折実験を行い,晶系が斜方晶系,空間群P2_12_12_1,格子定数a=136,b=197,c=82 Åであることがわかった.現在,分子置換法による解析を行っている.
性的マイノリティの人権救済をめぐる韓国の「積極司法」の構造的特質に関する研究

研究3年目に入り、当初の計画どおり現地でのフィールドワークを重ねながら、当該研究のデータベースをある程度、構築されつつある。その内容は、主にトランスジェンダーに関する判例の集積である。古くは、1990年代からトランスジェンダーによる性別変更の可否が家庭法院および地方の下級法院で扱われていた。それと2006年までの動きである。この年は、大法院が正式に同性別変更の司法基準を確立し、その後のリーディングケースとなったときである。さらに、この決定以降、法院ではトランスジェンダー問題がどのような事件へと展開し、かつ法院の判断がどのように変化したのか、あるいは変化しなかったのかの動向を探る上でも、関連の判例を調査し、判例を収集した。その結果として、昨年はアジア法学会でトランスジェンダー問題の中間報告を行うことができた(2018年6月)。特に、最近、話題となっているトランスジェンダーの脱病理化の国際的な傾向である。従来、「性同一性障がい」として精神疾患として位置づけられていたのが、そもそもトランスジェンダーが「疾病」なのかという問題が提起されている。この流れと韓国法の動向との比較を試みている。また、韓国の男女をめぐる家族法問題についてその研究成果として学会誌にも発表した。この論稿では、韓国においてトランスジェンダーによる性別変更が法院で許可されにくい制度的な要因について分析を行っている。異性愛を中心とした男女の夫婦が家族をつくるべきであるとの「近代家族モデル」が韓国法でどのように形成されたのかを論じている。研究の中間計画でほぼ当初の目的を研究成果として得られつつある。本年度もさらに進行させる。本年度は、トランスジェンダーをめぐる判例を中心に性的マイノリィに対する司法的な対応を調査していった。特に、異性愛にもとづいた法律婚が強く求められる韓国家族法の下では、トランスジェンダーの人々が婚姻状況にあったり、子供がいる場合、これらの事実が日本法と同様に法的な性別を変更するに当たっての障害事由になっている。日本法とを比較することにより、韓国法の特徴や問題点を解明することに努めた。家族関係登録法を含めた国民登録には、性別記載欄があると共に、親子や兄弟を含めた「続柄」も記載事項になっており、身分登録法との関係から同障害事由の問題を考察した。また、トランスジェンダーによる法的性別の変更要件には、反対の性への身体移行により外性器形成手術などを完了しなければならないことになっている。ところが、最近、女性から男性に移行するFTMの人々に対して、この要件を緩和する動きが出てきている。こうした変化について、判例分析や社会的な動向について調査しはじめている。本年度の研究は、開始の初年度であり、研究課題の一次資料(立法、行政資料および判例など)を現地で調査・収集すると共に、研究課題に関わる実務家また研究者などへのインタビューを通して課題の全体的な状況さらに資料の所在などの情報収集に努めた。本研究は、2年目を迎え、現地・韓国でフィールドワークを実施し、主にトランスジェンダーによる性別変更に関する判例の調査・収集から男女の性差基準を解明する作業を行った。具体的には、その要件として「反対の性の身体的に変化したこと」を規定しているにもかかわらず、最近、下級法院ではこの要件を緩和して外部性器を形成するまでに至らなかったトランスジェンダーの性別変更を許可する決定を下した。これに関連する決定文および研究資料を調査し、入手するべく関係機関に出向いた。最新動向を調査することができた。また、「積極司法」の実態を明らかにするために、憲法裁判所、同裁判所図書館、大法院、家庭法院(ソウル市)など、裁判資料(判例、決定集、裁判規則類、戸籍例規、家族関係登録例規、同先決集など)を所蔵している各司法機関に出向いて、この性別変更に関する大法院例規の制定・改正の資料調査を行った。その中間的な研究成果が実績報告のとおり現れている。2年目の研究計画は、ほぼ予定通りの進捗状況で進行している。

本研究は、予定どおり順調に進行しており、当初の研究計画どおり推進する。本年度は研究計画の3年目で、研究は順調に進展しており、当初の計画通りに進める。本年度もさらに進行させる。本年度は、パソコンなどの備品機器を購入する予定であったが、購入しなかった。現地への調査旅費が増額したためである。、予定していた図書などを購入できず、また、数回にわたって現地調査に赴く予定であったが、1回だけしか現地調査ができなかったためである。現地に数回、フィールドワーク調査を行う予定であったが、本務校での公務のため実施できなかったことがある。したがって、昨年度にできなかったフィールド調査を本年度に追加実施する計画である。本研究は、フィールド調査が主になるので、調査旅費に使途する予定である。
視覚障害者のための屋内経路誘導方法に関する分岐点案内の研究

・研究目的本研究は、視覚障害者誘導用ブロックに代わる視覚障害者への屋内誘導方法について、床面を限りなくフラットにした状態での誘導方法の提案を目的とする。その方法は、誘導路に床面の素材の違いを用いた誘導を検討する。当該研究は、特に白杖で認知しやすい分岐部の形状を検討することが目的である。・研究方法分岐点を示す2mm以下の高さや形の異なる警告パターンを12種類用意し、視覚障害者14名を対象に、白杖による認知実験を行う。方法は、十字路を模した経路の真ん中に警告ブロックを敷き、その前に立って杖を一振りしてもらう。その時の検知度合いを心理的確信度として確認する。また、手の甲に加速度計を付け、手の衝撃を定量的に把握する。更に、聴覚を遮蔽した群と遮蔽しない群に分けて実験し、杖の衝撃音も計測する。これによりパターン形状の違いによる心理的確信度と手の衝撃の関係および、心理的確信度における聴覚の影響を定量的に分析する。・研究成果検知率は各試料とも100%であった。聴覚による確信度の影響は、非遮蔽群と遮蔽群に差はなく、白杖が発する音が確信度にほとんど影響していないと考えられる。各試料の確信度の平均値から、突起高さ2mm、突起増設型千鳥配列の確信度が高く、突起高さ1mm、平行格子配列の確信度が低いことが分かった。次に、突起高さ、配列(突起数)、直径を因子とした3元配置分散分析から、突起高さと配列(突起数)の主効果が認められた。一方、これらの相互作用は認められなかった。このことにより、突起高さと配列(突起数)が確信度に影響していると考えられる。各試料の確信度と手の甲に付けた加速度計の合成加速度の最大値との関係は、強い正の相関があった。また、突起のない試料に比べ、全ての試料に大きな加速度が生じ、検知率が100%であったことから、手にある程度の衝撃が加われば、警告ブロックの検知は可能であることが分かった。
前立腺における細胞膜骨格蛋白質の存在と分布およびその臨床的意義

前立腺における細胞膜骨格蛋白質の存在と分布の免疫学的検討を行った.1.イムノブロット法による細胞膜骨格蛋白質の同定男性膀胱癌患者の膀胱全摘除術の際に得られた正常前立腺組織にプロテアーゼインヒビターカクテルを加えたホモジネートを用い,ウェスタンブロット法を施行した.前立腺における細胞膜骨格蛋白質としてαおよびβフォドリン(非赤血球スペクトリン),4.1G蛋白質が同定された.アンキリンに関しては,Zhuら(1998年)により同定されているが,今回の検討では同定されなかった.2.酵素抗体法による免疫組織学的検討男性膀胱癌患者の膀胱全摘除術で得られた正常前立腺組織,剖検で得られたprostatic intraepithelialneoplasia(PIN)組織,前立腺針生検および前立腺全摘除術で得られた前立腺癌組織をホルマリン固定,パラフィン包埋し,免疫組織染色を施行した.正常前立腺組織において,αおよびβフォドリンは主に細胞膜に分布していた.また4.1G蛋白質は細胞質に分布していた.PIN組織および前立腺癌組織において,αおよびβフォドリンは主に細胞膜に分布していたが,正常前立腺組織と比較すると何れも弱陽性である傾向にあった.また4.1G蛋白質は細胞質に分布しており,正常前立腺組織との差異は無かった.限局性前立腺癌と有転移前立腺癌を比較すると,αおよびβフォドリン,4.1G蛋白質において,その存在と分布に差異は無かった.アシキリンに関しては,何れの組織においてもイムノブロット法の結果と同様に陰性であった.(前年度研究実績報告書では陽性と報告したが,最終的に陰性と判断した.):前立腺における細胞膜骨格蛋白質の存在と分布の免疫学的検討を行った.細胞膜骨格蛋白質として,スペクトリン,アンキリン,4.1蛋白質について検討した.1.酵素抗体法による免疫組織学的検討男性膀胱癌患者の膀胱全摘除術および前立腺肥大症患者の経尿道的前立腺切除術の際に得られた前立腺組織をホルマリン固定パラフィン包埋し,免疫組織染色を施行した.前立腺上皮細胞の細胞質にスペクトリン,アンキリン,4.1蛋白質を同定することができた.また,正常前立腺組織と前立腺肥大症組織間に明らかな差は無かった.2.イムノブロット法による検討男性膀胱癌患者の膀胱全摘除術の際に得られた前立腺組織を用い,ウェスタンブロット法を施行した.スペクトリン,アンキリン,4.1蛋白質いずれも同定することができなかった.今回,酵素抗体法よる免疫組織学的検討とイムノブロット法による検討の結果に差が認められた.免疫組識学的結果は,前立腺での細胞膜骨格蛋白質の存在を強く示唆するものと考えられた.イムノブロット法においてこれらの蛋白質が同定できなかった理由としては,組織処理の際,前立腺組織内のプロテアーゼにより細胞膜骨格蛋白質が分解されてしまったためと予測された.今後,イムノブロット法を行う際には,プロテアーゼインヒビターによる調整を行い検討する予定である.前立腺における細胞膜骨格蛋白質の存在と分布の免疫学的検討を行った.1.イムノブロット法による細胞膜骨格蛋白質の同定男性膀胱癌患者の膀胱全摘除術の際に得られた正常前立腺組織にプロテアーゼインヒビターカクテルを加えたホモジネートを用い,ウェスタンブロット法を施行した.前立腺における細胞膜骨格蛋白質としてαおよびβフォドリン(非赤血球スペクトリン),4.1G蛋白質が同定された.アンキリンに関しては,Zhuら(1998年)により同定されているが,今回の検討では同定されなかった.2.酵素抗体法による免疫組織学的検討男性膀胱癌患者の膀胱全摘除術で得られた正常前立腺組織,剖検で得られたprostatic intraepithelialneoplasia(PIN)組織,前立腺針生検および前立腺全摘除術で得られた前立腺癌組織をホルマリン固定,パラフィン包埋し,免疫組織染色を施行した.正常前立腺組織において,αおよびβフォドリンは主に細胞膜に分布していた.また4.1G蛋白質は細胞質に分布していた.PIN組織および前立腺癌組織において,αおよびβフォドリンは主に細胞膜に分布していたが,正常前立腺組織と比較すると何れも弱陽性である傾向にあった.また4.1G蛋白質は細胞質に分布しており,正常前立腺組織との差異は無かった.限局性前立腺癌と有転移前立腺癌を比較すると,αおよびβフォドリン,4.1G蛋白質において,その存在と分布に差異は無かった.アシキリンに関しては,何れの組織においてもイムノブロット法の結果と同様に陰性であった.(前年度研究実績報告書では陽性と報告したが,最終的に陰性と判断した.)