hpprc/llmjp-kaken huggingface dataset:
体細胞超変異による自己反応性B細胞出現モデルの構築と末梢性B細胞自己寛容の解明

申請者は、全身性エリテマトーデス(SLE)で認められる高親和性自己反応性B細胞は、体細胞超変異(SHM)により、その反応性を増大させていることを明らかにしてきた。しかし、臨床検体の観察では、自己反応性B細胞の出現の場やその後の分化を調べることができない。本研究では、生体での自己反応性獲得の実態を明らかにするため、低親和性抗ssDNA BCRノックイン(KI)マウスを作製した。モノクローナル抗体121G9は、急性期SLE患者検体より得た自己抗体で、dsDNAおよびssDNAいずれにも強く結合する。H鎖、L鎖に複数のアミノ酸置換を伴うSHMを有し、これらをgemline配列に戻すとDNAへの結合が大きく減少した。この121G9germline配列(H鎖、L鎖)を免疫グロブリン遺伝子座へ挿入したG9gl KIマウスを作製した。G9glマウスのヘテロ接合体では、一部のB細胞で異常なVDJ組換えが起こっており、その結果、挿入したKI BCRを発現していないB細胞が約50%存在したが、ホモ接合体では、ほとんどの成熟B細胞でKI BCRが発現していた。このG9glB細胞は、ssDNAに反応して、細胞質内カルシウムイオン濃度を上昇させたり、ssDNAに応答して、増殖することが確認できた。G9glB細胞は、in vitroで、野生型B細胞と同等に、クラススイッチと抗体産生を起こした。従って、G9gl B細胞はアナジーには陥っていない。生体において、このG9gl B細胞が体細胞変異を獲得し、高親和性抗dsDNA抗体を産生する条件を検討し、制御性T細胞の除去によって、G9gl KIマウスで高力価の抗DNA IgG抗体が産生されることを見出した。現在は、制御性T細胞の除去によって、G9gl B細胞がどのように自己反応性を増強させているのか、解析を続けている。申請者は、これまでの研究から、全身性エリテマトーデス(SLE)に認める高親和性自己反応性B細胞レパトアは、体細胞超変異(SHM)により、その反応性を増大させていることを次世代シーケンス解析などから明らかにしてきた。本研究では、マウスにて、末梢での自己抗体レパトアの進化を再現できる実験系の構築を行い、末梢での自己反応性獲得の実態を明らかにする。さらに、臨床研究では困難であった骨髄長寿命形質細胞やメモリーB細胞分画での動態を明らかにし、B細胞における末梢性自己寛容機構の存在を示す。本研究から、SLE病態形成の理解と理論的な治療法の開発に結びつける。モノクローナル抗体クローン121G9は、急性期SLE患者末梢血より得られた抗核抗体の一つで、dsDNAおよびssDNAいずれにも結合する。表面プラズモン解析では、dsDNAやssDNAに対し、KD = 24×10-9Mと強い親和性を示す。H鎖、L鎖いずれにも複数のアミノ酸置換を伴うSHMを有し、gemline配列に戻すとDNAへの結合が失われた。この121G9germline配列(H鎖、L鎖)をマウス免疫グロブリン遺伝子座へ挿入する。交配によって、H鎖、L鎖遺伝子座について目的のBCRを持つ121G9 GL KIマウスを樹立した。高親和性抗DNNA抗体germline配列をIg遺伝子座に持つマウス121G9 GLKIマウスを樹立した。これらのマウスで、成熟B細胞が作られることを確認した。貪食能欠陥自己免疫マウス(MFG-E8ノックアウトマウス)MFG-E8(milk fat globule-EGF factor protein 8)は、二次リンパ組織内の瀘細樹状細胞(FDC)より産生され、アポトーシス細胞の"eat me"シグナルであるphosphatidylserineと貪食細胞のインテグリンに結合し、死細胞のengulfmentを促進する。MGF-E8ノックアウトマウス(KOマウス)は、二次リンパ組織でアポトーシス細胞を効率よく除去することができず、加齢とともに、自発的な胚中心反応を起こし、抗DNA抗体の産生と糸球体腎炎を発症する(Hanayama et al, Science 2004)。MFGE8ノックアウトマウスを長田重一研究室より、分譲していただいた。加齢に伴う自己抗体の産生を確認した後、移植実験の開始を予定している。全身性エリテマトーデス(SLE)は、高力価の自己抗体による全身性炎症が、腎臓、心臓、中枢系といった様々な臓器に障害を起こす難治性自己免疫疾患である。SLEに関連した自己抗体は、核抗原を認識する抗核抗体(ANA)である。我々のこれまでの研究では、SLE疾患活動性に関連した抗核抗体が、疾患発症の直前に、抗原反応性に基づいたクローン選択を経て産生されていることが示された。本研究では、抗核抗体産生細胞の前駆細胞、つまり変異を持たないBCRを発現しているB細胞は、生体内でどのように制御され、いかなる条件下でクローン増大を行うのかという点について、ノックインマウスを作製することにより、明らかにすることを試みた。SLE検体より分離した抗DNA抗体について、それらの体細胞変異を取り除き、低親和性抗DNA BCRをマウス抗体遺伝子座に挿入したノックインマウス(G9glマウス)を作製し、B細胞の性状解析を行った。

