hpprc/llmjp-kaken huggingface dataset:
ラット肝臓類洞細胞による変性アルブミンの取り込みとその分解に関する研究

フォルマリンにより変性させたアルブミンに西洋ワサビペルオキシダーゼを化学的に結合し,これをラットに静注して時間を追って肝臓を灌流固定した.肝組織に次のような処理が加えられた.1)ペルオキシダーゼ活性の細胞化学的染色, 2)グルタルアルデヒド単独固定エボン包理, 3)ロヴィクリルK4M包理.1)の観察により変性アルブミンは類洞の中皮細胞とクッパー細胞によって取り込まれ,分解されることが再確認された.2)の1um切片を脱エボンして免疫細胞化学的にカテプシンB, D,およびHについて染色し,次の結果を得た.カテプシンBは肝細胞に強く陽性であるが,類洞の細胞にはあまり強くなかった.カテプシンDは肝細胞および類洞の細胞に強染した.カテプシンHの反応は肝細胞には弱いが,類洞の細胞に強かった.3)の長薄切片をプロテインA-金コロイド法により,上述のプロテアーゼについて染色すると,金粒子によるラベルはファゴソームに見られ,また細胞間の染色態度は光頭の結果と一致した.これらの結果は次のことを示唆している.類洞の内皮細胞やクッパー細胞によって取り込まれた変性アルブミンはこれらの細胞のファゴソーム内で分解されるが,この分解に関与する蛋白分解酵素として,今回調べられたカテプシンは多かれ少なかれ全て関与しているが,特にカテプシンDとHが強く係わっている.また類洞の細胞のカテプシンHは変性アルブミンの投与により誘導されるように思われる.腎臓を用いた実験はほぼ終了し,米国の解剖学誌Anatomical Recordに掲載される.静脈中の注入された変性アルブミンは肝類洞の内皮細胞とクッパー細胞(以後、類洞細胞と呼ぶ)によって速やかに取り込まれ分解される。これまでの研究で次のことが明かとなった。この取り込みは受容体-仲介エンドシトーシスによって特異的に行なわれ、関与する細胞小器官はコーテッド・ピッツ、コーテッド・ヴェシクル、エンドソームである。またエンドソームはこれらの細胞ではファゴリソソームを経て二次リソソームに変化していく。取り込まれた変性アルブミンはファゴリソソームの中で分解される。時間的経過は極めて速く、静注後10秒ですでに取り込み装置の一部に入っている。3-5分で取り込みはピークに達し、急速にファゴリソソームの中に蓄積し、30分で分解もほぼ終了する。63年度はこのファゴリソソームの中で変性アルブミンの分解に関与するプロテアーゼを特定するために、カテプシンD、B、Hの免疫細胞化学的検索を行なった。変性アルブミンの静注後、10、30、60分に肝臓を潅流固定し、エボンおよびロヴィクリルK4Mに包埋した。光顕観察には酵素抗体法をエボン切片に適用する方法を、また電顕観察にはプロテインA-金法を用いた。光顕的には、変性アルブミンの取り込みに伴って染色性を増したのはカテプシンDとHで、Bは殆ど変化しなかった。電顕的には、カテプシンDとHを示す金粒子はファゴリソソームにみられた。カテプシンBに対する反応も弱いが認められた。抗アルブミン抗体を用いて二重染色を行なうと、カテプシのとアルブミンは同一のファゴリソソームに共存していた。これらの結果は類洞細胞によって取り込まれた変性アルブミンの分解にカテプシンDとBが寛容していることを示している。またこの研究はカテプシンの生体における役割にひとつの具体的な例を与えた。
CD36を標的としたがん治療の創薬開発

がん増殖に関わる分子機構は成人病疾患発生の分子機構と類似していることが報告されています。本来、がん治療の標的分子であるHB-EGFは動脈硬化にも深くかかわる分子で、脂質代謝に関わる酸化LDL-CD36-PPARγの伝達経路の活性化がHB-EGFの発現亢進を制御することを明らかにしています。そこで、本研究では、CD36の卵巣癌症例における発現を検証するとともに、CD36の機能を抑制する中和抗体薬を作製してがん治療薬の創薬開発を行うことです。本研究の成果は、新規標的治療薬の開発となることだけでなく、HB-EGF特異的抑制剤BK-UMとの併用療法による相乗的治療効果が期待されます。CD36は細胞膜2回貫通型の受容体で、酸化LDLやThrombospondinなどが結合する。CD36は細胞表面に表現されているため、中和抗体を作製することが可能です。CD36の中和抗体を作成するために、ヒトCD36分子発現ベクターを作製し、マウスNIH3T3細胞に遺伝子導入しました。これにより、ヒトCD36を細胞表面に発現したNIH3T3細胞を作製し、CBマウスの腹腔内にアジュバントとともに注入し免疫を行いました。脾臓を摘出後に細胞をマウス形質細胞と細胞融合してHybridoma Libratryを作製、Hybridomaにより産生された抗体をを含む上清を用いて、結合能のスクリーニングを行い、46株の抗ヒトCD36抗体を産生するHybridomaを得ました。この上清を用いて、中和活性のスクリーニングを行いました。卵巣がん細胞株を抗CD36抗体を含む培地で培養すると、1種類の上清で細胞株の増殖能が抑制されました。また、CD36は酸化LDLと結合することにより、Srcを介してNRF2を活性化し、HB-EGFの転写を活性化することがわかっています。そこで、ヒトCD36遺伝子を導入したマウスNIH3T3細胞にHB-EGFのプロモーター配列をルシフェラーゼ遺伝子の上流に挿入したレポーターベクターを遺伝子導入し、得られた抗体の中和活性を検討しました。ヒトCD36遺伝子を導入したマウスNIH3T3細胞ではヒトCD36遺伝子を導入していないNIH3T3と比較し、酸化LDL添加による発光強度の増強が減弱した。これによりCD36中和抗体が得られた。CD36の中和抗体を作製するために、ヒトCD36発現ベクターを作製し、マウスNIH3T3細胞に遺伝子導入しました。これにより、ヒトCD36を細胞表面に発現したNIH3T3細胞を作製し、CBマウスの腹腔内にアジュバントとおもに注入し、免疫を行いました。脾臓を摘出後に細胞をマウス形質細胞と細胞融合してHybridoma Libratryを作製、Hybridomaにより産生された抗体を含む上清を用いて、結合能のスクリーニングを行い、46株の抗ヒトCD36抗体を産生するHybridomaを得ました。卵巣癌細胞株を抗CD36抗体を含む培地で培養すると、1種類の上清で細胞株の増殖能が抑制されました。ヒトCD36遺伝子を導入したマウスNIH3T3細胞ではヒトCD36遺伝子を導入していないNIH3T3と比較し、酸化LDL添加による発光強度の増強が減弱しました。これによりCD36中和抗体が得られました。得られた中和抗体のモノクローナル抗体を大量精製に取り組んでいます。また、浮遊培養システムを用いて、精製した抗体の中からがん細胞増殖活性を抑制する抗体をスクリーニングしている。CD36は細胞膜2回貫通型の受容体で、酸化LDLやThrombospondinなどが結合します。CD36は細胞表面に表現しており、中和抗体を作製することが可能と考えられます。CD36の中和抗体を作製する為に、ヒトCD36発現ベクターを作製し、マウスNIH3T3細胞に遺伝子導入しました。これにより、ヒトCD36を細胞表面に発現したNIH3T3細胞を作製し、CBマウスの腹腔内にアジュバントと共に注入し、免疫を行いました。脾臓を摘出後に細胞をマウス形質細胞と細胞融合し、Hybridoma Libraryを作製、Hybridomaにより産生された抗体を含む上清を用いて、結合能のスクリーニングを行い、46株の抗ヒトCD36抗体を産生するHybridomaを得ました。また、CD36は酸化LDLと結合し、Srcを介してNRF2を活性化し、HB-EGFの転写を活性化することがわかっています。

