hpprc/llmjp-kaken huggingface dataset:
地域のブランド性と人口減少社会における地域社会の維持

本研究においては、地方都市および中山間等の条件不利地域をとりあげ、地域のブランド化を進めるための有効な資源について類型化して分析するとともに、それらの資源を活用した戦略が今後の地域社会維持のための手段としてどの程度の有効性を持ちうるかを検証した。地域のブランド化による振興手法は即効性を持たないが、地場資源を活かした確実な手法でもある。しかし、20 30年にわたる長期的な視点から進めて行くとともに、長期にわたってブランド資源を維持・管理することが必要である。1.長野県内をフィールドとして、地域のブランド化に関する調査を以下のように実施した。(1)安曇野市および小県郡青木村については、調査を継続して実施するとともに、結果のとりまとめを行い、2冊の報告書を作成した。安曇野市については、景観形成および景観変遷についての調査のうち、「安曇野」という地域名称の定着と地域イメージの形成について、書籍と写真集を素材とした分析結果をとりまとめ、現在の地域ブランドイメージは1970年代にその原型が形成されたことを明らかにした。また、青木村については、聞き取り調査結果と調査票調査結果のとりまとめを行い、「義民の里」という自己イメージと社会力教育政策が村民にどのように受容されているかを分析した。(2)中山間地域における地域のブランド化戦略として「日本で最も美しい村」連合の活動に注目し、上伊那郡中川村および下伊那郡大鹿村の取り組みについての資料収集と現地調査に着手した。今後、北海道の美瑛町や熊本県内の事例と比較していく予定である。2.さらに、日本全国に視野を拡大して、長野県の事例を適切に位置づけることが可能となるように、以下のような手法による調査を行った。(1)地域のブランド化に関する全国的動向を探るための一つの方法として、平成の市町村大合併時に市町村名がどのように選択されたかについて、合併データをもとにその動向を分析し論文を作成した。(2)北海道の事例として小樽市の調査を引き続き行い、ガラス工芸を軸にした地域のブランド化についての現地調査を行った。さらに、全国の都道府県における地域ブランド政策の動向についての情報を収集した結果、熊本県および熊本県内市町村(玉名市、天草市、山江村)の取り組みについて現地で聞き取り調査を実施した。(1)中山間地域における地域のブランド化戦略として「日本で最も美しい村」連合の活動に注目し、上伊那郡中川村および下伊那郡大鹿村の「美しい村」づくりの取り組みについて現地調査を実施した。平成22年度の調査においては、Uターン・Iターンの動向を中心的課題とするとともに、村づくりの取り組みが観光に与える効果と定住に及ぼす効果を中心に聞き取りおよび分析を行った。平成22年度の調査結果は、2冊の報告書にまとめた。(2)安曇野市については、昨年度の研究成果をさらに発展させるために、道路景観についての調査を実施した。平成22年度はビデオによる映像資料の作成を中心に実施した。これら資料は、平成23年度に分析する予定である。(3)これと並行して、3年前から実施している上高地調査においては、大正期の水利開発と景勝地・観光地としてのブランド化の相克について、資料調査の結果を論文にまとめた。(4)この他、長野県内において、大町市、佐久市、北佐久郡立科町について、地域のブランド化とそのための人材育成事業について、調査に着手した。2.さらに、日本全国に視野を拡大して、長野県の事例と比較し適切に位置づけることが可能となるように、平成21年度の熊本県の調査を継続して実施した。平成22年度においては、阿蘇郡小国町および南小国町においてフィールド調査および聞き取り調査を実施した。小国町は、鉄道撤去後、独自手法により地域づくりを行ってきた成功事例である。また、南小国町は「日本で最も美しい村」連合の初期メンバーであり、大鹿村、中川村との比較を行うことを目的とした。調査結果の一部は、年度末に刊行した論文に公表した。長野県内を中心として、地域イメージを高めることに成功した地域と、知名度の上昇と地域イメージの向上を目指している地域を選定し、地域のブランドイメージが形成される過程とブランドイメージ形成の効果(地域の社会、経済に与えた効果)について、いくつかの事例を取り上げて調査を行った。前者の代表例として安曇野を取り上げ、安曇野という呼称の生成と普及の過程を、観光資源の形成過程と関連させて長期的視点から分析した。また、これと関連させて、梓川の水利開発を事例として、水源部分(上高地)の自然保護・景観保護と、中下流部分の電源開発、開墾が、対立から共存へと転換しながら、地域のブランド化にとって中核的意義を持つ資源が保存される過程について長期的視点から分析を行った。後者の事例としては、長野県の大鹿村とそれに隣接した中川村を取り上げた。いずれの村も農業以外の基幹産業は存在しておらず、特に大鹿村では過疎化と限界集落化が進んでいる。

このような中で、美しい景観や伝統芸能といった自然資源・文化資源を活かした地域振興への取り組みを調査するとともに、その効果と、Iターン定住者が地域維持に果たす機能に焦点を定めて分析を行った。地域のブランド化という振興手法は曖昧性を持ち即効性を持たないが、中山間地域においては地場資源を活かした確実な手法である。これらの資源を活用した振興方策は観光産業の成長や観光客の増加という直接的効果が大きいとは言えないが、中高年のIターン定住という流れを作り出しており、地域維持に貢献していることがこれらの調査事例から浮かび出てきた。今後、このような流れをより低い年齢層に及ぼすためには、新たな就業の場を作ることが重要であり、地場資源を活かした小産業、小ビジネスの育成が課題になる。
組織特異性ならびに細胞周期性をもつG1サイクリンの転写機構

組織特異性ならびに細胞周期性に転写されるサイクリン遺伝子の制御機構を明かにすることを目的として、出芽酵母のG1サイクリンの転写レべルを変化させる遺伝子の単離、およびG2サイクリン(サイクリンB)の転写レベルの解析を行った。G1サイクリン(CLN3)の活性型変異CL6-2の機能を抑制する遺伝子HMD1を単離し、HMD1がCLN3のmRNAレベルを低下させる機能をも誠とこを明かにした。また出芽酵母には3つのG1サイクリンが同定されているが、HMD1はCLN3に特異的に作用することを見いだした。また、出芽酵母のサイクリンBホモログを4個単離し、それらの細胞周期における転写レベルの変動を解析した。このうち2個はmRNAがS期に上昇し、残りの2個はG2期に上昇することを見いだした。このことは出芽酵母のサイクリンBにはS期およびG2期に機能する2つのタイプが存在することを示唆する。
中枢ホルモン系と免疫系の相互作用