このマウスでは、脾臓B細胞の減少とレセプター編集の痕跡が認められた。成熟B細胞での表面BCRの発現が低下し、G9gl B細胞が機能的アナジーに陥っていることが予想されたが、LPSに対する細胞増殖やIL-4によるクラススイッチはコントロールと遜色なく誘導された。また、G9gl B細胞はssDNAに反応して細胞増殖し、その活性はTLR9アンタゴニストによって著しく阻害された。また、一部のマウスでは自発的にIgG自己抗体を産生することがわかり、それらのマウスのB細胞では、G9glレパトアにおいて体細胞変異が導入されていることも確認した。ノックインマウスの作製とそのマウスのB細胞の性状解析を進めてきた。予想に反し、G9glB細胞は、生体内で自己反応性を示すが、アナジーとはならない。次年度の研究計画で、自己反応性B細胞の生体内での動態を追うことができると考えている。申請者は、全身性エリテマトーデス(SLE)で認められる高親和性自己反応性B細胞は、体細胞超変異(SHM)により、その反応性を増大させていることを明らかにしてきた。しかし、臨床検体の観察では、自己反応性B細胞の出現の場やその後の分化を調べることができない。本研究では、生体での自己反応性獲得の実態を明らかにするため、低親和性抗ssDNA BCRノックイン(KI)マウスを作製した。モノクローナル抗体121G9は、急性期SLE患者検体より得た自己抗体で、dsDNAおよびssDNAいずれにも強く結合する。H鎖、L鎖に複数のアミノ酸置換を伴うSHMを有し、これらをgemline配列に戻すとDNAへの結合が大きく減少した。この121G9germline配列(H鎖、L鎖)を免疫グロブリン遺伝子座へ挿入したG9gl KIマウスを作製した。G9glマウスのヘテロ接合体では、一部のB細胞で異常なVDJ組換えが起こっており、その結果、挿入したKI BCRを発現していないB細胞が約50%存在したが、ホモ接合体では、ほとんどの成熟B細胞でKI BCRが発現していた。このG9glB細胞は、ssDNAに反応して、細胞質内カルシウムイオン濃度を上昇させたり、ssDNAに応答して、増殖することが確認できた。G9glB細胞は、in vitroで、野生型B細胞と同等に、クラススイッチと抗体産生を起こした。従って、G9gl B細胞はアナジーには陥っていない。生体において、このG9gl B細胞が体細胞変異を獲得し、高親和性抗dsDNA抗体を産生する条件を検討し、制御性T細胞の除去によって、G9gl KIマウスで高力価の抗DNA IgG抗体が産生されることを見出した。現在は、制御性T細胞の除去によって、G9gl B細胞がどのように自己反応性を増強させているのか、解析を続けている。自己抗体を産生しているMGF-E8 KOマウス(IgHaアロタイプ)に、121G9 GL KIマウスより得た成熟ナイーブB細胞(IgHbアロタイプ)を移入し、ドナー細胞由来の抗dsDNA抗体価を測定する。MFG-E8 KOマウスにて、胚中心
無脊椎動物過分極型光受容細胞のフォトトランスダクション機構

過分極性光応答を示す無脊椎動物光受容細胞におけるフォトトランスダクション機構を解明するためホタテガイ(Patinopecten)の外套眼中の遠位細胞を用いてパッチクランプ法による研究を行った。その成果として過分極性光応答に関与するチャネルは、電位依存性や4-AP等のK^+チャネル阻害剤に対して暗時には典型的なK_<A->型の一過性の電流特性を示すこと、そして光照射中持続する矩形波的に過分極性応答は、光によりA-電流の不活性過程が消失することにより発生することを明らかにした(Shimatani and Katagiri,1995)。この結果は無脊椎動物の過分極性光応答がA型K^+チャネルに由来することを示唆し、また「光により修飾されるK_<A->電流」の初めての発見とし一般生理学的にも評価される。最近、Gomez & Nasi(1995)はイタヤガイ(Pecten)遠位細胞で、8-Br-cGMP注入によりK^+チャネルの持続的開放により発生する時間経過の長い大きな外向き電流を観察し光依存性外向きK^+電流と同一のものと判断し、光依存性K^+チャネルの最終伝達物質としてcGMPを挙げ公表した。わわれはcGMPの分解酵素フォスホジエステラーゼの活性化を抑制するIBMXにより、一過性の内向き電流が発現すること、および光依存性外向き電流が消失することを観察した。同様の現象は8-Br-cGMPもが起きることを確認した。この際、時間経過の長い外向き電流は見られない。すなわち、細胞内cGMP濃度の上昇によって光依存性外向き電流は消失するがK^+チャネルはむしろ閉鎖状態となることを示唆し、cGMPは光依存性K^+チャネルを修飾するものの最終伝達物質と結論付けることはできないとの結果を得た。この成果は近く公表予定である(Shimatani & Katagiri,1996)。
光制御型DNAナノマシンの開発