そこで、ヒトCD36遺伝子を導入したマウスNIH3T3細胞にHB-EGFのプロモーター配列をルシフェラーゼ遺伝子の上流に挿入したレポーターベクターを遺伝子導入し、得られた抗体の中和活性を検討しました。ヒトCD36遺伝子を導入したマウスNIH3T3細胞ではヒトCD36遺伝子を導入していないNIH3T3と比較し、酸化LDL添加による発光強度の増強が減弱し、これによりCD36の中和抗体を得ました。さらにこの中和抗体を用いて、卵巣癌細胞株をnude mouseに皮下移植したxenograft model mouseに対し、中和抗体を静脈内投与しました。その結果、中和抗体は濃度依存性に腫瘍増殖抑制効果を発揮し、さらにはマウスの体重減少や異常行動はみられず、安全に投与可能であることも明らかにしました。がん増殖に関わる分子機構は成人病疾患発生の分子機構と類似していることが報告されています。本来、がん治療の標的分子であるHB-EGFは動脈硬化にも深くかかわる分子で、脂質代謝に関わる酸化LDL-CD36-PPARγの伝達経路の活性化がHB-EGFの発現亢進を制御することを明らかにしています。そこで、本研究では、CD36の卵巣癌症例における発現を検証するとともに、CD36の機能を抑制する中和抗体薬を作製してがん治療薬の創薬開発を行うことです。本研究の成果は、新規標的治療薬の開発となることだけでなく、HB-EGF特異的抑制剤BK-UMとの併用療法による相乗的治療効果が期待されます。抗体作成に際し、中和活性を持つ抗体を作成し得たものの、1クローンのみの作成にとどまっている。現在モノクローナル抗体の作成に取り組んでいるが、完成するかどうかは確率により左右されるため、モノクローナル抗体の大量精製までは至っていない。モノクローナルな抗CD36中和抗体の作製を継続し、最も中和活性が高かった抗体を大量精製していきます。モノクローナル抗体作製後は非臨床試験を行います。CD36を発現する卵巣癌、乳癌、胃癌などの細胞株を用いて免疫不全マウスに皮下腫瘍および腹膜播種を形成させ、精製したCD36中和抗体を投与し、腫瘍増殖抑制効果を検討します。現在、ファージディスプレイを用いた抗体の作製にも着手予定です。さらに、これまでの研究成果の論文作製も開始しています。医学、分子生物学モノクローナルな抗CD36中和抗体を作成します。その活性を評価し、最も中和活性の高かった物を大量精製します。モノクローナル抗体作成後は非臨床試験を行います。CD36を発現する卵巣癌・乳癌・胃癌などの細胞株を用いて免疫不全マウスに皮下腫瘍および腹膜播種を形成させ、精製したCD36中和抗体を10mg/kg, 1mg/kgを週1回、合計4回静脈投与し皮下腫瘍の大きさを毎週測定し、抗腫瘍効果を検討します。さらに、各癌種に適応のある抗癌剤を用いて、相乗効果のある抗癌剤を探索します。
教職スタンダードに係わる国際動向調査から教師教育における普遍的知見を探究する研究

国際的な調査研究ディスコースから,教師の専門性形成の議論をめぐる科学的合理性のパラダイム転回を明示した。さらに教育領域の国際的調査研究が示す指標やスタンダード,ベンチマークをめぐるわが国での認識が,国際的な調査研究で示されている文脈から大きく乖離することを確認した。この要因を教育研究の方法論的展開を整理して特定するとともに,科学的合理性に基づく普遍的知見をめぐるわが国の認識の固定化と個別化の問題を指摘し,認識の再構築を図った。その具体的方法の1つとして,エビデンスをめぐる認識を再構築する必要性を確認し,エビデンスを構成する重要な要素に「対話性保証の機能」と「反証可能性」の存在を示し,対話性を保証するエビデンスの具体的事例を提示するとともに,エビデンスを対話ツールとして用いた下記にあげる教師教育(および教員養成)の教材を展開した。(2)Yurita, M. (2019).「教員志願者減少の時代を前に:対話のためのエビデンス」『優れた教員の量的確保に向けたわが国の課題と諸外国における施策と根拠』. NITS.当初計画にある実地調査の結果を踏まえた文献調査を通して,わが国における教育行政や教育実践,さらに教育研究のそれぞれが前提とする認識課題の特定に至っている。特定した課題認識のパラダイムとその影響については,すでに学会やシンポジウム等を通して共有と意見交換に努めており,昨年度末に設定した知見の共有についても目標を達成しており,当初計画よりも早く,この認識課題が教員の専門性形成をめぐる国内的課題認識や研究が示す実証的知見に与える影響を実証的に確認する段階に到達している。平成31年度より,国外研究機関への2年間の異動(転出)のため,本研究は2年間の猶予期間を申請し,平成33年度より再開する予定。なお,転出先機関では教師教育領域の専門的調査研究を担うため,継続的に情報収集と知見の獲得を図る。経済協力機構(OECD)ほか,オーストラリア,ノルウェー,デンマークの教員養成・教師教育の研究および行政機関に聞き取り調査を実施。各国における教師の資質能力形成をめぐる研究・政策動向の把握と整理に努めた。実地調査を通して,各国の政策担当者,行政担当者を始め,教師教育研究者,実践者との研究ネットワークの構築と強化とに取り組み,十分な成果が得られている。特にオーストラリアの教員スタンダード作成・施行機関であるAITSLからは,具体的スタンダードとその設置プロセス等をめぐる詳細な情報を取得した。初年度計画にある実地調査を概ね実施し,各国教育省およびその他ステークホルダーとの研究ネットワークの確立を順調に進めている。研究過程において得られた知見等については,学会報告や招待発表等の機会を活用して積極的に公開・共有を進めることができている。2年目も教師教育実践においてGood Practiceとされている国地域について追加調査を実施し,各国地域に共通する教師教育課題と制度上の特性を明らかにする。また同時に,これまでの調査で得られた知見を情報として共有することに努める。年度当初の研究代表者の異動にともない,予定されていた国外調査の実施時期がよく年度にずれ込んでいること,および異動に伴う物品購入手順の整理のために予定している物品購入が1年間ずれ込んでいるためである。繰越額(次年度使用額)は,初年度実施不可能だった国外調査と必要物品購入に充当する予定。予定した国外調査を所属機関の業務上の渡航と組み合わせて実施したため,当該年度に予定していた旅費を抑えることが可能になった。この繰越し額については(国外駐在のための科研中断・延期後に)継続する研究において国外の研究者との連携と情報のアップデートに充てる。
日本・アジア・アフリカの学校の連携による自然環境教育に関する研究

