ディオファントス方程式 - Wikipedia
ディオファントス方程式（ディオファントスほうていしき、Diophantine equation）とは、整係数多変数高次不定方程式である。文脈として、整数解や有理数解を問題にしたい場合に用いられる用語であり、主に数論の研究課題と考えられている。古代アレクサンドリアの数学者ディオファントスの著作『算術』で、その有理数解が研究されたのにちなんだ名称である。 定義[編集] ディオファントス方程式とは、整係数多変数高次不定方程式 である。整数および変数の定数乗の加減乗算からなる方程式は、すべてディオファントス方程式である。 指数部分も変数化した方程式も、広義のディオファントス方程式である。このような方程式は指数型ディオファントス方程式（exponential Diophantine equation）と呼ばれる。実際には、指数型ディオファントス方程式は通常のディオファントス方程式の複数の組に還元でき
ジャン＝イヴ・ジラール - Wikipedia
この存命人物の記事には検証可能な出典が不足しています。信頼できる情報源の提供に協力をお願いします。存命人物に関する出典の無い、もしくは不完全な情報に基づいた論争の材料、特に潜在的に中傷・誹謗・名誉毀損あるいは有害となるものはすぐに除去する必要があります。 出典検索?: "ジャン＝イヴ・ジラール" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2012年1月） ジャン＝イヴ・ジラール（Jean-Yves Girard、1947年 - ）は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。 外部リンク[編集] Présentation de JYG ジャン＝イヴ・ジラール - Mathematics Gene
Geometry of interaction - Wikipedia
In proof theory, the Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tree structures of sequent calculus. To distinguish the real proof nets from all the possible networks, Girard devised a criterion involving trips in the network. Trips can in fact be se
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
星野 直彦- ｜京都大学数理解析研究所
Proof net - Wikipedia