本研究では,光技術とDNAナノ技術を利用し,センシング,情報処理、アクチュエータ機能を備えた光制御型DNAナノマシンの実装手法の開発を行った.DNAの分子認識能と自律的反応は,ナノスケール領域で生体分子に関する情報を取り扱う際に有用である.また,光と物質との相互作用の利用により,非侵襲かつ遠隔的に外界とプロセッサの情報通信が可能となる.光制御型DNAナノマシンの実装には,センシング,演算,出力の一連の動作をナノスケールで実現することが求められる.実現のための要素技術として,分子センサ機能の光制御手法とDNA構造変化を利用した状態遷移表現を検討した.その上で,光信号のタイミングに従って,DNAフラグメントを検知し,特定のフラグメントの有無を判断し,その結果を蛍光信号として出力するナノマシンを提案した.実験により,光制御型DNAナノマシンの基本動作を確認し,光とDNAを利用してセンサ・演算・アクチュエータの一連の動作が実装できることを示した.演算機能の拡張手法として,蛍光共鳴エネルギー移動(Fluroescence Resonance Energy Transfer,FRET)による信号処理を導入したDNA論理回路の構成手法を提案する.この手法をDNA足場論理と呼ぶ.入力分子情報に従って,足場となるDNA上の蛍光分子の配置を制御し,FRETによるシグナル伝達を切り替えて演算結果を得る.NOT,AND,OR演算を含む論理回路の動作を実証実験により確認した.乗法標準形で表された演算を処理可能であることから,任意の論理演算が実装可能であることを示した.DNA足場論理においてメモリ機能を実現するために,FRET回路に組み込み可能なセット/リセットフリップフロップを検討した.蛍光分子の光制御によるFRETの変調を利用し,状態に応じてFRETのオン/オフを切り替えるフリップフロップを実装した.繰り返し遷移や状態保持可能であることを示した.ナノスケール領域での現象,例えば生体分子反応などの生命現象を支えるシステムの解析や,そのメカニズムの応用はナノサイエンス・エンジニアリングにおいて重要である.光制御型DNAナノマシンは,遠隔からの光制御信号に従って,分子情報の取得,処理,制御を行うことから,ナノ領域の解析や制御において有効な手法であると考えられ,実用的なツールとしての実現に向けて研究を進めている.今年度は,ピンセット状のDNA構造体から構成される光制御型DNAナノマシンについて検討した.光制御を可能にするために,アゾベンゼンを挿入したヘアピン構造により実現されるDNAの分子認識機能の光スイッチ機構を利用した.光照射に従って,特定分子の有無を検知し,その結果を蛍光信号により出力する一連の動作を実証実験により明らかにした.光駆動のため溶液環境を変化させることなく動作することから,安定した繰り返し動作が可能であることも確認している.この光制御型DNAナノマシンの課題点として,動作効率が低いことと溶液温度の制御も必要な点が明らかになった.こうした課題を解決し,さらに光制御の自由度向上も可能にする手法として,金ナノ粒子を利用した手法について検討した.金属ナノ粒子の近傍に発生する熱エネルギーとその拡散範囲をシミュレーションにより求めた.金属ナノ粒子の種類,形状,サイズの設計による光学特性が異なることから,本手法は光制御型DNAナノマシンの外部からの操作性向上が期待でき,ナノ領域の解析や制御に有効な手法を提供すると考えられる.分子サイズで構成され,その場,その時において,ナノスケールの現象の観測や制御を可能にするナノマシンの実現はナノサイエンス・エンジニアリングにおいて重要である.本研究は,外界からの光信号に従い動作する光制御型DNAナノマシンの実現をめざしている.光制御型DNAナノマシンは,センシング,コンピューティング,アクチュエーティング機能から構成される.今年度は,コンピューティングの観点から,新しいDNA論理回路の実装方法としてDNA scaffold logicの提案とそのデモンストレーションを行った.コンピューティング機能の実現により高度な処理を可能にするナノマシンが期待できる.ナノサイズの情報を処理する手法として,DNA論理回路が提案されている[G.Seeling,Nature,314,1585(2006)他].これは,DNAの分子認識と分子拡散に基づくシグナル伝達により,分子情報の論理演算を実現している.しかし,演算に長い反応時間を要する,空間的な制御が困難であるなどの課題がある.提案するDNA scaffold logicは,蛍光共鳴エネルギー移動(FRET)をシグナル伝達として利用し演算を実行する.FRETはある蛍光分子から近接する他分子に励起エネルギーが移動する現象である.FRETの利用により,従来の分子拡散をベースとしたシグナル伝達を,単一の分子複合体内での高速なシグナル伝達に置き換えられる.この結果,DNA反応のみによる演算と比較して大幅な高速化や,シグナル局在化による分子環境の制御性の向上が期待できる.これは,ナノマシンの応用範囲の拡大につながる.実験では,分子の存在条件に応じて論理判定を行い,出力を蛍光信号として返すDNA論理回路の実装に成功した.AND,OR,NOT演算を含む回路だけではなく,多段階FRETによる演算の拡張可能性を示した.本研究では,光技術とDNAナノ技術を利用し,センシング,情報処理、アクチュエータ機能を備えた光制御型DNAナノマシンの実装手法の開発を行った.DNAの分子認識能と自律的反応は,ナノスケール領域で生体分子に関する情報を取り扱う際に有用である.また,光と物質との相互作用の利用により,非侵襲かつ遠隔的に外界とプロセッサの情報通信が可能となる.光制御型DNAナノマシンの実装には,センシング,演算,出力の一連の動作をナノスケールで実現することが求められる.実現のための要素技術として,分子センサ機能の光制御手法とDNA構造変化を利用した状態遷移表現を検討した.

その上で,光信号のタイミングに従って,DNAフラグメントを検知し,特定のフラグメントの有無を判断し,その結果を蛍光信号として出力するナノマシンを提案した.実験により,光制御型DNAナノマシンの基本動作を確認し,光とDNAを利用してセンサ・演算・アクチュエータの一連の動作が実装できることを示した.演算機能の拡張手法として,蛍光共鳴エネルギー移動(Fluroescence Resonance Energy Transfer,FRET)による信号処理を導入したDNA論理回路の構成手法を提案する.この手法をDNA足場論理と呼ぶ.入力分子情報に従って,足場となるDNA上の蛍光分子の配置を制御し,FRETによるシグナル伝達を切り替えて演算結果を得る.NOT,AND,OR演算を含む論理回路の動作を実証実験により確認した.乗法標準形で表された演算を処理可能であることから,任意の論理演算が実装可能であることを示した.DNA足場論理においてメモリ機能を実現するために,FRET回路に組み込み可能なセット/リセットフリップフロップを検討した.蛍光分子の光制御によるFRETの変調を利用し,状態に応じてFRETのオン/オフを切り替えるフリップフロップを実装した.繰り返し遷移や状態保持可能であることを示した.光制御型DNAナノマシンの構成要素の内、演算処理部を実装するために,DNA構造体による分子配置と蛍光共鳴エネルギー移動に基づく信号伝送を組み合わせたDNA scaffold logicを考案した。DNA分子実験により系統的な論理回路の構成法を実証し、その拡張性を示した。この技術は、演算の高速化と高機能化において有望なものと考えられる。今後,量子ドットなどナノ粒子の利用により,エネルギー移動の制御を導入することにより,光制御による演算の切り替え等へ拡張する.また,光励起エネルギーの利用によるアクチュエータ機能を実現することにより,分子環境の制御への展開をはかる.
『分析手帖』と『マルクス=レーニン主義手帖』―60年代フランスにおける学知と革命

20世紀のフランス思想の発展は、「主体の哲学」と「概念の哲学」の対立と、マルクス主義的な政治実践との関係という二つの参照軸によって理解することができる。本研究は特に「概念の哲学」の目的である「学知la science」の探究と、マルクス主義の最終目的である「革命」の関係がいかなるものであるかを、『分析手帖』と『マルクス=レーニン主義手帖』という、68年5月直前の時期に高等師範学校生が刊行した二つの雑誌を出発点に理解することを目指す。
コレステロール胆石生成抑制蛋白(アポ蛋白A)の胆石中における形態と機能