授業実践に関しては,フィリピンのカタンドワネス島の国立カタドワネス高校で愛媛県大洲市立大洲北中学校教諭が環境水に関する授業をフィリピンの高校生に行った。これをカタドワネス高校の教員たちが授業参観を行った。また同様に鳴門教育大学の学部生が土を題材に授業を行った。フィリピンのビコール州立大学と交流も行った。これを論文にまとめた。また,カンボジア国立教育大学附属高校でカンボジアの高校生に愛媛県大洲市立大洲北中学校教諭が洗剤に関する授業と徳島県阿南市立阿南題意に中学校の教諭がアミノ酸しょうゆに関する授業を行った。カンボジア国立教育大学の教員との交流も行った。ガーナならびに南アフリカでも自然環境教育に関する情報交換を中心に交流を行っているが,日本人の教員を連れて授業実践をするところまでいっていない。18年度に別途予算を組み,計画をしている。教材開発に関しては,環境教育の日本における取り扱いの変遷に関して調査研究を行い,「化学と教育」誌に投稿し掲載された。河川を題材とした教材開発(銅鉱山あとに関するものと微生物群溶液に関する)に関しても論文も2編投稿し,1つは掲載,1つは現在審査中である。また,土壌を題材とした研究(腐植の還元力,土壌溶液中の微生物量,土壌を校正する金属の定量)に関しては3つ論文を投稿し,現在審査中である。環境水の分析法(表面張力を利用したものと,繊維を利用したもの)に関した教材開発に関しても2つ論文を投稿中である。以上のように多数の成果が得られた。交流プログラムに関しても現在これらの実践と教材開発を協同で今後も行えるものを検討中である。日本・アジア・アフリカの学校の連携による自然環境教育を推進するため,本学で目的に添う教材開発(洗剤や土に関する)をガーナからの留学生と和歌山県の高校教諭が共同でまず行い,それを徳島県城南高校で1年にわたって,有効性を実践研究した。有効であることが確認されたものを平成16年8月にフィリピンの国立カタドワネス高校で日本の現職教員(愛媛県の中学校教諭)を同行し,研究授業を実施した。また本学の学部生に同じくこの高校で環境教育教材を用いた研究授業を実施した。またその地域(ビコール州)の教員用成蹊大学ビコール大学と研究協議し,お互いの附属学校で継続的に共同研究していくことに合意した。また徳島県城南高校での授業実践を続けながら,平成17年2月にカンボジア国立教育大学の附属高校で同様に自然環境教育に関する研究授業を徳島県の中学校教諭(トックトライというカンボジアのソースの中にアミノ酸が含まれていることを確認する授業)と愛媛県の中学校教諭(河川水中の洗剤量について)が実施した。それぞれの日本での勤務校でも授業実践を行い,授業実践をした教諭自らがそれぞれの国の自然に対する感じ方の違いを発見するとともにそれぞれの生徒たちがデータを共有し,日本・フィリピン・カンボジアの学校教育の交流とお互いに知ろうとする意欲が見られた。この1年で全く新しい教材を多数開発し,そのいくつかは現在「化学と教育」に投稿中である。また環境に対するそれぞれの国の取り組み方の違いを教科書の記述から明らかにするための分析を行い,現在日本のものについては同様に「化学と教育」に投稿中である。日本の高校でガーナからの留学生による授業実践においてガーナの環境教育との違いを高校の教員とも協議することができ,さらに次年度ガーナの高校で授業実践をするためのカリキュラムの作成等の準備ができた。

また,カンボジア国立教育大学附属高校でカンボジアの高校生に愛媛県大洲市立大洲北中学校教諭が洗剤に関する授業と徳島県阿南市立阿南題意に中学校の教諭がアミノ酸しょうゆに関する授業を行った。カンボジア国立教育大学の教員との交流も行った。これを論文にまとめた。ガーナならびに南アフリカでも自然環境教育に関する情報交換を中心に交流を行っているが,日本人の教員を連れて授業実践をするところまでいっていない。18年度に別途予算を組み,計画をしている。教材開発に関しては,環境教育の日本における取り扱いの変遷に関して調査研究を行い,「化学と教育」誌に投稿し掲載された。河川を題材とした教材開発(銅鉱山あとに関するものと微生物群溶液に関する)に関しても論文も2編投稿し,1つは掲載,1つは現在審査中である。また,土壌を題材とした研究(腐植の還元力,土壌溶液中の微生物量,土壌を校正する金属の定量)に関しては3つの論文を投稿し,現在審査中である。環境水の分析法(表面張力を利用したものと,繊維を利用したもの)に関した教材開発に関しても2つ論文を投稿中である。以上のように多数の成果が得られた。交流プログラムに関しても現在これらの実践と教材開発を協同で今後も行えるものを検討中である。
外乱除去型ヘテロダイン干渉法光ファイバ微小圧センサ