視床下部や下垂体からの中枢ホルモン系が,生体の恒常性維持のために分泌されて免疫系にも作用をおよぼし,あるホルモンは免疫系の働きを高め,あるホルモンは逆に抑制したりすることは充分あり得ることと考え,研究を開始した。しかし,中枢ホルモン系が遠隔的に免疫系にたえず影響を与えていては,免疫系はその応接に暇がなく,生体の恒常性は却って乱れる可能性も想定される。事実,免疫系細胞は中枢系ホルモンに対する受容体をもっているだけでなく,自らも視床下部ホルモンや下垂体ホルモンと同じか類似の因子を産生していることが,最近の研究によって明らかにされている。この場合には,免疫系におけるホルモンは,サイトカインと言った方が適切であろうと考えられる。そこで本研究では,上述のどちらかの場合であっても起こり得る実験系として,種々の中枢系ホルモンのin vitro免疫応答への影響を調べてみた。その結果,オピオイドや副腎皮質刺激ホルモンなどのストレス関連ホルモンや,サブスタンスPなどが,マクロファージの抗がん作用,ヒト末梢血白血球のインターフェロンαおよび8,マクロファージのインターロイキン6の産生などに,多様な効果をもたらすことがわかった。別の研究として,マウス骨髄細胞から樹状細胞への分化を,サイトカインやホルモンで誘導し得るか否かを検討した。その結果,いわゆる中枢系ホルモンでは樹状細胞の分化誘導には無効のように見えたが,GM-CSFとよばれるサイトカインが有効であった。しかし,本当にGM-CSFだけが充分条件なのかどうかは不明である。実は,いわゆる中枢系ホルモンが骨髄細胞でも産生され,自己分泌や傍分泌によってGM-CSFと共働しているのかもしれない。この実験系で内因性のホルモンが充分にあれば,添加したホルモンが無効のように見えるのは当然であろう。今後は,免疫系の内因性ホルモンのサイトカイン的役割を更に検討したい。
脱法ハーブに含まれる合成カンナビノイド検知キットの開発

【目的】危険ドラッグ(危険ハーブなど)は、日本も含め、世界的にも大流行している。その結果、事件・事故を起こし、警察に通報される事例が急増している。また、危険ドラッグを大麻や麻薬と間違え、警察が誤認逮捕した報告もある。さらに最近では、危険ドラッグ摂取者が急性薬物中毒により、医療機関へ緊急搬送される例も急増し、社会問題になっている。このような状況の中、厚生労働省は危険ドラッグの主要薬物である「合成カンナビノイド(以下S-CBN)_特にナフトイルインドール骨格を有するS-CBN_約800種」と「合成カチノン_約500種」について、包括指定を行い規制の強化を図った。しかし、化学構造の一部を変化させ、規制から逃れる化学物質が次々と出現している。現在、容疑者あるいは中毒患者が所持していた植物片が、危険ハーブかどうかを判別する現場検知キットの報告は殆どない。そこで、分析機器を用いず、現場で迅速に植物片に含まれる成分が、S-CBNかどうか検知できるキットの開発を行った。【手順】1.吸着:ろ紙を含んだ有機溶媒の容器に植物片を入れた後、容器を振り混ぜ、植物片に付着したS-CBNをろ紙に吸着させる。2.反応:別の有機溶媒の入った容器に薬物を吸着させたろ紙(手順1の後のろ紙)を移し、ろ紙から薬物を再溶解させる。その後、反応試薬を加え、反応試薬の色の変化を確認する。また、必要に応じて反応試薬にUVライトを照射する。3.結果:植物片にナフトイルインドール骨格を有するS-CBNが含まれていれば、反応試薬は黄色となり、更にUV照射により緑色の蛍光を発する。【結果】開発した本キットは、包括指定を受けているナフトイルインドール骨格を有するS-CBN約800種類について検出できる可能性があり、更には大麻と反応を示さないため、犯罪捜査や救急医療に役立つと考えられる。
富士山における酸性雨の森林生態系への影響評価

近年、首都圏周辺の山地において大規模な森林の枯死が相次ぎ、酸性雨の影響が懸念されている。本研究では、首都圏の西側に位置する富士山において、酸性雨が森林生態系に与えている影響について、現状では以下のようであると評価した。(1)首都圏からの汚染物質の移流の影響によると考えられる酸性雨は標高約15002000m以下でみられ、高標高域にはおよんでいなかった。しかし大陸由来とみられる酸性雨は3000m以上でもみられた。(2)標高17002500mに広がる亜高山帯針葉樹林では、他の山地でみられるような大規模な枯死はみられず、これは(1)で述べたように、富士山の亜高山帯では、首都圏の直接の汚染の影響は及んでいないことと一致する。(3)富士山の亜高山性針葉樹も森林限界付近や、山岳道路の脇では枯死が目だつ。それらの枯死の要因として、現地での観察の結果、冬季の水分収支のアンバランスによって生じた常緑葉の水分欠差により春に枯死し、それが毎年積み重なることにより、やがては個体の枯死を引き起こすと考えられた。(4)そこで、冬季の水分収支のアンバランスに注目して、調査を行った。その結果、晩秋から初冬にかけて、季節風があたる立地の樹木では、冬季には通常厚くなる常緑葉の表面のクチクラ層が、強風による砂礫の飛散や葉どうしの摩擦等によって薄くなり、土壌が凍結して吸水ができない冬季の常緑葉からの蒸散を防ぐことができず、氷欠差におちいるものとわかった。以上のことから、現状では顕著な被害はないものの、汚染の影響により常緑葉のクチクラ層の発達が阻害されるようなことがあれば、枯死が進むと考えられる。
ルート系を実現する代数多様体―ワイル群が支配する双有理幾何を目指して―