研究計画に基づいて胆石中アポ蛋白Aを分子構造レベルで追求し、下記の研究成果を得た。1.コレステロール胆石中アポ蛋白A1およびA2の生化学的特性コレステロール胆石中アポ蛋白Aを分離精製し、SDS電気泳動法およびウエスタンブロット法で分析し、その生化学的特性は胆汁中アポ蛋白Aと比較的類似することを明らかにした。2.コレステロール胆石中アポ蛋白Aの定量アポ蛋白A1測定用の高感度サンドウイチ型ELISA法を開発し、それを用いて胆石中および胆汁中アポ蛋白A1濃度を測定した。その結果胆石中アポ蛋白A1含有量は極めて低く、微量成分であった。胆汁中アポ蛋白A1濃度は胆汁中コレステロール濃度および飽和度と正相関があり、胆汁がコレステロール過飽和に傾くと増加して来ることを初めて明らかにした。3.コレステロール胆石中アポ蛋白Aの存在形態コレステロール胆石の胆石薄切切片標本を作製し、それらの免疫組織染色から胆石中アポ蛋白A1、アポ蛋白A2、アルブミンの存在形態様相を明らかにした。これらの蛋白成分はいずれもコレステロール結晶の柱状層間にサンドウイチ状に介在しており、胆石形成過程におけるコレステロール結晶の析出は断続的に生じていることを明らかにした。今回の研究はコレステロール胆石の生成が胆汁からのコレステロール結晶の析出と成長に由来するとする從来説に加え、胆石生成促進因子と抑制因子とのバランスにより成立することを新局面からつきとめた点で重要である。なお本年度は研究成果を関連学会で発表し、同時に学会専門誌に投稿した。コレステロール胆石の生成は胆汁中からのコレステロール結晶析出とその生長によるが、胆汁中アポ蛋白Aはそれらを抑制することが知られている。本研究は胆石中アポ蛋白Aについて各種免疫生化学的手法を用い、分子構造レベルまで追求し、胆石生成メカニズムを新しい観点から解明することを目的とした。研究計画に基づき下記の成果を得た。1.コレステロール胆石中アポ蛋白の生化学的特性の検討胆石中アポ蛋白Aを分離精製し、その特性を高速液体クロマトで分析してその特性を胆汁中アポ蛋白Aと比較検討中である。2.コレステロール胆石中アポ蛋白の定量我々はアポ蛋白A1測定用サンドウィチ型ELISA法を開発し、胆汁中および胆石中含有量の正確な測定を可能とした。3.コレステロール胆石中アポ蛋白Aの機能に関する検討本検討のために相当量のアポ蛋白Aを胆石から分離精製することが必要である。しかし胆石中含有量は微量なため分離精製法の改良を検討中である。4.コレステロール胆石中のアポ蛋白Aの形態学検討コレステロール胆石の胆石薄切切片を用い、免疫組織染色により、アポA1、アポA2の存在を証明し、しかもこれらがコレステロール結晶間にサンドウィッチ状に介在していることを証明した。本現象はコレステロール胆石の生成には促進因子と抑制因子が関与するホメオスターシスの存在を示唆するものであった。上記の外、胆石症患者の手術時採集した胆石および胆汁試料の分析から胆石生成時には胆汁中アポ蛋白A1の著しい減少があった可能性を見出し、胆石生成メカニズムとの関連の上、考察を加えている。コレステロール胆石の生成は胆汁中からのコレステロール結晶析出とその成長によるが、胆汁中アポ蛋白Aはそれらを抑制することが知られている。1.コレステロール胆石中アポ蛋白Aの生化学的特性の検討胆石中アポ蛋白Aを分離精製後、各種免疫学的手法を用いて分析を行い、その結果胆石中アポ蛋白Aの生化学的特性は胆汁中のそれと類似することを明らかにした。

2.コレステロール胆石中アポ蛋白Aの定量我々はアポ蛋白A1測定用高感度サンドウィッチ型ELISA法を開発し胆石中アポ蛋白A1の含有量を検討した。その結果、胆石中アポ蛋白A1含有量は微量であった。その一方胆汁中アポ蛋白A1濃度は胆汁中コレステロール濃度と正相関があり、胆汁コレステロール過飽和に傾くとアポ蛋白A1が分泌される可能性を明らかにした。3.コレステロール胆石中アポ蛋白Aの機能に関する検討胆石からアポ蛋白Aを分離精製中で研究は継続中である。4.コレステロール胆石中のアポ蛋白Aの形態学的検討コレステロール胆石の胆石薄切切片を免疫組織染色して、アポ蛋白A1、アポ蛋白A2の存在を証明した。しかもこれらがコレステロール結晶間にサンドウィッチ状に介在していることを明らかにしたが、本所見は胆石形成過程でコレステロール結晶の析出が非連続的に生じていることを示している。本研究はコレステロール胆石が促進因子(コレステロール過飽和胆汁)と抑制因子(アポ蛋白A)のバランスの上に立って成立していることを証明した点で重要である。
「除雪カルテ」の作成とその活用に関する研究-札幌市手稲区戸建住宅地を対象として-

1.研究内容北海道は寒冷積雪地域であり、住民は冬期間膨大な除雪作業を余儀なくされている。本研究では住民の除雪作業の軽減を目的として、「地区除雪カルテ」と「個別除雪カルテ」を作成し、地区および各家庭の除雪状況を詳細に把握し、その状況を評価するとともに、除雪苦労軽減の方策を検討するものである。これらのカルテの作成にあたって、札幌市手稲区内にある2地区の戸建住宅地を対象とし、夏季および冬季観察調査と住民に対するアンケート調査を実施し、カルテの基礎データとした。対象地区の戸数は地区1 59、地区2 67である。これらの結果から、「地区除雪カルテ」4枚と「個別除雪カルテ」49例を作成し、分析した。2.研究成果1)「地区除雪カルテ」は観察およびアンケート調査結果を地理情報として地図上に表現し、除雪問題の地理的分布を可視化したものである。このカルテから除雪問題が集中しているエリアを発見することができ、それに対する対策を検討する際に有効な手段となりうることを明らかにした。2)「個別除雪カルテ」各家庭ごとの雪処理評価表とバックデータから成っており、除雪に関係する多くの要因を1枚のシートに記入したものである。その中で根幹をなすのは「除雪苦労意識と外的要因」および「雪の捉え方と内的要因」の得点化による評価であり、個々の除雪条件と解決策を検討することが可能である。その評価結果から、いくつかの除雪対応パターン(一般化)を抽出することができた。3)除雪苦労意識は除雪エネルギー(除雪量×排雪距離)の大小を反映していない。従って、除雪苦労意識ののみで除雪苦労を計ることはできない。1.本年度実施した作業内容(1)「個別除雪カルテ」および「地区除雪カルテ」の作成のため、札幌市手稲区前田に位置する戸建住宅地2地区を調査対象地とし、それぞれ80戸の住戸を選定した。地区1は近年建設された新しい住宅地、地区2は建設後30年程度経過した古い住宅地である。この対象住宅地に対して、夏季観察調査(住宅の屋根形態、落雪方向、窓の下端の寸法、庭の状況等を調査:平成15年7月)と冬季観察調査(敷地および道路の積雪状況、排雪先の確認:平成16年2月)を実施した。さらに、住宅の居住者に対するアンケート調査(平成15年12月)を実施した。(2)上記作業で得られたデータをもとに、個々の住宅における除雪量のシミュレーションを行い、除雪部位ごとの年間除雪量(日常除雪=アプローチ、駐車スペースと非日常除雪量=窓下除雪)を算出した。(3)「個別カルテ」の作成上記のデータから物理的条件として「除雪苦労意識」と必要除雪量、雪処理空間、除雪労力、肉体条件および雪対策の関係、精神的条件として「雪のとらえ方」と愛着意識、定住意識、雪による恩恵、ボランティア除雪に対する意識および生活対応の関係を整理し、「個別除雪カルテ」を作成した。(4)「個別カルテ」で得られたデータを地区ごとに集計し、比較表(「地区除雪カルテ」)を作成した。2.分析結果の概要(1)「個別カルテ」の分析では、各家庭ごとに除雪や雪対応に関わる各要素を総合的に分析することで、雪問題の所在、改善方策の検討を具体的に整理でき、「個別除雪カルテ」の有効性が検証できた。(2)地区の「地区除雪カルテ」を比較分析することで、除雪問題の所在の差異と課題を抽出することができた。3.次年度の課題15年度の作業で得られた「除雪カルテ」を見直し、修正を加えながら、より精度の高いカルテの作成を行う。1.カルテの作成手順