外乱除去型ヘテロダイン干渉法光ファイバセンサの光学系の構成の検討を行った。1.プローブ型については、圧力トランスデューサの変位を計測するため:(1)1本の偏波面保存光ファイバに周波数の異なる直交2偏波光を入射して行う方法を検討したが、その伝搬定数の違いがあるため、外乱除去ができなかった。またクロストーク等のため真のヘテロダイン干渉の実現は難しかった。(2)2周波数偏移光を別々に伝送する3ファイバ型プローブを作製した。外乱除去のため、グレイデッド・インデックス型マイクロレンズを特殊加工し、ファイバで受光し途中光路のみの位相を含む参照信号を得、物体の変位と途中光路の位相を含む信号との差動により、物体の変位情報のみを求めた。(3)伝送と受光を兼用するファイバとして、シングルモードファイバとGI型多モードファイバを融着接続して用いた。受光を容易にでき、開口角は10倍大きくでき、またモードセレクタの役目を果たし、鮮鋭度の高いビート信号を得た。(4)検出限界について、光検知器のショットノイズから計算して、【10^(-3)】nm程度になる。(5)応用として、光熱変位,光音響計測に有効に使用できることを示した。2.光ファイバ自体をセンサとする機能型センサについては:(1)周波数安定化He-Ne横ゼーマンレーザを用いて、外乱の影響を受けにくい光学系を構成した。(2)ゼーマンレーザの直交偏波の不完全性を偏光調整器により改善し、クロストークを少なくできた。(3)光路長差のある干渉計での、レーザ光の周波数安定度の影響について検討したところ、低周波の圧力検出では問題になるが、高周波の圧力検出では問題にならない。(4)圧力検出限界は、長尺ファイバを使用することにより、10μPaというきわめて微小な変位の検出が可能になる見通しを得た。(5)光学系,信号処理の改善,性能評価,さらに進んだシステムの構成は、来年度の課題としたい。
膜タンパク質のｉｎ　ｖｉｖｏ再構成技術の開発

タンパク質の細胞内導入技術と生細胞内でのタンパク質の巻き戻し技術を併用して、前駆体タンパク質の細胞内導入に伴う膜タンパク質の再構成技術の開発に取り組んだ。本技術達成に向けて、in cell folding技術の大幅な改善に成功したほか、可逆的変性カチオン化前駆体タンパク質を用いて、翻訳系を経ないタンパク質の成熟化経路がヒト細胞内で駆動することが確認できた。本研究では、変性状態の不溶性のタンパク質に対し、可逆的なSS結合を介して正電荷を導入して高い水溶性を付与する「可逆的変性カチオン化法」と、生細胞表面への静電的な吸着を介して細胞内に高効率にタンパク質を導入し、細胞質内の還元的環境下でタンパク質を活性構造に巻き戻す「in cell folding法」の両技術を効果的に活用して、動物細胞の表面やオルガネラに存在する膜タンパク質・受容体の前駆体タンパク質を細胞内に導入し、生理的な条件下で膜タンパク質を再構成・成熟化するための技術開発に取り組んだ。本手法の確立には、要素技術の強化が不可欠であったため、初めにin cell folding法を改善する鍵となるエンドソーム様の顆粒内から細胞質中への移行を促進する両親媒性ペプチドの併用条件を中心に、人工転写因子を用いた評価系で技術改善を進めた。その結果、培養上清にカチオン化タンパク質を添加した18時間後をピークとする一過的な導入・活性化が確認され、in cell folding法の技術水準の大幅な改善に成功した。次に、翻訳系を経ずに前駆体タンパク質を生細胞内で成熟化が進むことを確認するため、SS結合を介してカチオン化した前駆体タンパク質の細胞内導入を行った。N末端に分泌シグナルが付加した前駆体タンパク質をHeLa細胞をジギトニンで処理した半透過性細胞に添加した結果、ATP依存的なシグナルペプチドの切断が確認され、ヒト細胞内で翻訳系を経ない再活性化が可能なことが示唆された。さらに、生細胞に対してin cell folding法で再活性化を試みたところ、再分泌・再活性化されたタンパク質が検出された。しかしながらこの効率は極めて低率であり、膜タンパク質の再構成技術の完成にはさらなる検討・改善が必要なことが結論された。本研究では、動物細胞の表面や細胞内オルガネラに存在する膜タンパク質・受容体の前駆体を大腸菌等で組換えタンパク質として調製し、生理的な条件下で培養細胞に膜タンパク質を再構成・成熟化させる新規技術の開発に取り組んでいる。具体的には、独自開発の「変性タンパク質の可溶化技術」と「変性タンパク質を生細胞内で活性構造にするin cell folding法」を活用し、高純度に精製した膜タンパク質を一過的に生細胞で再構成・成熟化・機能させる新手法を確立を目指している。本年度はモデル系で成功したタンパク質以外にも複数のタンパク質での検証実験を進めたが、分子サイズが大きくなると、本システムの成功率が低下することが判明した。今後はより低分子のモデルタンパク質で構築可能なシステムを再考し、本手法が有効活用できる範囲を検証したい。上述のとおり、一定サイズ以上の前駆体タンパク質の細胞内での成熟化は、分子サイズによる制限が生じることが判明した。申請書作成時に展望していた応用範囲を全てカバーすることは困難であるが、利用可能な分子サイズの範囲内でも利用価値の高いアプリケーションは創出できるため、実験計画に若干の修正を加えながら研究を進めたい。前駆体タンパク質の生細胞内での成熟化には、分子サイズが150アミノ酸以下程度のものを活用することが望ましいことが判明した。厳しい制限にはなるが、工夫次第で有効活用ができるものと考え、今後もよりいっそうの努力を続ける。本研究を実証するためのモデルタンパク質を再考し、これらの人工遺伝子作成や細胞内導入試薬の改善、細胞培養実験等に必要な消耗品費に使用する。
身体論を用いた看護基礎技術習得のための 自己学習を支援する教育ツールの開発