K3曲面のsymplectic自己同型のなす有限群とMathieu群M24には面白い関係がある。前者はM24の中に軌道が5個以上になるように埋め込める(Mukai,1988年)。これのEnriques類似を永く探して来たが、6次交代群の作用するEnriques曲面の格子論的構成を契機として、研究を進展することができた。大橋久範君と共同で、Enriques曲面のMathieu型のsemi-symplectic作用を定義した。そして、Mathieu型semi-symplectic作用をもつ有限群はいつも6次対称群に埋め込めるだろうかという問題を考察した。9月のOberwolfachでの研究集会で中間発表をした。Lie環の極小随伴軌道として現れる代数多様体の表示とそれを用いた単純Lie環の分類の可能性について、2月の表現論研究集会で発表した。[A]一昨年頃、種数17のgenericな偏極K3曲面を非可換Brill-Noether論的に記述することに成功した.これに刺激されて、K3曲面の上のベクトル束と向井格子を組織的に使うことによって、他の高種数generic偏極K3曲面を適当なモジュライ空間の中でカノニカルに記述することを試みた.1.種数16のK3曲面が空間有理3次曲線のモジュライの中に出現することは前から知っていた.そのK3曲面がgenericなものであることを示すことが問題であったが、Picard数が2で7次楕円曲線をもつ場合を考察することによってそれを示せるのではないかと現在いろんな計算をしている.genericな場合は空間のどの点をとってきても、K3でパラメータ付けている有理3次曲線の中でそこを通るものは有限個しかない.今問題にしているK3の場合、この性質が1点で崩れる.これは悪いことのように見えるが、このおかげでK3曲面が調べやすくなるのがポイントである.2.種数17のgeneric偏極K3曲面の非可換Brill-Noether論的記述は種数5の曲線上の階数2のベクトル束のモジュライを用いた.これと同様の考えで、種数3の曲線上の階数3のベクトル束のモジュライ空間を用いて種数19のgeneric偏極K3曲面が得られないかを調べた.3.第1項目の「空間有理3次曲線」を「平面内の6点」に置き換えて、適当な束縛条件を課すことによりモジュライ空間の中に種数21のK3曲面を得ることができる.これは別の問題と関連して昔のノートを調べていてその中に発見した.この場合は種数17で苦労したように、偏極がprimitiveであるかどうかが問題となる.Picard数が2の良い例を構成する方法でもってモジュライの単有理性に挑戦した.4.カリフォルニア大学Bakeley校の数学研究所滞在中にK3型の偏極4次元symplectic多様体の新しい例を学んだ.これに刺激されて、上の諸研究をK3から4次元symplectic多様体に拡張することを試みた.[B]エンリケス曲面の自己同型の研究中、乗法的階数が小さい位数2の自己同型に対しては、有理楕円曲面が定まることがわかった.さらにこれを介してE8型Lie環の次数付けも定まることがわかった.できれば、乗法的階数が大きい場合にも次数付Lie環を対応させたい.前年度に引き続いてEnriques曲面の自己同型と高種数K3曲面の記述を研究した.[A]Enriques曲面の対合(位数2の自己同型)とルート系の関係をより組織的に調べた.コホモロジー的に自明なものはE8型に、そうでないが数値的には自明なものがD8型かE7+A1型に対応する.また、数値的に鏡映な場合はE7型とD6+A1型の2種に分類される.Enriques曲面の対合を、その周期から復元する問題にも進展があった.[B]高次偏極K3曲面については、2008年度から続けてきた次数30のgenericなものの研究が進み、有理3次曲線のモジュライ空間の中での良い記述を得ることに成功した。特に、それらのモジュライ空間は単有理的であることが示される。また、primitiveで次数32の場合のモジュライ空間の単有理性については、証明に必要な曲線の線形切断定理を既知のもの(Mukai,1993)で済ませられることを発見し、証明が大きく簡易化された。両者について現在、論文を準備中である。
胃がんおよび大腸がんの発症における細胞質病原体センサー蛋白の役割の解明

胃がんや大腸がんは、その発症において感染細菌や常在細菌と宿主の相互作用が重要である。一方、NLR蛋白は、細胞膜のTLR蛋白と同様に、病原微生物を認識し、炎症応答を惹起する細胞質センサーである。我々は、自ら発見したNLR蛋白のPYNODが炎症応答を阻害することを示してきた。すなわち、PYNODは抑制型のNLR蛋白であり、胃がんや大腸がんの発症にも影響を与える可能性がある。PYNODの生理的、病理的役割を明らかにするために、PYNOD欠損マウスを樹立し、解析を行ってきた。PYNOD欠損マウスから調整したマクロファージについて自然免疫系の反応性を調べたところ、炎症性サイトカインの産生は正常であった。また、高濃度のLPS投与によるエンドトキシンショック誘導実験についても、野性型と比較して生存率や血清中のサイトカイン濃度について、明らかな差は認められなかった。しかしT細胞依存性遅延型過敏性応答のマウスモデルであるトリニトロクロロベンゼン(TNCB)接触過敏性応答を検討したところ、PYNOD欠損マウスの獲得免疫応答が野性型と比較し著しく低下していることが判明した。胃がんの発生においては、Wntシグナル亢進およびプロスタグランディンE2産生が重要と考えられている。これら双方のシグナルを活性化したマウスモデルでは高頻度に胃がんの発生が認められる。我々はこのモデルにおいてPYNODの発現が著明に上昇していることを発見し、このマウスとPYNOD欠損マウスおよびPYNODトランスジェニックマウスとの交配を行い、さらなる遺伝子改変マウスを作製したが、現在もなお解析の途中段階にある。さらに、ヒト胃がん患者のサンプルについてヒトPYNODの発現を定量PCRで検討したところ、papillary型の胃がんについて、約50%の症例でPYNODの発現が、腫瘍部位で上昇しているという結果を得た。24年度が最終年度であるため、記入しない。NLR蛋白はアダプター蛋白質ASCを介してカスパーゼ1を活性化し、IL-1βやIL-18などの炎症性サイトカインの成熟と分泌を誘導する。申請者らは、自ら発見したNLR蛋白のPYNODがASCやカスパーゼ1の機能を、逆に阻害することを示してきた。これら双方のシグナルを活性化したマウスモデルであるWnt-1,Cox-2,mPGES-1を同時に発現させたトランスジェニックマウス(K19-Wnt1/C2mE、Ganマウス)は高頻度に胃がんの発生が認められる。これらのトランスジェニックマウスにおけるNLR蛋白の発現をマイクロアレイで解析したところ、PYNODの発現がC2mEマウス(炎症誘導マウス)およびGanマウス(胃がん発症マウス)で著明に上昇していることを発見した。現在この胃がん発生モデルマウスとASC、カスパーゼ1、PYNOD各欠損マウスおよびPYNODトランスジェニックマウスとの交配を行い、さらなる遺伝子改変マウスを作製中である。さらにヒトの胃がん患者の検体を用いて定量PCRによりPYNODの発現を検討したところ、ある種の胃がん病変部におけるPYNODの発現が上昇していることを見い出した。現在症例数を増やして確認中である。また大腸がんのモデルとしてDSSおよびアゾキシメタン投与実験を行っているが、DSS投与後のPYNOD発現は変化しなかった。現在までのところDSS投与後、過度の炎症によって誘導される体重減少は、PYNODトランスジェニックおよび欠損マウスいずれも野性型と同様であった。