(1)「個別除雪カルテ」および「地区除雪カルテ」の作成のため、札幌市手稲区前田に位置する戸建住宅地2地区を調査対象地とし、それぞれ80戸の住戸を選定した。地区1は近年建設された新しい住宅地、地区2は建設後30年程度経過した古い住宅地である。この対象住宅地に対して、夏季観察調査(住宅の屋根形態、落雪方向、窓の下端の寸法、庭の状況等を調査:平成15年7月)と冬季観察調査(敷地および道路の積雪状況、排雪先の確認:平成16年2月)を実施した。さらに、住宅の居住者に対するアンケート調査(平成15年12月)を実施した。(2)上記作業で得られたデータをもとに、個々の住宅における除雪量のシミュレーションを行い、除雪部位ごとの年間除雪量(日常除雪=アプローチ、駐車スペースと非日常除雪量=窓下除雪)を算出した。(3)「個別カルテ」の作成上記のデータから物理的条件として「除雪苦労意識」と必要除雪量、雪処理空間、除雪労力、肉体条件および雪対策の関係、精神的条件として「雪のとらえ方」と愛着意識、定住意識、雪による恩恵、ボランティア除雪に対する意識および生活対応の関係を整理し、「個別除雪カルテ」を作成した。(4)アンケート調査結果と観察データをもとに、GISを用いて地理情報化し「地区除雪カルテ」を作成した。2.分析結果の概要(1)「個別カルテ」の分析では、各家庭ごとに除雪や雪対応に関わる各要素を総合的に分析することで、雪問題の所在、改善方策の検討を具体的に整理でき、「個別除雪カルテ」の有効性を検証できた。(2)2地区の「地区除雪カルテ」を比較分析することで、除雪問題の所在の差異と課題を抽出することができた。
女訓書の研究

本年度の研究成果は下記の通りである。1、中世から近代に至る女性教育の変遷をたどる上で、軍記物語が描くところの女性像を取りげ、『女性が学ぶということ-女訓から考える軍記物語-』(『日本文学』2002/12)と『虎と遊女たち』(『国文学解釈と鑑賞別冊曽我物語の作品宇宙』2003/1)、ふたつの論文において、その内容を検討するとともに、女性教育における軍記物語享受の一端を明らかにした。すなわち、伝阿仏尼作『にはのをしへ』に始まるとされる女訓書が軍記物語との近接を試みたとき、女性が学ぶことに表現を与える上でひとつの転機が訪れた。軍記物語が描く女性像は、たとえば、和歌を用いての叙述に<色好み>の要素を残しつつも、結果的には儒教的な教えに沿いながら、夫や子、家や国に献身を強いる武士的世界を生きている。暴力による他者支配の構造に根源的に関わるこうした女性像は、中世から近代に至る女性教育の変遷のなかで、確実にその政治的役割を果たしつつ享受されてきたことを論じた。2、軍記物語にとどまらず、女訓書の諸相を明らかにするために、代表的なありかたを示す作品のひとつとして『女訓抄』を取り上げ、南山大学教授美濃部重克氏との共著『伝承文学資料集成女訓抄』(三弥井書店)として刊行するため、以下を担当した。(1)穂国文庫本、大阪女子大本、寛永十六年古活字本、寛永十九年製版本、以上4伝本の比較検討を通して、底本を大阪女子大本から穂国文庫本に改め、本文の翻刻、諸本との校合、校異の作成、および振漢字など、内容理解のための諸作業。(2)所収説話の典拠・類話の調査と、その影響関係をふまえた上での一覧表の作成。本年度の研究成果は以下の通りである。1、中世から近世にかけて成立した「女訓書」の系譜をたどり、その全体像を同時代の文学的営為とあわせて通観することで、研究上必須と考えられる視座を得た。すなわち、「女訓書」の定義を問い直すことで、従来のような個人や時代、あるいは限定されたジャンル上での、閉鎖的かつ単線的な捉え方ではなく、多面的かつ重層的な営為であると認識することで、ジャンルの境界を容易に乗り越え、相互に影響を与えあう文学的営為としての存在意義を再認識した。2、1の認識のもとに、他ジャンルとの影響関係を整理し、その諸相を明らかにする方法を考えた。具体的には、(1)女訓書の代表的作品と言える『女訓抄』諸本のテキストを手に入れ、(2)それら本文を翻刻し、(3)諸本中に見られる説話の内容を整理し、(4)他ジャンル(仏教説話集・狭義の女訓書・御伽草子・仮名草子等)の中から、交渉を持つと考えられる作品を選定し、(5)その影響関係を容易に確認できる一覧表を作成中である。3、なお、1で得た認識、および、2で行った本文翻刻と他作品との影響関係については、平成14年度、三弥井書店より刊行予定の『女訓書集成』において、本文紹介および解題解説として発表できるよう作業を継続する。1、かつて、女訓書としての側面を持つ作品として、その特性を指摘した(論文名:

「よみものとしての『源平盛衰記』」、『平家物語研究と批評』所収、1996年、有精堂)『源平盛衰記』を取り上げ、その本文および校異、『平家物語』諸本間での記事対照表を作成するとともに、共著者である南山大学教授美濃部重克氏による頭注および補注とをあわせ、三弥井書店より、シリーズ「中世の文学」の一冊、『源平盛衰記(六)』として上梓した。2、平成14年度、三弥井書店より刊行予定の『女訓書集成』に関して、以下を実施した。(1)大阪女子大本『女訓抄』を底本として、本文の翻刻、諸本との校合、校異の作成、および内容理解のための諸作業(振り漢字、段落分け等)。(2)大阪女子大本『女訓抄』所収の諸説話の典拠あるいは類話を調査し、その影響関係をふまえた上での一覧表の作成。(3)天理本『女訓抄』と大阪女子大本『女訓抄』とを内容面から比較対照し、そこに、中世初期から後期に至る過程での女訓書の変化を確認するとともに、そうした変化をもたらす外的要因に関する考察。3、中古から近代初期に至る女性教育に関わる資料、および、研究論文等をもとに、その歴史的変遷をふまえた上での、問題点の所在とその整理、今後の課題の検討。本年度の研究成果は下記の通りである。1、中世から近代に至る女性教育の変遷をたどる上で、軍記物語が描くところの女性像を取りげ、『女性が学ぶということ-女訓から考える軍記物語-」(『日本文学』2002/12)と『虎と遊女たち』(『国文学解釈と鑑賞別冊曽我物語の作品宇宙』2003/1)、ふたつの論文において、その内容を検討するとともに、女性教育における軍記物語享受の一端を明らかにした。すなわち、伝阿仏尼作『にはのをしへ』に始まるとされる女訓書が軍記物語との近接を試みたとき、女性が学ぶことに表現を与える上でひとつの転機が訪れた。軍記物語が描く女性像は、たとえば、和歌を用いての叙述に、<色好み>の要素を残しつつもへ、結果的には儒教的な教えに沿いながら、夫や子、家や国に献身を強いる武士的世界を生きてる。暴力による他者支配の構造に根源的に関わるこうした女性像は、中世から近代に至る女性教育の変遷のなかで、確実にその政治的役割を果たしつつ享受されてきたことを論じた。2、軍記物語にとどまらず、女訓書の諸相を明らかにするために、代表的なありかたを示す作品のひとつとして『女訓抄』を取り上げ、南山大学教授美濃部重克氏との共著『伝承文学資料集成女訓抄』(三弥井書店)として刊行するため、以下を担当した。(1)穂国文庫本、大阪女子大本、寛永十六年古活字本、寛永十九年製版本、以上4伝本の比較検討を通して、底本を大阪女子大本かも穂国文庫本に改め、本文の翻刻、諸本との校合、校異の作成、および振漢字など、内容理解のための諸作業。(2)所収説話の典拠・類話の調査と、その影響関係をふまえた上での一覧表の作成。
保育園看護師による「気になる子ども」への早期支援を可能にする支援プログラムの構築