本研究では,看護技術の基盤概念を〈相互身体的〉な関わりとし,大澤の〈身体論〉を採用し,技術習得の理論として,行動主義ではなく「状況論」を採用し,基礎看護技術習得のための自己学習支援教育ツールの開発を目指した。具体的には,半強制的に〈相互身体的〉状況を作り出すことで,学習者の能動性と身体性を高め,看護技術習得を促進するために,学習者が複数の視点を能動的に変更できる視覚教材を開発し,その有効性を検証した。結果として,様々な制作上の問題を克服し,教育ツールの作成に成功した。また,その教育ツールは,研究協力者から良好な評価を得ることができ,全員の技術の向上が見られ,その有効性が確認された。本研究では、看護技術の基盤概念を〈相互身体的〉な関わりとし、大澤の〈身体論〉を採用し、技術習得の理論として、行動主義ではなく「状況論」を採用している。これらの理論を背景とし,基礎看護技術習得のための自己学習支援教育ツールの開発を目指す。具体的には、半強制的に〈相互身体的〉状況を作り出すことで、学習者の能動性と身体性を高め、看護技術習得を促進するために、学習者が複数の視点を能動的に変更できる視覚教材をタブレットにて再生可能なものとして開発し、その有効性を検証することを目的とする。今年度は,視覚教材の制作に取り組んだ。多覚的な映像にするために一番問題となったのは,撮影用のカメラや影が映り込まない工夫をすることにあった。背景も切れ目のないものが必要であり,それが実現しない場合は,膨大な映像撮影後の処理作業が入ってくるため,時間的も費用的にも実現困難となる。そこで、考案したのが,切れ目のない多角柱(ほぼ円形)のスタジオを作り,そこでビデオ撮影するという解決策であった。その対応は井川が担当し,撮影美術製作業者に依頼し,特設スタジオセットを作成した。次に問題となったのが,プログラム上の問題であった。視聴者が見たい時に、見たい角度から映像を見られる状態にしておくには,4方向からの映像を同時に再生しておく必要があるため,データの容量が多くなるという問題があった。タブレットの処理能力の問題もあり,撮影や情報処理における技術的な問題を,東京の専門家に相談した。結果として,Web形式が最善であるということで,今回はこの方式を選択することとした。12月に京都光華女子大学の基礎看護学実習室に多角柱の特設スタジオを設置し,機材・カメラを持込んでの撮影となった。研究協力者の協力を得て,撮影は順調に進行し,「シーツ交換」「体位変換」「採血」「一時的導尿」の技術を撮影し,ビデオを作成することができた。本研究では、看護技術の基盤概念を〈相互身体的〉な関わりとし、大澤の〈身体論〉を採用し、技術習得の理論として、行動主義ではなく「状況論」を背景とし,基礎看護技術習得のための自己学習支援の教育ツールの開発を目指した。今年度は,「シーツ交換」「体位変換」「採血」「一時的導尿」の技術の動画を撮影し,タブレット端末で再生できる学習支援ツールを作成し、そのツールを用いて実際に看護学生に技術練習をしてもらい,その効果を検証を試みた。当初予定していたタブレット用のアプリとするのではなく、動画のデータをサーバーに保管し、インターネットを通じて、タブレット上で再生する方式を採用した。実験には、22人の学生の協力が得られた。1つの技術について、練習時間を固定したチームと、期間中に自由に練習してもらうグループとに分け、練習前と練習後とにビデオ撮影を行い、その技術変化を評価した。練習中には、練習内容、技術の振返り、再生回数、ビデオの使用感、ビデオの改善点、について自由に記載してもらった。教育ツールの使用感については、「わかりやすい」「何回も視聴できる」「観たい方向からみることができる」などの好評価が得られた。技術についても、概ね技術の向上がみられた。グループ間や学生間にも上達度の差がみられたが、ツールの使用状況や身体の使い方など、指標を増やし、今後、詳細に結果を評価していく必要がある。作成したビデオは、学会発表するたびに好評を得ることができた。また、いくつかの企業が興味をもった。商品化に関しては、今回研究開発したプログラムを閲覧できるパスワード付き看護技術書を出版販売する方法や、教育のクラウド化の流れに沿った教育配信サービスの教材プログラムとして商品化する可能性が考えられる。今後、出版社や印刷会社、ソフト制作会社などと連携して、教育ソフトとして実現化させるための働きかけを試みる計画である。基礎看護学6月頃から、会議をはじめ,問題点の抽出,課題解決の方向性を早くから見いだすことができた。ビデオにおける背景の問題は,主に井川が担当し,技術的な問題は,井川と協力者である塚本氏が対応した。

専門家の助言もあり,大きな問題なく解決策を見いだすことができた。撮影に関しては,技術面は,井川と協力者である塚本氏が対応し,大きな問題なく進めることができた。看護技術面は,鮫島と研究協力者である鈴木氏とで対応し,特に問題は発生しなかった。研究計画は,ほぼ予定通り進行しており,今年度は,第一段階であるビデオ作成まで実行することができている。平成26年度は,技術ビデオの検証が実施可能な状態にあるため,計画に支障はないと考えている。学会発表においては,日本看護研究学会へのポスター発表を申請しており,承認待ちの状態である。日本教育心理学会も発表を予定している。平成26年度は,このツールを用いて,それぞれの条件下で、実際に看護学生に技術練習をしてもらい,その効果を検証する計画である。現在,所属大学の倫理審査申請中であり,問題なければ,協力学生を募集し,検証段階へ進める予定である。9月ごろまでに,検証を終了し,その後結果をまとめ,考察に入る計画である。学会発表や国際学会参加をする中で、研究の方向性や内容を精査し,有効な結果が得られるよう慎重に進めていく。当初購入予定としていた、タブレット端末であるが,研究代表者の所属大学に新しく50台導入されることが明らかになり,授業や研究で使用が可能な状態になった。そのため,この研究のためだけにタブレット端末を購入する必要が無くなった。追加としてデータ処理のためのノートパソコンなどハードの充実に当てた。学会発表用の交通費が今年度は未使用であったことと、ビデオの検証のための人件費が今年度は使用しておらず,その予算が次年度へ持ち越しになっている。しかし,当初予定していたより,撮影用の特設スタジオや技術的費用が嵩む可能性もあり,成果物がより汎用性の高いものとなるよう、有効活用できるよう十分に配慮し,使用して行く予定である。旅費に関しては、国内学会発表2件、国際学会参加1件を予定しているため、予算通り執行できる予定である。また、次年度の研究課題はビデオの検証にあるため、謝金として予算通り執行する予定である。また、学生へのインタビューのデータ処理など事務作業に対する人件費とビデオ作成のための技術提供費としてその他の予算を執行する予定である。
歯周病原性細菌由来細胞死誘導因子の機能解析及び診断・治療・予防への臨床応用