我々はこのモデルにおいてPYNODの発現が著明に上昇していることを発見し、このマウスとPYNOD欠損マウスおよびPYNODトランスジェニックマウスとの交配を行い、さらなる遺伝子改変マウスを作製したが、現在もなお解析の途中段階にある。さらに、ヒト胃がん患者のサンプルについてヒトPYNODの発現を定量PCRで検討したところ、papillary型の胃がんについて、約50%の症例でPYNODの発現が、腫瘍部位で上昇しているという結果を得た。24年度が最終年度であるため、記入しない。炎症誘導マウスおよび胃がん発症マウスにおいて、抗炎症作用を持つPYNOD分子の発現が増強していることを発見した。NLRファミリー分子の中でも唯一、PYNODだけの発現増強が見られることは大変興味深いと考えられる。またヒトの胃がんでもPYNODの発現が上昇している結果を得ており、ヒト疾患への応用も考えられる。一方、PYNOD遺伝子改変マウスと胃がんモデルマウスとの交配にかなりの時間を費やしてしまった。胃がん発症モデルマウスにおいて、PYNODが欠損している状態(PYNOD欠損マウスとの交配)、あるいは最初からPYNODの発現が増強している状態で(PYNODトランスジェニックマウスとの交配)、炎症から発がんにいたるプロセスはどう変化するのかを解析し、PYNODの発現が胃がんで増強している生理的/病理的意義に迫る。また各遺伝子改変マウスを用いてDSS+AOM投与による大腸がんモデルも検討する
神経ネットワークにおけるグルタミン酸受容体結合蛋白質の役割の解明

(1)代謝型グルタミン酸受容体2型(mGluR2)は小脳皮質では、GABA作動性インターニューロンであるゴルジ細胞特異的に発現する。mGluR2プロモーター下にヒト・インターロイキン2型受容体アルファサブユニットとGFPの融合タンパク(IL-2R/GFP)を発現するトランスジェニックマウス(IL-2R/GFPマウス)を用いて、小脳スライス上でGFPの蛍光を指標にゴルジ細胞を同定し、ゴルジ細胞のグルタミン酸作動性シナプスの解析を電気生理学的に行った。イオンチャンネル型受容体、およびGABAB受容体のアンタゴニスト存在下で抑制性後シナプス電位(IPSP)が発生することを見い出した。このIPSPが代謝型グルタミン酸受容体(mGluR)のアンタゴニストにより消失すること、mGluR2のノックアウトマウスのゴルジ細胞ではIPSPが消失することから、グルタミン酸シナプスでmGluR2を介してIPSPが生じることが明らかとなった。(2)IL-2R/GFPマウスでは、ヒトIL-2Rを選択的に認識するイムノトキシンを中枢神経に局所投与するとトランスジーンを発現する細胞が選択的に脱落する。網膜では、トランスジーンが、mGluR2の分布と一致して、コリン作動性アマクリン細胞に特異的に発現する。イムノトキシン局所投与によりコリン作動性アマクリン細胞の選択的破壊実験をおこなった。その結果、網膜内の神経ネットワークの情報抽出過程で、光の動きに対して方向選択性が生じるが、これにコリン作動性アマクリン細胞が必須であることを示した。またコリン作動性アマクリン細胞消失後、視運動性眼球運動が障害されることから、網膜での方向選択性により視運動性眼球運動がコントロールされることが示唆された。グルタミン酸受容体結合タンパク質の機能を明らかにするため、以下の実験系を確立した。2.海馬神経細胞の初代培養系を用いてtTA発現系・Cre発現系の比較を行った。両発現系を用いて蛍光タンパクである(EGFP)を発現し、蛍光強度を指標に比較したところ、tTA発現系の方が発現効率が良いことが明らかとなった。3.tTA発現系を用いて培養海馬神経細胞にグルタミン酸受容体結合タンパク質の発現実験を行った。発現したグルタミン酸受容体結合タンパク質は樹状突起上に分布することが明かとなった。4.さらに個体レベルの神経ネットワークの実験系として、マウスの基底核線条体及び網膜を使った実験系を確立した。この実験系を応用して、基底核線条体・網膜よりそれぞれコリン作動性インターニューロン・コリン作動性アマクリン細胞をイムノトキシンにより選択的に欠失させ、その機能を解析した。これにより、(1)黒質緻密部ドーパミン作動性ニューロンの機能低下により生じるパーキンソン病に抗コリン作動薬が効果があることが知られているが、このアセチルコリン調節系の実体が線条体コリン作働性インターニューロンによるものであること、(2)網膜内の神経ネットワークの情報処理過程で、光の動きに対して方位選択性が生じるが、これにコリン作動性アマクリン細胞が必須であることを示した。今後は、本年度に確立したin vitro・in vivoの実験系を使って、グルタミン酸受容体結合タンパク質の役割をさらに明らかにすることを計画している。

mGluR2プロモーター下にヒト・インターロイキン2型受容体アルファサブユニットとGFPの融合タンパク(IL-2R/GFP)を発現するトランスジェニックマウス(IL-2R/GFPマウス)を用いて、小脳スライス上でGFPの蛍光を指標にゴルジ細胞を同定し、ゴルジ細胞のグルタミン酸作動性シナプスの解析を電気生理学的に行った。イオンチャンネル型受容体、およびGABAB受容体のアンタゴニスト存在下で抑制性後シナプス電位(IPSP)が発生することを見い出した。このIPSPが代謝型グルタミン酸受容体(mGluR)のアンタゴニストにより消失すること、mGluR2のノックアウトマウスのゴルジ細胞ではIPSPが消失することから、グルタミン酸シナプスでmGluR2を介してIPSPが生じることが明らかとなった。(2)IL-2R/GFPマウスでは、ヒトIL-2Rを選択的に認識するイムノトキシンを中枢神経に局所投与するとトランスジーンを発現する細胞が選択的に脱落する。網膜では、トランスジーンが、mGluR2の分布と一致して、コリン作動性アマクリン細胞に特異的に発現する。イムノトキシン局所投与によりコリン作動性アマクリン細胞の選択的破壊実験をおこなった。その結果、網膜内の神経ネットワークの情報抽出過程で、光の動きに対して方向選択性が生じるが、これにコリン作動性アマクリン細胞が必須であることを示した。またコリン作動性アマクリン細胞消失後、視運動性眼球運動が障害されることから、網膜での方向選択性により視運動性眼球運動がコントロールされることが示唆された。
関西文壇・出版研究ー中央文壇と海外文学との横断的関連ー