社会の保育ニーズに対応し、看護師を配置する保育園は増加傾向にある。しかし、その主要業務は健康管理が中心とされ、発達障がいを疑われる「気になる子ども」への支援における保育園看護師の取り組みについての報告は少ない。本研究では、「気になる子ども」の早期発見・支援における保育園看護師の活動の実態を調査した。また、これまでの研究で作成した「保育園における子どもの気になる行動アセスメントツール」を用いた縦断調査の結果もふまえ、支援体制の課題と、保育園看護師の専門性を効果的に発揮できる支援方法を検討した。実態調査の結果、看護師は単数配置ではクラス担任として乳児クラスに配置されている場合が多く、保育士と比較し「気になる子ども」の支援に直接関わる機会が少ないこと、経験が乏しい状況において保育士からの断片的な情報のみでは経過や全体像を把握しにくいこと、保護者との関わりも限られているなどの状況から、総合的なアセスメントが行えず、89%の看護師が支援において十分な役割を取れていないと感じていた。アセスメントツールによる定期的な発達評価は、保育士からの情報を看護師が客観的に継続的に捉える上で有効であり、両者の情報の共有を可能にするとともに、経験則であった保育士の「気になる」捉えを客観的に評価することで、支援者側の捉え方の偏りに気付いたり、発達の遅れや歪みの見極めのポイントを見出すための指標となることが検討された。近年、多様化する社会の保育ニーズに対応するため、看護師を配置する保育園は増加傾向にある。しかし保育園看護師の主要業務は健康管理が中心とされ、診断のされていない「気になる子ども」の早期発見や支援においては、これまで保育園看護師が主体的に関与した取り組みはほとんど報告がなかった。そこで、本研究では「気になる子ども」の早期発見・支援における保育園看護師の活動の実態と役割についての課題を明らかにし、保育園看護師による支援プログラムを構築してその効果を検証することにより、保育園看護師が保育園の中で保育士と共に「気になる子ども」への支援を行うための方向性を検討することを目的とした。平成27年度には、石川県内の全認可保育所(園)・認定子ども園、241園に勤務する看護師を対象に、「気になる子ども」への支援内容と看護職者の役割遂行の意識、今後の希望等についての実態調査を行った。その結果、石川県の看護職者配置率は41.9%で、全国の配置率と比較すると若干低く、私立保育園は公立保育所に比べ配置率が有意に低かった。気になる子どもの支援に関しては、看護職者の72.2%が看護職者として十分な役割を取れていないと感じており、他機関との連携を取っている者は76.3%いたが、保護者から発達に関する相談を受けている者は32.0%と低く発達支援に関して看護職者は積極的に関わることが出来ていなかった。また、今後の活動に関する要望として“保育士と協働したい"“フリー配置にしてほしい"などが挙げられ、支援の充実には、多職種間の連携が重要と考えていた。これらの結果を2006年、および2010年に保育園看護師を対象に研究者らが行った調査と比較し、現時点での「気になる子ども」に対する保育園看護師の活動における課題を明確化したうえで、具体的な支援プログラムの作成に取りかかる予定である。石川県内の全認可保育所(園)・認定子ども園、241園に勤務する看護師を対象に、「気になる子ども」への支援内容と看護職者の役割遂行の意識、今後の希望についての実態調査を実施したが、支援プログラムの作成する上で必要な課題の検討が十分に行われていない。平成28年度は石川県内の保育園看護師らを含めた検討会を開催し、課題を明確化したうえで支援プログラムの作成に取りかかる予定である。しかし保育園看護師の主要業務は健康管理が中心とされ、診断のされていない「気になる子ども」の早期発見や支援においては、これまで保育園看護師が主体的に関与した取り組みはほとんど報告されていない。そこで、本研究では「気になる子ども」の早期発見・支援における保育園看護師の活動の実態と役割についての課題を明らかにすることにより、保育園看護師が保育士と共に「気になる子ども」への支援システムモデルを検討することとした。平成28年度は、平成27年度に行った石川県内の保育園看護師を対象に行った実態調査の結果について報告会および、これまでの研究にて作成した「保育園における子どもの気になる行動アセスメントツール」を用いた縦断調査の結果について意見交換会を重ね、支援システムにおける課題を検討した。保育園看護師が発達障害の疑われる「気になる子ども」の支援に十分な役割が取れていない背景には、看護師が保育士と比較し子どもの生活場面に直接接する機会が少ない中で、保育士から得られる情報が断片的でアセスメントに繋がっていないこと、また、専門的な研修等を受ける機会が少なく、保護者との関わりも限られていることから、保育士から相談を受けても、自身の判断に自信が持てないこと等の課題が挙げられた。さらに、看護師の専門性を活かした働き方ができる体制をとっている保育園は少なく、園内外の連携を円滑にするシステムが機能していなかった。これらの課題を踏まえ、アセスメントに必要な情報を可視化できるようツールを用いた支援プログラムを作成中である。当該計画では、実態調査の結果および「保育園における子どもの気になる行動アセスメントツール」を用いた縦断調査の結果を踏まえ、支援プログラムの策定、実施までを行う予定であった。

