ﾚｽ書き込み

Inter-universal geometry と ABC予想 (応援スレ) 77

PC,ｽﾏﾎ,PHSは公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>760
> 当事者です （＾＾
> 　>>313より再録
> ID:BZV1IQOW
> >>306
> (引用開始)
> セタへの問題
> >Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
> のとき
> >∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
> の自由変数をすべて書け
> (引用終り)
> ふっふ、ほっほ
> あのな、それよりか
> 下記 Colin McLarty https://arxiv.org/abs/1102.1773
> の圏論のロジック（矢印図）読めるのか？ キミはｗｗ　（＾＾；
> どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
> いまどきは
> 圏論のロジック（矢印図）の方が重要だと思うよ
> （例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
> 　>>250 より再録
> Colin McLarty has looked into this
> The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325,
> doi:10.1017/S1755020319000340, https://arxiv.org/abs/1102.1773
> (引用終り)
> 
> １）趣旨は ”集合論の論理式 ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))”は
> 　コンピュータ言語でいえば、低級のアセンブラみたいなもので
> ２）圏論は 、高級言語 あるいは フローチャー風の ノーコード（下記）だと
> ３）なので”ｗｗｗ”は、原始的なアセンブラを読めると自慢するが 高級言語の圏論 どうよとｗｗｗ
> 
> (参考)
> https://ja.wikipedia.org/wiki/%E3%83%8E%E3%83%BC%E3%82%B3%E3%83%BC%E3%83%89%E9%96%8B%E7%99%BA%E3%83%97%E3%83%A9%E3%83%83%E3%83%88%E3%83%95%E3%82%A9%E3%83%BC%E3%83%A0
> ノーコード開発プラットフォーム（英: No-code development platform, NCDP。NoCode（ノーコード）とも言う）
> プログラマあるいはノンプログラマが、従来のプログラミングの代わりに、グラフィカルユーザインタフェース（GUI）や設定を通してアプリケーションソフトウェアを作成することを可能にする
> 
> https://ja.wikipedia.org/wiki/%E9%AB%98%E6%B0%B4%E6%BA%96%E8%A8%80%E8%AA%9E
> 高水準言語（high-level programming language、高級言語とも）とは、記述の抽象度が高いプログラミング言語のことである[1]。対義語は機械語やアセンブリ言語を指す「低水準言語」である。「高級言語」の対は「低級言語」である。
> 概要
> 抽象度が特に高いプログラミング言語という意味で代表的な言語としては、C言語やJavaがある。
> 高水準言語は、低水準言語と比べ、
> ・人間にとってわかりやすい
> ・プロセッサに依存した処理を書かなくてよい
> ・メモリ制御、IO制御等、低水準の操作を意識しなくてよい
> といったことが特徴である[1]。

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 1.031s*