近現代の関西文壇や出版の状況は、まだ全貌が分からないことが多い。本研究では、関西の出版や文壇の状況を把握することを目的とし、海外文壇が関西の作家や出版状況に与えた相互影響関係や、関西の作家と中央文壇(東京)とのつながりについて研究した。明治、大正、昭和期における関西文壇や関西の出版文化が、どのような文化的背景の中で生まれ、東京などの中央文壇や、海外の文学状況と相互に関わりながら、成立し、発展していったのかを調査研究した。関西の作家は、東京の文壇にも進出し、多大な影響を及ぼした。また、海外の中でも、本研究では、とりわけ中国、台湾における関西の作家の役割が一部明らかとなったことは成果といえる。本年度は、全般的な調査・研究を徹底的におこなった。夏季休暇中、およそ十日間にわたり、台湾大学や台湾の国会図書館を利用し、台湾における日本統治時代の文学状況を綿密に調べた。特に関西出身の作家、宇野浩二や与謝野晶子と台湾などの関連が見いだせた。資料調査にあたっては、台湾大学徐興慶先生、静宜大学曽煥棋先生にお世話になった。また、徳島県立文学・書道館および、国立国会図書館、大宅壮一文庫、日本近代文学館などを利用して、現在瀬戸内寂聴の書誌を作成中である。瀬戸内寂聴は、徳島出身で京都在住の作家であるが、世界的な評価を受け、国際ノニーノ賞、文化勲章、文化功労賞などの栄誉ある賞を受けている。文壇でも世話好き作家として有名で、オペラや人形浄瑠璃や歌舞伎の脚本、古典文学の現代語訳などと幅広く手がけ、海外でも上演や朗読されるに至っている。これらの、海外での知名度を考えると、海外文壇と関西文壇との横断的関連性を考える上で、瀬戸内寂聴を研究することは意義のあることと思われる。そこで、本年度から、より精力的に研究を行っている状況である。本年度は、「寂聴文学の世界」と題して『徳島新聞』に「文壇登場まで」「文壇復帰から純文学へ」「出家へ」「出家以後」の四回の連載記事を掲載した。今後は、作品や足跡を辿り、ますます研究を発展させたいと考えている。その他、国立国会図書館、関西大学図書館、島根県立国書館などを利用して、大阪在住作家杉山平一の研究を行った。杉山平一は、東京大学出身で、中央文壇とも関係していたので、関西と中央を繋ぐ意味で興味深い。また、「宇野浩二未発表書簡二十八通-竹村坦・加藤朝鳥・加藤寿々子・福永渙・石村一郎・大江勤・小川正夫・宮西豊逸・矢倉年宛-」を翻刻・発表し、竹村書房とのやりとりから、関西出身作家宇野浩二と竹村書房との出版研究をおこなった。宇野浩二の書簡は、興味深く、出版社や、編集者宛の書簡からは、関西文壇・出版研究の事情が読み取れる。今後も、収集を続け、今ではわからなくなった出版事情を明らかにしていきたい。本年度は、関西の作家や大阪文化について調べ論文を作成した。特に、宇野浩二、大阪のカフェに関する事項などについて調査を行い、関西の作家たちを東京や海外との関連の中でとらえ直す研究を行った。論文として、宇野浩二未発表書簡を発表した。井上靖、中野重治、宇野浩二の交流を示すものである。宇野浩二の後進作家への心遣いやアドバイスなどがみられるもので、『宇野浩二全集』(中央公論社)全12巻には、収録されていない書簡である。大阪の代表作家の宇野浩二の、文壇への影響がわかる貴重な文献を紹介できた。また、大阪におけるカフェは、文藝サロンの役割を果たし、文学を活性化させてきた。海外においても同じで、世界的に共通の動きをみせている。海外のカフェは、東京にもたらされ、大阪にも広がっていった。それらの諸相を考察した。ヨーロッパの「パンの会」などの文藝サロンに日本の文学者達がいかに憧れ、倣っていったのか、カフェから出た貴重な雑誌の文学的価値などを論じた。結果として、関西のモダニズムを再評価することができた。日本の新民謡運動を担った作家達が植民地台湾に何をもたらしたのかを検討し、日本新民謡運動の隆盛と植民地台湾との関係を考察した。特に、台湾の雑誌『わかくさ』に掲載された、西条八十作「台湾音頭」をめぐる剽窃騒動に関しての問題を検討した。また、近代日本新民謡運動が展開する中で、昭和10年代前後に「民謡」の概念が変遷し、変化していったことを国際シンポジウムにて発表し、論文にまとめた。日本新民謡運動を担った作家達の、日本と植民地の文化交流や文化摩擦などの一端がわかった。

「関西文壇・出版研究-中央文壇と海外文学との横断的関連-」という研究テーマでは、出版や文壇の状況を把握することを目的とし、東アジア諸地域の文壇が関西の作家や出版状況に与えた相互影響関系や、関西の作家と中央文壇(東京)とのつながりについて研究した。日本近代文学館、神奈川近代文学館、福岡市立総合図書館、中国山東省博物館、国立国会図書館などを利用して、多くの資料を収集し、関西の作家を中心とした日中文化交流の諸相や意義についても研究した。中華人民共和国成立期における日中文化交流の意義を、第一回「中国訪問日本文学代表」の交流を中心としてとして考察した。関西出身で、関西文壇にも中央文壇にも多大な影響をもたらした作家宇野浩二は、久保田万太郎、青野季吉らと共に、新中国を訪問し、『東京新聞』に「新中国見聞記」を連載した。郭沫若や陽翰笙ら中国の文化人らとも交流し、親交を深めだことも分かつた。この、宇野浩二らの中国訪問は、1956年の、文芸上の注目すべき話題として、「文芸年鑑』(1957年)にも大きく取り上けられている。日本文学と海外の文学との横断的関係を研究したもので、大きな成果をあげることができた。その他、浅草生まれで、戦後詩文壇を引っ張った関根弘と、関西出身の作家野間宏との「狼論争」という詩の論争をとりあけ、関西文壇と東京文壇の思想的相違や、戦後の文壇の混乱の動向を研究した。特に、関根弘は、多くの詩雑誌の編集に携わっていたので、詩雑誌の出版文化研究の一助となる研究成果をあげることができた。
シクロアワオドリンを母核とする人工グリコシダーゼの創製

申請者らは100%のα選択性でL-ラムノシドを合成できる簡便な手法-熱グリコシル化反応-を開発し、L-ラムノースの鎖状六量体を高収率に合成し,これを環化させて、初めてのL-系列環状オリゴ糖を合成し、α-シクロアワオドリンと命名した。その6位のメチル基に反応触媒活性を有する官能基を導入して、包接された特定のゲスト分子のみを基質とする、選択的な触媒反応を開発しようと計画した。アグリコンの大きさや取り込まれ易さによって反応速度が異なるならば、アグリコン選択的な人工グリコシダーゼが創製できることになる。本年度はまず,ラムノース三量体を一気に環化反応まで実現するルートを開拓して,100ミリグラムのシクロアワオドリンの合成に成功し,シクロアワオドリンの抱接の化学を大きく展開することが出来た.さらに酸性残基を有するシクロアワオドリン類(以下酸性シクロアワオドリン)の合成を検討し,Schmidtのイミデート法によるグリコシル化反応を改良して,立体選択的ラムノシル化反応を開発し,基本骨格の合成に成功した.これまで知られているエキソ型のグリコシダーゼのすべては、その末端の糖の種類とグリコシル結合の立体化学を認識するものがほとんどで、アルコール側を認識する酵素は未だ知られていない。今回、申請者らが設計した環状分子酸性シクロアワオドリンがグリコシダーゼ活性を示すことが証明できれば、その最初の例となり,同時に新しいタイプのグリコシダーゼとして糖鎖分析の分野に貢献できると考えている申請者らは100%のα選択性でL-ラムノシドを合成できる簡便な手法-熱グリコシル化反応-を開発し、L-ラムノースの鎖状六量体を高収率に合成し,これを環化させて、初めてのL-系列環状オリゴ糖を合成し、α-シクロアワオドリンと命名した。本年度はまず,シクロアワオドリンの合成効率の改善に努め,ラムノース三量体を一気に環化反応まで実現するルートを開拓することに成功した.そこで酸性残基を有するシクロアワオドリン類(以下酸性シクロアワオドリン)の合成及びこれら酸性シクロアワオドリン類を用いたアグリコン選択的人工グリコシダーゼ活性の探索研究に着手した.これまで知られているエキソ型のグリコシダーゼのすべては、その末端の糖の種類とグリコシル結合の立体化学を認識するものがほとんどで、アルコール側を認識する酵素は未だ知られていない。今回、申請者らが設計した環状分子酸性シクロアワオドリンがグリコシダーゼ活性を示すことが証明できれば、その最初の例となり、同時に新しいタイプのグリコシダーゼとして糖鎖分析の分野に貢献できるに違いない。今回、申請者らが設計した環状分子酸性シクロアワオドリンがグリコシダーゼ活性を示すことが証明できれば、その最初の例となり,同時に新しいタイプのグリコシダーゼとして糖鎖分析の分野に貢献できると考えている
喘息児の症状評価に用いる簡易的気道微小振動測定の開発