しかし、検討に時間を要し、当該の予定に対して進行が遅れている。近年、多様化する社会の保育ニーズに対応するため、看護師を配置する保育園は増加傾向にある。しかし、保育園看護師の主要業務は健康管理が中心とされ、発達障がいを疑われる「気になるこども」への支援においては、保育園看護師が主体的に関与した取り組みはこれまであまり報告されてこなかった。そこで、本研究では、「気になる子ども」の早期発見・支援における保育園看護師の活動の実態を調査し、これまでの研究で作成した「保育園における子どもの気になる行動アセスメントツール」を用いた縦断調査の結果もふまえ、支援体制の課題を明らかにし、保育園看護師の専門性を効果的に発揮できる支援方法を検討してきた。看護師は、単数配置の場合にはクラス担任として乳児クラスに配置されている場合が多く、関わる生活場面も限られる中で、保育士と比較し「気になる子ども」の支援に直接関わる機会が少ないこと、経験が乏しい状況において保育士からの断片的な情報のみでは経過や全体像を把握しにくいこと、保護者との関わりも限られていることなどから、総合的なアセスメントが行えず支援において十分な役割を取れていないと感じていた。アセスメントに必要な情報を保育士と看護師がともに個人の発達の経過の中で共有して捉えることができるよう、園児の健康管理と併せてアセスメントツールによる定期的な発達評価を行うことは、保育士からの情報を客観的に捉える上で有効であり、情報の共有を可能にした。また、これまで経験則であった保育士の「気になる」と捉える状態を、客観的に評価したことにより、保育士個人の捉え方の偏りに気付いたり、発達の遅れや歪みの見極めのポイントを見出すための指標となったことが話し合われた。これらの情報は、他機関との連携や就学に向けた切れ目ない支援のための学校や特別支援学校の教育相談室への申し送り内容の検討に活用され、園内外の連携を円滑にすることに貢献している。実態調査の結果を踏まえ、保育園看護師の役割についての検討を重ねた結果を学会及び論文にて報告予定であったが、平成29年度は所属する小児看護部門の教員が欠員となったことで業務が多忙となり、研究成果をまとめ、報告する時間を確保することができなかった。社会の保育ニーズに対応し、看護師を配置する保育園は増加傾向にある。しかし、その主要業務は健康管理が中心とされ、発達障がいを疑われる「気になる子ども」への支援における保育園看護師の取り組みについての報告は少ない。本研究では、「気になる子ども」の早期発見・支援における保育園看護師の活動の実態を調査した。また、これまでの研究で作成した「保育園における子どもの気になる行動アセスメントツール」を用いた縦断調査の結果もふまえ、支援体制の課題と、保育園看護師の専門性を効果的に発揮できる支援方法を検討した。実態調査の結果、看護師は単数配置ではクラス担任として乳児クラスに配置されている場合が多く、保育士と比較し「気になる子ども」の支援に直接関わる機会が少ないこと、経験が乏しい状況において保育士からの断片的な情報のみでは経過や全体像を把握しにくいこと、保護者との関わりも限られているなどの状況から、総合的なアセスメントが行えず、89%の看護師が支援において十分な役割を取れていないと感じていた。
型理論的アプローチによる証明論および計算論の研究