歯周病原細菌Tannerella forsythiaの病原因子である細胞剥離因子(forsythia detaching factor : FDF)は、接着細胞を剥離する活性があり、さらに細胞内でIL-8の産生を促進した。従って、歯周組織に炎症を誘導し歯周炎を発症・進行させる病原因子として重要であると考えられる。また臨床的には、歯周炎患者の歯周ポケットに於ける歯肉溝滲出液(GCF)中の坑FDF抗体レベル(単位GCF当たりの抗体濃度)は健常者と比較して有意に高い値を示した.さらに歯周炎患者群において,健常部位と歯周炎罹患部位の抗体レベルを比較すると,前者で有意な高値を示した.CRの結果から,歯周炎罹患部位ではfdfが検出される割合が高,一方抗体レベルは低い結果が得られた.GCF中の坑FDF抗体レベルの測定は比較的簡便であり,将来的には的確な診断・予後の判定に有用なツールの一つとなる可能性が示唆された。形態学的変化:FDF作用細胞は、3時間後基底面より剥離後凝集し、48時間後浮遊細胞は再接着し増殖した。Western blot法による解析の結果、少なくとも4日目までFDFは安定であった。局在:FDFはミトコンドリア分画中に最も強く検出された。ミトコンドリアへの作用:NAD-linked reductase活性を分析した結果、FDFの作用後12時間以内に活性が抑制され、72時間後まで抑制効果が増強されていった。以上の結果から、FDFはNAD-linked reductase活性を量依存的に抑制するが、代謝経路の上流は阻害しないことが示唆された。NAD-linked reductase活性抑制の効果:ミトコンドリアの酸化的膜電位は、量依存的に上昇することが明らかとなった。IL-8産生の解析:培養上清中のIL-8濃度をELISA法にて測定した結果、72時間後では、FDF作用細胞におけるIL-8濃度はコントロールと比較して、有意に高値を示した。NAD-linked reductase活性の抑制は酸素消費の減少につながり、結果ミトコンドリア内に酸素が蓄積し酸化膜電位が上昇したと考えられる。FDF→NAD-linked reductase活性が抑制→活性酸素の濃度が上昇→IL-8の産生が誘導と考えられる。歯周炎患者と健常者の歯肉溝滲出液に含まれる坑CCT-1抗体の抗体価をELISA法により測定し、疾患との関連を検討した結果、歯周炎患者群の抗体価は健常者群と比較して有意に高値を示した。Tannerella forsythiaの病原因子として報告した細胞剥離因子(forsythia detaching factor: FDF)は、接着細胞を剥離する活性があり、さらに細胞内でIL-8の産生を促進し、その結果歯周組織に炎症を誘導し歯周炎を発症・進行させる病原因子として重要であるだけでなく、再生を担う細胞に対しても障害を与えると考えられる。

本研究においては、以下の検討を行った。1.FDFのリコンビントタンパク質の精製物を抗原として用い、歯周炎患者・健常者の歯肉溝滲出液に含まれる坑FDF抗体価をELISA法にて測定した.抗体価と臨床的評価指標とを比較後関連性を解析し,病態との関連性を解析した。2.歯周ポケット内に存在するT.forsythia FDFをコードする遺伝子fdf,ならびに当該細菌の16SrDNAの存在を解析し,病態との関連性を検討し,重篤度との相関があるかを解明した。その結果,歯周炎患者の坑FDF抗体価は健常者と比較して有意に高い値を示した.さらに歯周炎患者群において,健常部位と歯周炎罹患部位の抗体価を比較すると,前者群で有意な高値を示した.一方, PCRの結果から,歯周炎罹患部位でfdfが検出される割合は高く,一方抗体価は低い結果が得られた.歯肉溝滲出液中のIgGは末梢血由来が主であることを併せて,罹患部位ではポケット内に存在する歯周病原細菌曲来や宿主由来のIgG分解酵素により分解されていることを示唆する.上述のようにFDFは病原因子としての活性を保有するため, opsonin化に重要なIgGが分解された結果,食細胞に貪食されず歯周炎の悪化に関与していると考えられる.歯肉溝滲出液中の坑FDF抗体価の測定は比較的簡便であり,将来的には臨床的に的確な診断・予後の判定に有用なツールの一つとして利用することが可能となると予想される。
計算機を用いた発展方程式の可積分性の研究

・セミディスクリート発展方程式のハミルトン構造,バイハミルトン構造の概念を,シフト作用素をもつ環上のスカウテン括弧式を用いて定義した.また戸田格子方程式などいくつかの方程式がバイハミルトン構造をもつことを示した.しかし,一般的にはバイハミルトン構造をもつセミディスクリート発展方程式は,連続の場合と異なり,かなり限られたものであり,実際に可積分であろうと考えられている方程式でも,我々の意味でバイハミルトン構造をもちそうにないものがあることも分かってきた.・差分を用いた離散オイラー作用素を離散変分問題から形式的に導き,その性質を詳しく調べた.特に,シフト作用素を用いて定義される従来の離散オイラー作用素との関係を明らかにすることにより,新たに定義された作用素の核と像を求める問題に解答を与えた.またこのような離散オイラー作用素を用いて,従来シフト作用素を用いて記述されていた,セミディスクリート発展方程式のハミルトン構造の理論の一つの問題点を解消することが出来た.・代数的Deift-Trubowitz型跡公式を基礎に,高次定常KdV方程式に同値な有限自由度のハミルトンの正準方程式を導いた.得られた方程式がLiouvilleの意味で完全積分可能であることがもとの定常KdV方程式よりもはるかに容易に示される.さらにそのような正準方程式はその解から代数的に構成される代数幾何学的ポテンシャルのスペクトルに関する情報を陽に含んでいることが示された.さらに,その方程式はある種の退化条件を満たせば,球面に束縛された調和振動子を記述するNeumann系に帰着されることが示された.またDubrovin-Novikov系との関連も明らかにされた.・パンルヴェおよび離散パンルヴェ方程式の解,τ関数と対称性に関する研究を行った.特に,パンルヴェ方程式に関して,古典解に関する行列式表示から出発して,超越解を含む一般的な状況でも解の行列式構造が普遍的なものであることがわかった.また,離散系の解を議論するために特異点閉じ込めテストを利用することが有効であることがわかり,これを用いて離散パンルヴェ方程式の解や対称性について研究した.・セミディスクリート発展方程式のハミルトン構造,バイハミルトン構造の概念を,シフト作用素をもつ環上のスカウテン括弧式を用いて定義した.また戸田格子方程式などいくつかの方程式がバイハミルトン構造をもつことを示した.しかし,一般的にはバイハミルトン構造をもつセミディスクリート発展方程式は,連続の場合と異なり,かなり限られたものであり,実際に可積分であろうと考えられている方程式でも,我々の意味でバイハミルトン構造をもちそうにないものがあることも分かってきた.・差分を用いた離散オイラー作用素を離散変分問題から形式的に導き,その性質を詳しく調べた.特に,シフト作用素を用いて定義される従来の離散オイラー作用素との関係を明らかにすることにより,新たに定義された作用素の核と像を求める問題に解答を与えた.またこのような離散オイラー作用素を用いて,従来シフト作用素を用いて記述されていた,セミディスクリート発展方程式のハミルトン構造の理論の一つの問題点を解消することが出来た.・代数的Deift-Trubowitz型跡公式を基礎に,高次定常KdV方程式に同値な有限自由度のハミルトンの正準方程式を導いた.得られた方程式がLiouvilleの意味で完全積分可能であることがもとの定常KdV方程式よりもはるかに容易に示される.さらにそのような正準方程式はその解から代数的に構成される代数幾何学的ポテンシャルのスペクトルに関する情報を陽に含んでいることが示された.さらに,その方程式はある種の退化条件を満たせば,球面に束縛された調和振動子を記述するNeumann系に帰着されることが示された.またDubrovin-Novikov系との関連も明らかにされた.・パンルヴェおよび離散パンルヴェ方程式の解,τ関数と対称性に関する研究を行った.特に,パンルヴェ方程式に関して,古典解に関する行列式表示から出発して,超越解を含む一般的な状況でも解の行列式構造が普遍的なものであることがわかった.また,離散系の解を議論するために特異点閉じ込めテストを利用することが有効であることがわかり,これを用いて離散パンルヴェ方程式の解や対称性について研究した.・セミディスクリート発展方程式としての戸田格子方程式が,双ハミルトン構造を持つことを示した.・差分を用いた離散オイラー作用素を離散変分問題から形式的に導き、その性質を詳しく調べた.特にシフト作用素を用いた従来の離散オイラー作用素との関係を明らかにすることにより,このような新たな作用素に対する核と像を求める問題に解答を与えた.またこのような離散オイラー作用素を用いて,従来シフト作用素を用いて記述されていた,セミディスクリート発展方程式のハミルトン構造の一つの欠点を解消することができた.・代数幾何的ポテンシャルを持つ2階常徴分作用素のスペクトルがダルブー変換によって取り除くことができるための代数的必要十分条件を明かにした.また,ラムダ作用素をKdV多項式全体で張られるベクトル空間の線形変換と考えたときの固有関数をあらわすスペクトル変数をパラメータとする微分多項式から構成される2種類の有限自由度のハミルトン系がそれぞれ一般化されたノイマン系およびデュブロビン系に一致することを示した.・KdV方程式を疑似スペクトル法や有限差分法で解くことにより初期値に対応するポテンシャルを有するl次元シュレディンガー作用素の散乱行列を数値的に構成するスキームを考察した.・

