整数論と関連分野の研究

数论及相关领域研究

• 批准号: 05640029
• 负责人: 浅井 哲也
• 金额: $ 1.28万
• 依托单位: Shizuoka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-05640029/
• 关键词: デデキント和; ショットキィ空間; 積空間; ペッティス集合; BCK論理; 飛石状モデル

1.(浅井) デデキント和の相互法則に関連して、(1)一般デデキント和の場合に拡張されたラデマッハーの符号問題を解決した(発表論文参照)、ならびにこの結果の局所化として、(2)隣接ファーレイ分数と中間分数におけるデデキント和のp進的性質の数値実験およびその定式化をした(発表準備中)。2.(佐藤) クライン群の研究において、(1)実型の古典ショットキィ群の8種類すべてについてヨルゲンセン数の下界を決定した(発表論文参照)、ならびに(2)3種の実型古典ショットキィ空間の形状と、同モジュラー群に関する基本領域の形状を決定した(発表準備中)。3.(千葉) 積空間の位相的性質について、(1)ハウスドルフ空間の非可算なシグマ積は遺伝性正規的でも遺伝性パラコンパクトでもないことを示した(発表論文参照)、ついで、(2)正規シグマ積において、有限部分積のサブメタ・リンデレフ性からシグマ積についての同性質が従うことを証明した(発表論文参照)。4.(松田) ベクトル値測度論の研究において、実バナッハ空間の共役空間の弱コンパクト部分集合がペッティス集合となるための必要十分条件を2通り与えた(各発表論文参照)。5.(古森) ラムダ計算研究に関連して、(1)BCK論理において、証明可能論理式の持つ正規証明図の個数の決定方法を与えた(発表論文参照)、ならびに、(2)BI論理等におけるP-W問題を解決した(発表論文参照)。6.(板津) 集団遺伝学モデルに関する確率過程論において、特にフレミング・ヴィオト過程について研究し部分的な成果を得た(発表準備中)。

1.(Shallow well デ デ キ ン ト and の law に masato even し て, (1) general デ デ キ ン ト and の に company, zhang さ れ た ラ デ マ ッ ハ ー の symbol を solve し た (発 table paper reference), な ら び に こ の bureau の result と し て, (2) 隣 フ ァ ー レ イ score among と score に お け る デ デ キ ン ト の and nature of the の p into the numerical be 験 お よ び そ Set to を that た(table in preparation). 2.(Sato ク ラ イ ン の research group に お い て, type (1) be の classical シ ョ ッ ト キ ィ group of 8 kinds す の べ て に つ い て ヨ ル ゲ ン セ ン number の lower を decided し た (発 table paper reference), な ら び に (2) three の type be classical シ ョ ッ ト キ と の ィ space shape, with モ ジ ュ ラ ー group に masato す る の basic field shape を decided し た (発 table ready to) . 3.(Chiba The nature of the product space の phase に つ い て, (1) ハ ウ ス ド ル フ space is の non can calculate な シ グ マ product は heritage 伝 sex formal で も heritage 伝 sex パ ラ コ ン パ ク ト で も な い こ と を shown し た (発 table paper reference), つ い で, (2) the formal シ グ マ product に お い て part, limited product の サ ブ メ タ · リ ン デ レ フ sex か ら シ グ マ product に つ い て の gay The quality が従う とを とを proves that た た(refer to the published paper). 4. (matsuda) ベ ク ト ル numerical measure theory の research に お い て, be バ ナ ッ ハ space space の total service の weak コ ン パ ク ト part collection が ペ ッ テ ィ ス collection と な る た め の is very necessary to を り with 2 え た (each 発 table paper reference). 5. (ferguson) ラ ム ダ computing research に masato even し て, (1) BCK narrative に お い て, certificate may feel つ narrative の formal 図 の number の を decision method and え た (発 table paper reference), な ら び に, (2) BI logical に お け る P - W を solve し た (発 table paper reference). 6. (plate), tianjin sets 団 heritage 伝 learn モ デ ル に masato す る probabilistic expounds に お い て, に フ レ ミ ン グ · ヴ ィ オ ト process に つ い し partial な て research を must た (発 table).

项目成果

Sato,Hiroki: "Jφrgensen's numbers for real two-generator free groups" 数理解析研究所講究録. (出版予定). (1994)

Sato, Hiroki：“Jφrgensen 的实二元自由群数”，数学科学研究所 Kokyuroku（即将出版）（1994 年）。

Komori,Yuichi: "Syntactical Investigations in BI Logic and BB'I Logic" Studia Logica. (出版予定). (1994)

小森雄一：“BI 逻辑和 BBI 逻辑的句法研究”Studia Logica（即将出版）。

Asai,Tetsuya: "On the sign problem of Dedekind sums" Rep.Fac.Sci.Shizuoka Univ.27. 9-12 (1993)

浅井哲也：“关于戴德金和的符号问题”Rep.Fac.Sci.Shizuoka Univ.27。

Chiba,Keiko: "Normality of σ-products" Proc.Amer.Math.Soc.119. 999-1003 (1993)

Chiba, Keiko：“σ-乘积的正态性”Proc.Amer.Math.Soc.119 (1993)。

Matsuda,Minoru: "Remarks on Pettis sets" Rep.Fac.Sci.Shizuoka Univ.28. 17-23 (1994)

松田稔：“佩蒂斯集的评论”Rep.Fac.Sci.Shizuoka Univ.28。