1930年代に誕生した計算論では,自然数を対象とした計算の研究が中心を占め,数々の重要な成果が発見されると共に,その成果に基づいてその十数年後に実際のコンピュータ第1号が登場した.そのような観点から伝統的な計算論を振り返って見るとき,例えば,自然数以外のデータ構造を直接対象として扱う計算論の登場が,今後更なるアルゴリズムの発展やそれらの解析のための基礎理論として有用であると思われる.我々は,そのような観点から,自然数以外のデータ構造の中で,理論的にも応用的にも最も重要と思われる二分木を取り上げ,それらを対象とする計算の理論を構築し,次の成果を得た.1.自然数に対する計算論の中心的概念である帰納的関数と原始帰納的関数の考え方を,二分木の場合に拡張することにより,自然数の場合と同様に数学的に安定した望ましい数々の性質を持つ概念が得られた.2.二分木を自然数でコード化するある標準的なコード化関数を選び,それに関して自然数上の帰納的(または,原始帰納的)関数と共役な二分木上の関数は,我々が1で定義した二分木上の帰納的(または,原始帰納的)関数と一致することが示された.3.上の2で述べた事実は,コード化関数の決め方に依存するが,どのようなコード化関数の場合に上のことが成り立つかを調べ,そのための必要十分条件を得た.上記の研究の過程で我々は,コンピュータやプログラミングが多くの人々にとって身近な存在となった現在,伝統的な視点に必ずしも縛られることなく,もっと自由にプログラミングで得た知見などを盛り込んだ新しい発想の計算モデルを含む,多様な計算論が誕生してもよいのではないかと考え,現在そのための候補の一つを検討中である.1930年代に誕生した計算論では,自然数を対象とした計算の研究が中心を占め,数々の重要な成果が発見されると共に,その成果に基づいてその十数年後に実際のコンピュータ第1号が登場した.そのような観点から伝統的な計算論を振り返って見るとき,例えば,自然数以外のデータ構造を直接対象として扱う計算論の登場が,今後更なるアルゴリズムの発展やそれらの解析のための基礎理論として有用であると思われる.我々は,そのような観点から,自然数以外のデータ構造の中で,理論的にも応用的にも最も重要と思われる二分木を取り上げ,それらを対象とする計算の理論を構築し,次の成果を得た.1.自然数に対する計算論の中心的概念である帰納的関数と原始帰納的関数の考え方を,二分木の場合に拡張することにより,自然数の場合と同様に数学的に安定した望ましい数々の性質を持つ概念が得られた.2.二分木を自然数でコード化するある標準的なコード化関数を選び,それに関して自然数上の帰納的(または,原始帰納的)関数と共役な二分木上の関数は,我々が1で定義した二分木上の帰納的(または,原始帰納的)関数と一致することが示された.3.上の2で述べた事実は,コード化関数の決め方に依存するが,どのようなコード化関数の場合に上のことが成り立つかを調べ,そのための必要十分条件を得た.上記の研究の過程で我々は,コンピュータやプログラミングが多くの人々にとって身近な存在となった現在,伝統的な視点に必ずしも縛られることなく,もっと自由にプログラミングで得た知見などを盛り込んだ新しい発想の計算モデルを含む,多様な計算論が誕生してもよいのではないかと考え,現在そのための候補の一つを検討中である.従来の計算論では,自然数上の関数に対する計算可能性が専ら論じられ,語(word)や木構造(tree structure)などの構造を持ったデータに対する計算については,それらのデータを一旦自然数でコード化し,その上で自然数関数の計算の理論を適用すればよいとする見方が多かった.しかし,そのような方法で捉えることができるのは,こうしたデータに対する計算の一側面に過ぎず,例えば木構造を用いて行われる数々の卓越したアルゴリズムが表している計算の本質を自然な形で正確に捉え,その性質(例えば計算量の解析など)を深く検討するには不十分である.我々はこのような考え方に基づき,最近の研究論文"On Computable Tree Functions"で2分木を対象とする関数の計算について考察し,帰納的関数論の枠組みを拡張して2分木上の帰納的関数の概念を新たに導入し,その全体が,自然数によるコード化を介して計算可能な関数の全体と丁度一致することを示した.また,その際用いるコード化関数の選び方が上の結果に及ぼす影響について調べ,上の結果が成り立つためにコード化関数に要請される必要十分条件を得た.なお,木構造上の帰納的関数についての研究が英国の研究者により近年報告されているが,研究の動機が,木構造を扱うアルゴリズムの性質を詳しく検討するための数学的枠組みを構築したいといういう我々の場合とは基本的に異なっている.すなわち,本研究では原始帰納的関数の定義を木構造に拡張する際,木構造を扱うアルゴリズムがそうであるように,木構造自身の構成に関する帰納法に基づいているのに対して,彼らは単純に数学的帰納法の考え方に基づいて木構造上の原始帰納的関数を定義しているため,木構造を扱うアルゴリズムを彼らの枠組みで研究することはできない.数学のいろいろな分野で扱う数式を項と呼び,その全体を項代数と呼ぶ.項代数の上で定義される関数の計算可能性を考えることは,コンピュータを使って数学の研究を行う場合に検討しておかなければならない基本的な問題の一つである.

我々はこの問題に対する一つのアプローチとして,それらの関数の中で,特に単純型理論の枠組みの中で表現可能な関数の全体が,原始帰納法と似た(ただし,それよりも弱い)新しい概念を導入することにより特徴付けることに成功し,その結果を国際学術雑誌に発表した.また,1997年に東京工業大学で開催した国際研究集会「Theories of Types and Proofs」の論文集が諸般の事情から予定より大幅に遅れて2002年春に出版された.この国際研究集会では,国内外から参加した研究者による型理論と証明論に関する優れた論文が発表され活発な議論が行われた.また,この研究集会を通じて国内外の研究者が親しく交わる機会が与えられたことは,特に我国の若手の研究者にとって有益であった.今年度は主として次の2点に焦点を絞って研究を行った.1.過去数年に亘って行ってきた我々の研究で,従来,自然数を対象とする計算について知られている計算論の枠組みを拡張することにより,二分木を対象とする計算に対する理論的な特徴付けが得られ,それによってこの分野を本格的に研究するための基礎が整えられた.そこで本年度は,それらの理論的な枠組みの一つをコンピュータ上に実際にソフトウェアとして構築する意味で,新しいプログラミング言語TLの設計とその処理系の実装を行った.この言語の表現能力は,二分木に対する計算可能な関数の全体とちょうど一致する.二分木やその他の木構造を基に組み立てられる種々のアルゴリズムの研究が,今後この種の処理系を用いてより直接的に行えることを期待している.2.型理論および証明論との関連で計算の本質を深く追求する本研究の一環として,コンピュータの(特に理学的な)アイディアのルーツを探ることを兼ねてから考えていた.その方向の研究の手始めとして今年度は,人類にとって永年の夢だった「万能コンピュータ」の実現がなぜ20世紀半ばに実現したかを考察した.その結果,19世紀半ばに始まりその後1世紀足らずの間に急成長した数理論理学が,コンピュータ前史(コンピュータのアイディアが生まれ育つまで)において果たした極めて重要な役割を掘り起こすことができた.その結果を取り敢えず和文の論文としてまとめたのが,研究発表の冒頭に掲げたものである.現代のコンピュータがハードウェアとソフトウェアから成ることはよく知られているが,そのような構造に由来するコンピュータの持つ性格や,そうした機械が何故20世紀半ばに登場し,半世紀余りの間にこれほど広く普及し多様な用途を見出すに至ったのかについては余り知られていない.その理由の一つは,20世紀前半に急成長を遂げた数理論理学がコンピュータのアイディアの誕生に際して果たした重要な役割が十分解明されていなかったことによると思われる.実際,数理論理学が人間の論理的思考を明確に記述する方法を提示することに成功したことによって,我々の論理的思考の構造や限界がその後次第に明らかにされてきたが,それとよく似た種類の記述をソフトウェアとして取り込んだ現代のコンピュータの概念の萌芽ともよぶべきものが,その数十年後に数理論理学の若手研究者によって発見され,更にその概念が他の論理学者によって現実のハードウェアへと橋渡しされた経緯が今回の研究で明らかになった.一方,数理論理学は,数学における概念の記号化の非常に長い(そして緩慢な)