規則手水泳運動を実施していない喘息児100名の呼吸機能検査を実施した。その検査はFV、FEV_1、FEV_<1%>、PF、V_<50>/V_<25>の5項目である。5項目の呼吸機能検査は、改善群ではFV2.19±0.2|、FEV_11.92±0.15|、FEV_<1%>87.96±6.13%、PF4.32±0.79|/sec、V_<50>/V_<25>2.17±0.08|、非改善群ではFV1.74±0.29|、FEV_11.66±0.3|、FEV_<1%>95.57±5.36%、PF3.97±0.54|/sec、V_<50>/V_<25>1.62±0.21|であった。以上の5項目の結果から比較的呼吸機能の改善が認められるであろう被験者を選んだ。そして改善群(20名)と非改善群(30名)に分類し、本研究の対象群とした。これら両群の安静時気道微小振動を仰臥位にて胸骨柄頚切痕上縁部に付着した加速度計より導出し、パワースペクトル分析を実施した。その結果、自然鼻呼吸条件で呼気相よりも吸気相に顕著な周波数差が認められた。そして自然吸気相の気道微小振動周波数は非改善群で821.7±51.0Hz、改善群で789.6±63.6Hzであった。非改善群の方が約30Hzもの高い微小振動を示した。さらに随意過剰換気負荷では非改善群が822.3±18.8Hz、改善群が811.0±36.8Hzであった。改善群の微小振動数が約20Hz増加したため非改善群との差はわずか10Hzとなった。以上、気道微小振動が自然呼気条件で非改善群に高く認められ、しかも随意過剰換気負荷でも同値であったことから、これは気道の閉塞症度を示唆するものと考えられる。したがって喘息児の事前発作兆候を認識する補助的評価方法として気道微小振動の分析データの利用が可能となった。
短鎖脂肪酸を介する慢性関節リウマチ滑膜細胞の炎症性サイトカイン産生の抑制の研究

関節リウマチ(Rheumatoid arthritis、RA)は滑膜炎により全身の関節を障害する難治性の慢性炎症性疾患である。その病態形成では種々の炎症性サイトカイン、特にTNFα-TNFレセプター系が重要な役割を演じる。近年、短鎖脂肪酸、中でも酪酸の炎症性腸疾患におけるTNFαの産生抑制効果が示唆されている。しかしそのメカニズムの詳細や、酪酸の他の炎症性病態への応用は十分解析されていない。本研究では培養滑膜細胞および単球系細胞を用いた酪酸のTNFα産生系に対する影響を解析した。結果、酪酸は滑膜細胞の刺激依存性TNFα産生をmRNA発現レベルで抑制した。RA滑膜炎におけるTNFα産生の責任細胞として単球-マクロファージ系細胞が重要であるが、酪酸の上記作用はヒト末梢血単球、およびマウスマクロファージ系RAW264.7細胞でも証明された。そこでTNFα5'プロモーター領域、およびその重要な転写活性化因子NF-kB結合配列を用いたluchiferase assayにて酪酸の影響を検討したが、予想に反し酪酸は上記の活性を阻害せず、むしろ自身のHDAC抑制作用を介すると思われる転写促進効果を示した。次にTNFαmRNA 3' UTRを介するmRNA半減期調節機序への影響を考慮し検討したところ、酪酸はTNFαの3' UTR内に存在するAUR配列を介してそのturn overに影響を及ぼす結果を得た。さらにTNFαの3' UTR結合因子であるTIS11ファミリー分子中、TIS11Bは酪酸により発現が誘導され、かつTIS11BをRAW264.7に導入するとLPSによる同細胞のTNFα発現を有意に抑制した。以上より酪酸はTIS11Bを含むAUR結合因子の作用を介して活性化マクロファージ系細胞のTNFα産生を抑制しうることが示唆され、この経路がRAの治療における新たな標的になりうると考えられた。関節リウマチ(Rheumatoid arthritis、RA)は全身の大小関節の滑膜を病変の主座とする難治性の慢性炎症性疾患である。RAの滑膜炎の病態形成には種々の炎症性サイトカインが関与し、中でもTNFα-TNFレセプター系の重要性が明らかにされている。近年、炎症性腸疾患の領域の研究で短鎖脂肪酸、中でも酪酸がTNFαの産生抑制効果を有することが近年示唆されている。しかしながら酪酸の他の炎症性病態への応用可能性や、そのTNF系への作用メカニズムの詳細は十分解析されていない。そこで本研究において、培養滑膜細胞を用いた酪酸のTNFα産生系に対する影響の検討を行いった。結果、酪酸が滑膜細胞の刺激依存性TNFα産生に対し抑制効果を示すことが確認され、またその抑制作用はmRNAレベルで認められた。RA滑膜炎におけるTNFα産生異常の重要な責任細胞は単球-マクロファージ系細胞であるとされるが、酪酸の上記作用はヒト末梢血単球、およびマウスマクロファージ系RAW264.7細胞にも共通して証明された。そこでTNFα5'プロモーター領域、およびその重要な転写活性化因子NF-kB結合配列を用いたluchiferase assayにて酪酸の作用を検討した。予想に反し、酪酸は上記の活性を阻害せず、むしろ自身のHDAC抑制作用を介すると思われる転写促進効果を示した。よって酪酸には転写調節以外の機序によるTNF mRNA