セミディスクリート発展方程式のハミルトン構造,またさらにバイハミルトン構造の概念をシフト作用を持つ環上にスカウテン括弧式の概念を導入して定義した.またそのような構造をもつ方程式の例をいくつか構成した.しかし一般的にはバイハミルトン構造をもつセミディスクリート発展方程式は,連続の場合と異なり,かなり限られたものであり,実際に可積分であろうと思われる方程式でもバイハミルトン構造を持ちそうにないものがあることがわかってきた.・代数的Deift-Trubowitz型跡公式を基礎に,高次定常KdV方程式に同値な有限自由度のハミルトンの正準方程式を導いた.得られた方程式がLiouvilleの意味で完全積分可能であることがもとの定常KdV方程式よりもはるかに容易に示される.さらにその解から代数的に構成される代数幾何学的ポテンシャルのスペクトルに関する情報が方程式に陽に含まれている.さらに,それはある種の退化条件を満たせば,球面に束縛された調和振動子を記述するNeumann系に帰着されることが示された.またDubrovin-Novikov系との関連も明らかにされた.・パンルヴェおよび離散パンルヴェ方程式の解,τ関数と対称性に関する研究を行った.特に,パンルヴェ方程式に関して,古典解に関する行列式表示から出発して,超越解を含む一般的な状況でも解の行列式構造が普遍的なものであることがわかった.また,離散系の解を議論するために特異点閉じ込めテストを利用することが有効であることがわかり,これを用いて離散パンルヴェ方程式の解や対称性について研究した.
介護事業所における介護職員の人件費率および待遇の改善を通じた競争優位性獲得の研究

本研究では、介護事業所が安定した経営のためのビジネスモデルを明らかにすることを目的としている。特に、「介護事業所が従業員の給与をこれ以上削減せずに離職率を下げ、人材を確保しながらも企業として安定した経営を行うためにはどうしたらよいか」について、考えるものである。今年度実施した「外部環境分析」のうち、マクロ環境分析では、東京都の高齢化人口は増加の一途をたどっており(平成23年9月7日総務局発表による)、東京都荒川区は、生活保護を受けている人の割合が他の区に比べて高い(東京都福祉保健局「月報(福祉・衛生行政統計)2011年2月発行」による)。ミクロ環境分析では、介護保険給付件数(居宅サービス)においては、荒川区は他の区に比べ居宅介護サービスの利用者が少ない地域である(東京都福祉保健局「平成23年度介護保険事業状況報告」平成23年12月発表)。「内部環境分析」としては、調査対象となる事業所の財務状況の内容についてインタビューした結果、同規模の事業所の中でも平均的な状況にあり、人件費率は65%程度であるとの回答を得た。同様に労働条件の現状については、荒川区内で最も労働条件の改善に取り組んでいる事業所として認知されているようである。従業員満足度については、インタビューのほか、質問票による量的データの収集に取り組んできたが、調査対象となっている事業所より、質問項目について変更の要望があり、そのため、現在内容について調整中である。インタビューでは、書類作成などの仕事の煩雑さが利用者と接する時間を阻害していることが明らかとなった。同時に従業員満足度が提供されるサービスの質に反映されるとの仮説から、利用者満足度の調査を実施した。その結果、利用者のサービスに対する満足度は高いことが明らかとなった。本研究は、介護事業所が「従業員の給与をこれ以上削減せずに離職率を下げ、人材を確保しながらも、企業として安定した経営を行うためにはどうしたらよいか」を明らかにし、「持続的に安定した経営をおこなうためのビジネスモデル」を解明することを目的とする。そのために、当該年度は介護事業所のボランティアスタッフとして業務に参加し、参与観察を行うことで、組織の仕事の進め方やコミュニケーション、事業の内容、スタッフの役割などを観察した。あわせて年度末に従業員を対象とした構造化されたインタビュー調査を行う予定であったが、地震の影響で介護事業所の利用者の安否確認やその他の対応などがあり、業務上の理由から調査を見送ることとなった。経営の安定のためには、従業員の満足度を高め、サービスの質を向上させることによって、利用者満足も一定の評価を得ることが必要である。そのため利用者を対象として、各利用者宅を訪問しながら利用者満足度調査を行った。利用者リストをもとに、利用者全員を対象に調査依頼を行ったが、健康状態が悪い、要介護度が高いといった利用者のケース、およびご家族や担当ケアマネジャーの許可が得られないケースも多く、全数調査には至らなかった。また震災の影響で調査を中断した期間があるため、実際に調査協力いただけたのは、予想より少なかった。しかし、利用者のお宅に訪問し、構造化されたインタビュー調査を行うことができ、アンケートの回答とその回答の理由や利用者の生活の背景を探ることができたため、質的に満足のいく内容が得られた。
表現力が高く安全に相互運用可能なプログラミング言語の理論と実現