産生調節作用があることが強く示唆され、スプライシング機構への影響、3'UTRを介するmRNA半減期調節機序への影響を検討した。現在までに、酪酸がTNFαの3'UTR内に存在するAUR配列を介してそのturn overに影響を及ぼす結果を得ており、その機構の詳細や介在蛋白の同定、およびこれらを介した治療応用の可能性を次年度で明らかにすべく、ひきつづき検討を行っている。関節リウマチ(Rheumatoid arthritis、RA)は滑膜炎により全身の関節を障害する難治性の慢性炎症性疾患である。その病態形成では種々の炎症性サイトカイン、特にTNFα-TNFレセプター系が重要な役割を演じる。近年、短鎖脂肪酸、中でも酪酸の炎症性腸疾患におけるTNFαの産生抑制効果が示唆されている。しかしそのメカニズムの詳細や、酪酸の他の炎症性病態への応用は十分解析されていない。本研究では培養滑膜細胞および単球系細胞を用いた酪酸のTNFα産生系に対する影響を解析した。結果、酪酸は滑膜細胞の刺激依存性TNFα産生を血RNA発現レベルで抑制した。RA滑膜炎におけるTNFα産生の責任細胞として単球-マクロファージ系細胞が重要であるが、酪酸の上記作用はヒト末梢血単球、およびマウスマクロファージ系RAW264.7細胞でも証明された。そこでTNFα5'プロモーター領域、およびその重要な転写活性化因子NF-κB結合配列を用いたluchiferase assayにて酪酸の影響を検討したが、予想に反し酪酸は上記の活性を阻害せず、むしろ自身のHDAC抑制作用を介すると思われる転写促進効果を示した。次にTNFαmRNA 3' UTRを介するmRNA半減期調節機序への影響を考慮し検討したところ、酪酸はTNFαの3' UTR内に存在するAUR配列を介してそのturn overに影響を及ぼす結果を得た。さらにTNFαの3' UTR結合因子であるTIS11ファミリー分子中、TIS11Bは酪酸により発現が誘導され、かつTIS11BをRAW264.7に導入するとLPSによる同細胞のTNFα発現を有意に抑制した。以上より酪酸はTIS11Bを含むAUR結合因子の作用を介して活性化マクロファージ系細胞のTNFα産生を抑制しうることが示唆され、この経路がRAの治療における新たな標的となりうると考えられた。
興奮性および抑制性シナプス間の相互作用に関する形態学的研究

哺乳類動物の脳内においては興奮性シナプスは主にグルタミン酸を、抑制性シナプスは主にGABAを伝達物質として用いている。本研究では、グルタミン酸を感知する受容体のうち代謝調節型のmGluR7が淡蒼球や嗅結節におけるGABAの放出部位に、GABAを感知する受動態のうち代謝調節型のGABAR1とGABABR2が小脳におけるグルタミン酸の放出部位に、それぞれ存在することを示した。電子顕微鏡的に、GABAB受容体は伝達物質の放出のトリガーとなる電位依存性カルシウムチャネルのP typeを形成するサブユニットが認められたのと同じ部位に検出された。これらの結果は、興奮性と抑制性のシナプスがお互いに伝達物質の放出を調節することを通して、作用し合っていることを示唆している。今後は、さらに他の受容体やチャンネルの共存を調べると共に、電気生理学的にこれらの受容体を介した伝達調節のメカニズムを明らかにしていきたいと考えている。哺乳動物の脳神経系において、主要な興奮性神経伝達物質はグルタミン酸、抑制性伝達物質はガンマアミノ酪酸(GABA)と考えられている。これらの伝達物質は、シナプス直下に存在しイオンチャネルを分子内に持つイオノトロピック型受容体を介して、速い情報伝達を担うと考えられてきた。しかし、近年、よりゆっくりした時間経過での神経細胞の機能調節を担うメタボトロピック型受容体が次々に明らかにされてきた。申請者は、平成10年度、GABAのメタボトロピック型受容体であるGABA@@S2B@@E2受容体をクローニングしたスイスのグループとの共同研究でGABA@@S2B@@E2受容体の抗体を作製し、この受容体が小脳の平行線維-プルキンエ細胞間シナプスに存在することを発見し、さらに2つのサブタイプがグルタミン酸作動性シナプスに共存して、機能的な受容体を形成していることを報告した(Kaupmann et al.,Nature 1998)。これらの研究の過程で明らがとなったことは、抑制性神経伝達物質であるGABAがGABA@@S2B@@E2受容体を介して、グルタミン酸による興奮性神経伝達を調節しているらしいということである。今後の問題点としては、小脳における生理的アゴニストであるGABAがいかなる神経要素から由来し、その結果、グルタミン酸作動性シナプスに対してどのような調節作用を発現しているのかということである。この事を探求するために、GABAの放出部位とそれが作用するGABA@@S2B@@E2受容体、およびそのグルタミン酸作動性シナプスとの空間的位置関係を高解像度で明らかにすることが非常に重要であると考えられ、現在、高解像度免疫電顕法を定量的に解析しているところである。得られた結果は、神経伝達の生理学的研究にも大きな示唆を与えるものと考えている。哺乳動物の脳内においては興奮性シナプスは主にグルタミン酸を、抑制性シナプスは主にGABAを伝達物質として用いている。本研究では、グルタミン酸を感知する受容体のうち代謝調節型のmGluR7が淡蒼球や嗅結節におけるGABAの放出部位に、GABAを感知する受容体のうち代謝調節型のGABABRlとGABABR2が小脳におけるグルタミン酸の放出部位に、それぞれ存在することを示した。今後は、さらに他の受容体やチャネルの共存を調べると共に、電気生理学的にこれらの受容体を介した伝達調節のメカニズムを明らかにしていきたいと考えている。
抽象高階書換え系によるプロセス計算系の定式化に関する研究

本研究は,書換え系の枠組みで移動体(mobile)プロセスの諸計算系の定式化を行うことを目的とした.この定式化を行うことで,書換え系の視点からプロセスの等価性や型判定などの自動検証に寄与できる抽象高階書換え系はvan Oostromにより提案された高階項書換え系である力舳の高階項書換え系と大きく異なるのは,代入計算と呼ばれる仕組みを導入することで,書換えを代入のフェーズと置換のフェーズに明確に分離している点である.正確には,抽象高階項書換え系はメタな枠組みであり,具体的に代入計算を与えることで様々な書換え系を表現することができる.我々は,この特徴に着目し,抽象高階項書換え系を用いてπ計算系をはじめとする種々の移動体プロセス計算系の定式化を試みた.その結果として,抽象高階項書換え系に等式の集合を追加することで,π計算系を定式化できることを見いだした.今回,プロセス計算系と書き換え系とを対応づけたことによって,プロセス計算系の理論的性質を書き換え的なアプローチから解明することが可能となった.今後,この方向にさらなる研究を続けていきたい.もう一つの我々の研究成果は,抽象高階項書換え系と一階および高階ナローイングとの関係についての研究,および高階ナローイングの理論的性質に関する研究である.プロセス計算系は並列論理型言語の意味論を与えることは知られているが,ナローイングは関数型と論理型を包含した関数論理型言語の意味論を与える.このことから,抽象高階項書換え系におけるナローイングの研究とプロセス計算系の定式化の研究を並行して行った.まず、我々はPrehoferにより提案された高階ナローイング計算系を出発点として,新たな高階ナローイング計算系をいくつか提案し,それらの完全性を示した.高階ナローイング計算系では,その探索空間の広さが実装上の大きな問題点となるが,提案された計算系は,Prehoferのものよりも探索空間をより小さくできることを示した.さらに,一階および高階のナローイングを抽象高階項書換え系を用いて二通りの方法で定式化できることと,見かけ上まったく異なるそれらの定式化がパターン項書換え系と呼ばれる標準的なクラスでは一致することを示した.また,この定式化にしたがうナローイングが求解完全性をもつことを示した.本研究は,書換え系の枠組みで移動体(mobile)プロセスの諸計算系の定式化を行うことを目的とした.この定式化を行うことで,書換え系の視点からプロセスの等価性や型判定などの自動検証に寄与できる抽象高階書換え系はvan Oostromにより提案された高階項書換え系である力舳の高階項書換え系と大きく異なるのは,代入計算と呼ばれる仕組みを導入することで,書換えを代入のフェーズと置換のフェーズに明確に分離している点である.正確には,抽象高階項書換え系はメタな枠組みであり,具体的に代入計算を与えることで様々な書換え系を表現することができる.我々は,この特徴に着目し,抽象高階項書換え系を用いてπ計算系をはじめとする種々の移動体プロセス計算系の定式化を試みた.その結果として,抽象高階項書換え系に等式の集合を追加することで,π計算系を定式化できることを見いだした.今回,プロセス計算系と書き換え系とを対応づけたことによって,プロセス計算系の理論的性質を書き換え的なアプローチから解明することが可能となった.今後,この方向にさらなる研究を続けていきたい.もう一つの我々の研究成果は,抽象高階項書換え系と一階および高階ナローイングとの関係についての研究,および高階ナローイングの理論的性質に関する研究である.プロセス計算系は並列論理型言語の意味論を与えることは知られているが,ナローイングは関数型と論理型を包含した関数論理型言語の意味論を与える.このことから,抽象高階項書換え系におけるナローイングの研究とプロセス計算系の定式化の研究を並行して行った.まず、我々はPrehoferにより提案された高階ナローイング計算系を出発点として,新たな高階ナローイング計算系をいくつか提案し,それらの完全性を示した.高階ナローイング計算系では,その探索空間の広さが実装上の大きな問題点となるが,提案された計算系は,Prehoferのものよりも探索空間をより小さくできることを示した.さらに,一階および高階のナローイングを抽象高階項書換え系を用いて二通りの方法で定式化できることと,見かけ上まったく異なるそれらの定式化がパターン項書換え系と呼ばれる標準的なクラスでは一致することを示した.また,この定式化にしたがうナローイングが求解完全性をもつことを示した.今年度は,まず,Mayrによるプロセス書換え系と抽象高階書換え系との対応関係について検討し,ついでMilnerにより提案されたπ-計算系の抽象高階書換え系による定式化の検討を行った.この過程でいくつかの問題点が浮かび上がった.その中でもっとも大きな問題点は,局所化に関する違いの問題である.抽象高階書換え系は,関数の数学的理論であるλ計算に基礎を置いている.このため,局所化はλ抽象により導入される束縛変数により局所化を実現している.一方,π-計算系が提供している局所化の枠組みはλ抽象に類似しているが,それよりも柔軟性が高い.このため,抽象高階書換え系により定式化しようとすると,局所化の部分で微妙にずれが生じてしまうことがわかった.

この問題に関して,いくつかの解決策を検討したが,決定的なものはまだ得られていない.平成14年度には,この点についての検討をひきつづき行い,π-計算系の抽象高階書換え系への定式化方法の確立をめざす.また,プロセス計算を抽象高階書換え系で定式化できれば,高階項書換え系上での高階ナローイングの研究と組み合わせることで,並行関数論理型プログラミング言語に関する自然な計算モデルが得られることが期待される.この方向へ研究をすすめるために、Prehoferにより提案された高階ナローイング計算系を出発点として,新たな高階ナローイング計算系をいくつか提案し,それらの完全性を示した.高階ナローイング計算系では,その探索空間の広さが実装上の大きな問題点となるが,提案された計算系は,Prehoferのものより探索空間をより小さくできる.今年度は,(1)π計算系の等式付き抽象高階項書換え系による定式化(2)抽象高階項書換え系による一階および高階のナローイングの一般化の二つの作業を行った.(1)に関しては,まず,昨年度の問題点であった変数の局所化に関するπ計算系と抽象高階書換え系の違いをどう埋めるかについて,考察を行った.その結果,λ抽象をうまく用いることで,二つの体系の間の差を埋めることに成功した.また,抽象高階項書換え系に等式の集合を追加することで,π計算系の構造合同性が自然に定式化できることを見出した.このため,等式付き抽象高階項書換え系の定義を行い,それを用いてπ計算系の定式化を得た.さらに,プロセス定義式を直接定式化することで,二つのプロセス式間の構造合同性の決定可能性に関する十分条件を書換え系の枠組みで検討することへの道筋を開いた.今後,この方向へ研究を続けることで,書換え的手法を用いたプロセス計算系の理論的性質の解明を行っていきたい.今後研究を進めたいのは,今回の定式化の結果で用いた体系とMesegureの書換え論理との関係である.書換え論理は,等式付き項書換え系がみたす論理体系を記述したものとみなせるが,等式付き項書換え系そのものではなく,その論理としたことで抽象的な枠組みを獲得している.一方,等式付き抽象高階項書換え系は,高階性を導入したことで,抽象的な枠組みを獲得している.後者の方が,λ項という構文的により豊かな枠組みをもっているために,対象の理論的性質を構文論的な手法で議論するには適すると予想しているが,両者の厳密な比較はこれからの課題である.(2)は抽象高階項書換え系と一階および高階ナローイングとの関係についての研究である.プロセス計算系は並列論理型言語の意味論を与えることは知られているが,ナローイングは関数型と論理型を包含した関数論理型言語の意味論を与える.このことから,抽象高階項書換え系におけるナローイングの研究とプロセス計算系の定式化の研究を並行して行った.ナローイングを抽象高階項書換え系を用いて二通りの方法で定式化できることと,見かけ上まったく異なるそれらの定式化がパターン項書換え系と呼ばれる標準的なクラスでは一致することを示した.また,この定式化にしたがうナローイングが求解完全性をもつことを示した.