[研究目的]ソフトウェアプログラムは,安全に実行できる信頼性が要求される一方で,コストを抑えるために迅速かつ柔軟に開発する必要がある.前者の実現のために,型理論の成果を用いた静的型付け言語がプログラミング言語として広く用いられている一方,後者を優先する場合は動的型付け言語が用いられる場合が多く,どちらを用いるかは開発を開始する段階で決めねばならず,途中で変更することができない.そこで本研究では,柔軟な開発を可能にする動的型付け言語の特性と,安全性を保証する静的型付け言語の特性を併せ持ち,これらの特性を開発の段階やソフトウェアプログラムの部位によって使い分けることができる言語を提案する.これにより,柔軟かつ安全なソフトウェアプログラムの開発が可能となる.[研究成果]前年度までに,Javaを拡張し静的型付けと動的型付けを混在できる言語のための数学的なモデルが得られていたが,実際の処理系を実装するためのアルゴリズムの一部が欠けていた.具体的には,より詳細な型がよりおおまかな型に含まれることを表す部分型という関係を検査する必要があり,前年度までに提案した手続きではジェネリクスを含む場合に停止することが示せていなかった.本年度はこの手続きの停止性を証明することに成功し,部分型検査のためのアルゴリズムを完成させることができた.この成果については前年度までの成果とともに雑誌論文として発表する予定である.また,ジェネリクスを含まない簡略化された言語に関しての実装も進めた.[研究目的]ソフトウェアプログラムは,安全に実行できる信頼性が要求される一方で,コストを抑えるために迅速かつ柔軟に開発する必要がある,前者の実現のために,型理論の成果を用いた静的型付け言語がプログラミング言語として広く用いられている一方,後者を優先する場合は動的型付け言語が用いられる場合が多く,どちらを用いるかは開発を開始する段階で決めねばならず,途中で変更することができない.そこで本研究では,開発の段階や部品によって静的・動的型付けを切り替えられるように,静的型付けと動的型付けの両方を混在させて使える言語を実現することを目的とする.さらに,プログラミング言語の理論的基盤として,言語の異なる特徴をうまく組み合わせる手法一般についての研究に発展させる.[実施状況]研究計画に基づき,静的型付けと動的型付けの両方が可能な言語に関する研究を行なった.具体的には,静的型付け言語であるJavaの基本的な言語機能を表す数学モデルを拡張し,動的型付けも行なえるようなモデルを構築した.実際のJava処理系を拡張するための方法を含む基本的なアイディアを,中国で開催された学会のポスターセッションで発表した.また,処理系を実装するにあたって懸念される実行速度の問題を明らかにするために予備実験を行なった.拡張された数学モデルの定義と性質の証明に時間を要したため年度内に他の成果発表は行なっていないが,完成した数学モデルの定義と性質の証明および実装のための予備実験についてまとめた論文を執筆・投稿し,査読結果待ちである.[研究目的]ソフトウェアプログラムは,安全に実行できる信頼性が要求される一方で,コストを抑えるために迅速かつ柔軟に開発する必要がある.前者の実現のために,型理論の成果を用いた静的型付け言語がプログラミング言語として広く用いられている.一方,後者を優先する場合は動的型付け言語が用いられる場合が多く,どちらを用いるかは開発を開始する段階で決めねばならず,途中で変更することができない.そこで本研究では,開発の段階や部品によって静的・動的型付けを切り替えられるように,静的型付けと動的型付けの両方を混在させて使える言語を実現することを目的とする.さらに,プログラミング言語の理論的基盤として,言語の異なる特徴をうまく組み合わせる手法一般についての研究に発展させる.[実施状況]静的型付け言語であるJavaの基本的な言語機能に加えて動的型を扱えるようにした言語の数学モデルと,その言語のプログラミング言語処理系の実装のための予備実験を含む論文をOOPSLA2011にて発表した.また,実際のプログラミング言語処理系の実装に必要な型検査アルゴリズムの構築に取り組み,提案言語の数学モデルの型システムの仕様に対して健全かつ完全な半決定手続きが得られた.この成果は,プログラミング言語処理系が暴走しないことを保証するために必須のものである.[研究目的]ソフトウェアプログラムは,安全に実行できる信頼性が要求される一方で,コストを抑えるために迅速かつ柔軟に開発する必要がある.前者の実現のために,型理論の成果を用いた静的型付け言語がプログラミング言語として広く用いられている一方,後者を優先する場合は動的型付け言語が用いられる場合が多く,どちらを用いるかは開発を開始する段階で決めねばならず,途中で変更することができない.そこで本研究では,柔軟な開発を可能にする動的型付け言語の特性と,安全性を保証する静的型付け言語の特性を併せ持ち,これらの特性を開発の段階やソフトウェアプログラムの部位によって使い分けることができる言語を提案する.これにより,柔軟かつ安全なソフトウェアプログラムの開発が可能となる.[研究成果]前年度までに,Javaを拡張し静的型付けと動的型付けを混在できる言語のための数学的なモデルが得られていたが,実際の処理系を実装するためのアルゴリズムの一部が欠けていた.具体的には,より詳細な型がよりおおまかな型に含まれることを表す部分型という関係を検査する必要があり,前年度までに提案した手続きではジェネリクスを含む場合に停止することが示せていなかった.本年度はこの手続きの停止性を証明することに成功し,部分型検査のためのアルゴリズムを完成させることができた.この成果については前年度までの成果とともに雑誌論文として発表する予定である.

また,ジェネリクスを含まない簡略化された言語に関しての実装も進めた.実際のプログラミング言語処理系において型検査の仕組みを実装するための半決定手続きが得られ,実用的なプログラミング言語処理系の実現に大きく近づいた.また,提案言語の基礎理論についてまとめた論文の論文誌への採録,国際会議での発表も着実に進めることができた.半決定手続きをさらに改良して決定可能なアルゴリズムを構築することを試み,これを元にプログラミング言語処理系の実装を進める.さらに,実際のJavaプログラムの一部の型を動的型に置き換えたものをプログラミング言語処理系への入力とすることで,このプログラミング言語処理系における提案言語に関する拡張部分の性能を評価できる.この際,言語のライブラリモジュールとの間の型の不整合をどう扱うかが問題になるが,ライブラリモジュールをロード時に変換することで対応できる見通しである.