創発としての言語及び記号論について
■ このスレッドは過去ログ倉庫に格納されています
言語や記号は、単なる実用的な機能を有するだけでなく、新たな価値を形作る それが真の記号であるなら、それは有機的な記号であるはずである 有機的な記号とは、生命系のような記号という意味である ピクトグラムという図も記号であり、それは何かを指示している。だが、それも常に 人は、常に記号や言語に反応している。SNSを少し覗けば、すぐに理解できることだ だから街を歩いているのは、本当は人でない 哲学の創始者とされ、数学者でもあった古代ギリシャ哲学者のタレスは モノ、製品、自然、言語、人、イデオロギー、機械、抽象、科学、国家、想像、神、死 「AI 人間 機械 動物 植物 無機物」 たとえば、右手と左手、どちらが優位であろうか。利き手であれば人それぞれで また、記号の特徴としては、記号は他の記号へと容易に置換できる、ということだ 宇宙の創生にはビックバンがあったと言われているが、正確に言えば最初に お前のはただの言葉遊び 記号というのは無機・抽象的なものと考えられがちだが、実際は記号が動くのを ウェブサイトには頻繁に更新が入るので、それで記号が動いていることが実感される >>1 >>21 たとえば、記号を扱うといってもプログラミング言語や科学的述語、契約文書などは つまり、記号を解釈したり、実用する主体が機械でなく人間である限り、そこに 数学で用いられる記号は、基本、一対一対応が求められている。根であれば、 有理数だけでなく、代数的な数も自然数と同じℵ₀と https://ja.wolframalpha.com/input?i=x%5E6+-+4x%5E3+%2B+2+%3D+0 ここでのポイントは、より複雑な数にみえる代数的な数であっても >>30 >>29 の http://ja.wolframalpha.com/input?i=x%5E6+-+4x%5E3+%2B+2+%3D+0 直感的に考えて、自然数と比べて、有理数や代数的な数の方がずっと多く >>27 との場合はそこが異なる点ではあるが アフォーダンス理論も記号論の文脈に移植して捉えることができそうだ https://www.worldcolor.co.jp/column/kanai1708-affordance/ 記号表現は、真逆のベクトルを自らに内包している。その一つは同一性・アイデンティティの 記号表現が意味内容は、そのコンテクストやコード(法)に依存し、場合によっては、 同様に、記号表現には背景知識、コンテストへの理解が必要とされる 記号 記号 社会習慣的な約束によって、一定の内容を表すために用いられる文字・符号・標章などの総称。 一般に，ある対象の代替物として，その対象を喚起することによりそれを表象するもの． ある特定の機能や内容を、わかりやすく表現するための図形や符号などのこと。 もっとも広い意味での記号とは，〈ある事物･事象を代理するもの〉のことをいう。 (1)コミュニケーション論，記号論などの用語で，〈信号〉〈記号〉〈合図〉などと訳される。 (1)コミュニケーションにおいて用いられる記号signの一種。一般に，ある事物Aが別の事物Bを意味するとき， > 記号は，人間の思考作用の本質にかかわるものとされ，哲学者 R.カルナップは 冪乗集合(Power Set) >>54 B = {φ} の冪集合の場合は、ρ(B) = {φ,{φ}} となる 集合論において 人間の記号操作の特徴としてあるのは、記号(表現)を固定的、固有名詞的な たとえば、前にも出した例だが、「やばい」という発話は、現代ではその意味内容が AIや機械の場合は、これを辞書的にそのまま「やばい」と解釈するので、悪いという つまり、人間の記号操作・解釈は、 プログラミング言語で「オブジェクト指向」などと言われるのも、こうしたAIや機械の 2022年4月17日 >>65 また、現代では記号が虚構を生成することも技術的に容易である。 つまり、記号は、「偽」の現実を容易に生成できる、ということだ。 記号機能とは、あるモノ(オブジェクトx)の代わりとして表すことで、その機能を 記号表現には、無契的なものと、有契的なものがある。無契的とは、対象(指示物)と たとえば、プログラミングなどで、果物にインデックスを割り当てたいとする。 Mをコンパクトなリーマン面とし、 また、記号内容の区分には、表示義(ディノテーション)と共示義(コノテーション)がある。 そして、共示義(コノテーション)はコンテクストに依存している、と言えるだろう 〈言語学用語〉 すごい。『記号論への招待』に書いてあったことがそのまま書いてある。 >>82 すでに何か書いてあるものに対して何か書いていけよと語りかける行為について。 2つの群GとG’ がある時、それが同じ関係のタイプを持っているかどうか、 ここで無限群の同型の一例をあげてみよう >>85 インバースが表示されないようだ 数学者(M)と哲学者(P)は、似たところがあるように思える 「同じ川には二度と入れない」は、哲学者のヘラクレイトスが述べたことだが、 x² + y²は、実数の範囲では因数分解できない。だが、複数平面などを学習し, 虚数単位iの 四元数体(超複素数体)の世界では、虚数単位j,kを使って複素数の世界を拡張し、 ℍ (四元数体(多元体、斜体)・ハミルトン)のi,j,k間の可能な積は、 共役四元数 整数の範囲で割り切れない素数も、複素数の範囲では割り切れる。 オブジェクトや対象物は、それを指示する記号で指示することはできるが、その つまり、ここでの肝は、オブジェクトや記号としての「便器」にあるのでなく、美術品の デュシャンが何を目論んで便器である「泉」を出展したのかは定かでないが、 >>98 少し自己分析をしてみて、なぜ、私が記号論でデュシャンの「泉」を取り上げたのか 記号にならないものをも操作しなければ生きているとは言えないからです。 たとえば、政治も記号操作である。投票したり、法案を議会に通し、政策という 日本はIT後進国と言われている。要するにそれはコンピュータやデジタル 「～だ調」「～だろう調」「～である調」「～であろう調」の混在について。 記号に恣意性があるとは言っても、数学のようなコードの場合は、その規則性は ここに、なにか規則性のようなものを感じないだろうか。 等差数列の和Sₙの公式を知っている者なら、初項a₁から第n項であるaₙ を このようなNFTアートも記号である Madonna. 文書処理には、「WYSIWYG」という方式がある。私達に一番、馴染みのある形式で、これは >>121 にあるLaTex形式の文書やHTML形式の文書は、モニターで表示されているものと、 このスレは、ソシュール路線でなくて、パースやブール路線の記号🔣論で進む方向かもしれない 現代社会は記号だらけなので、ここは誰かが哲学的に総括しなければならないだろう 算術というのは、記号を論理的に操作することで、その働きをなすものの計算体系 まず、素数は２から始まるので、これに１を加えると、素数３ができる。そして、この 次は、(2✕３✕7✕43✕13+1=23479) 23479になる。23479は(53✕443) 次は、2✕３✕7✕43✕13✕53✕5✕6221671+1=38709183810571 コンピュータで新しい素数を見つける方法では、「メルセンヌ素数」という つまり、算術における記号や数は、論理や規則性を持つ、と考えて良いだろう 20番目のメルセンヌ素数(2ⁿ－ 1)のnは4423であり、そのメルセンヌ素数は >>132 の n=4423 も当然、素数になっている >>127 Wikipediaのミルズの定理によると、床関数を使った 素数の出現には偶数の出現のような規則性は感じられないが、 実際、 https://i.imgur.com/hojUJ4v.jpg 素数はprime number なのでPと置こう。素数は有限個なのか、無限個なのか、 つまり、Pₓ = (P₁✕P₂✕P₃✕ P₄✕……✕Pₙ) +1 とした時、Pₓは素数であるのか 「可換環論」には、イデアルという概念が出てくる。イデアルというのは これは、イデアル(１６)はイデアル(8)に含まれ、イデアル(８)はイデアル(４)に含まれる、 また、イデアルには極大イデアルという概念がある 上の方で素数の話題が出ていたが、イデアルには素イデアルという概念も (n)が素イデアルになるのは、ｎが0の場合と、nが素数Pの場合だけという 0 ≤ x ≤ 1 とする. n = 1,2,3,…に対して、 nᵃ = exp(a log n) >>150 つまり、記号とは暗号であり、解読のためにはキーを必要とするのだ 数式は、投稿サイトのフォーマットで書くと、何が書いてあるのか >>150 >>151に書いたことと同じものを https://i.imgur.com/1vhPu3S.png >>154 https://i.imgur.com/3ndsb3H.png 数学と哲学は、思いのほか似ている部分がある 指数関数y=exp(x)と対数関数x=log(y)は逆関数の関係にある、 >>156 に書いた調和級数も、その増加傾向が、下側の方のグラフである https://i.imgur.com/BOjDWAJ.png >>156 >>161 個人情報の劣化コピーでできたスレ。よっぽどアナログなんだなお前ら >>161 へーえ、カンニングが上手いだけの奴が哲板の本丸を買って出るわけだＷＷＷ 科学というのは周期性や再現性を扱うので、それらの継続を前提して、 >>170 >>170 3の1乗は3で、5で割ると余りが3になる。 https://i.imgur.com/mYwX2Do.png 図の右側の↕にある「範列的な関係」とは、クラスとして類別されることで定義される モジュロでℤ/mod.3として、{0,1,2}で類別で、さらに思いつくのはちょうどそこには https://i.imgur.com/552MLzq.png >>180 の「オイラー積」の括弧の大きさを修正した https://i.imgur.com/CMdZCcG.png 決定的と非決定的 計算量モデルには、「オーダー記法」というのがよく知られているけれど、これは https://note.com/strictlyes/n/n82d0a3874256 このブログの一番最後にあるコードは、O(log n) というオーダーのアルゴリズム >>159 に書いたグラフのように、対数関数は漸増なので、 計算する量が少なければ悪しきアルゴリズムでも問題ないが、計算量が 「来世まで待たないと計算が終わらない」という表現は面白いが、 >>182 >>176 モジュロ計算はヘッド部分に、余り±1となるものを探して作るのが計算のポイントだろう >>189 の計算はmod31で、31は素数だから、>>188 の人が書いている 「冪等元」、て言っていいか分からんけどそれに近いな。 「中国の剰余定理」では、解の一意性において素数がキーになっている。つまり、整数論において素数は特別な数という位置付けにあるのだ 「RSA暗号」でも素数が秘密鍵として使われているので、やはり、素数は整数の中でも特別なものなのだろう RSA暗号とは？仕組みや応用事例を初心者にもわかりやすく解説！ https://it-trend.jp/encryption/article/64-0056 >>190 の計算は、正確に書くと、 5^30010≡(5^30)^1000 ✕ 5^10 mod31 その場合は5^30010≡(5^30)^1000 ✕ 5^10 ≡5 (mod31） LaTeXの冒頭アブストラクトの箇所を あと、哲学する上では、何か自分なりの問題意識というかテーマ、切り口を あと、物事を体系的に考察する上でも文書階層の付いた論文形式で書くのが 周期が素数の時は「有限体」になり、素数でない時は有限体にはならない 日本のITシステムは、たぶん、設計思想の段階からおかしいので、最終的なシステムもおかしなものが出来上がっていると思われる 交通法規という法もコードである。それは運転や交通に関する規則や記号(交通標識) だから、その意味で、ユーチューバーの「ゆたぼん」は正しいのである 機械やプログラムには、バグを除きそうしたコードの逸脱は発生しない 哲学板で議論が盛んな「反出生主義」もこのようなコードで考えると、理解しやすい ピタゴラスをギリシャ文字で表すと Πυθαγόρας となるが、この名前を構成する οオミクロンはちっちゃいo、ωオメガはでっかいoと対になる文字だね。 アクセント記号に似た気息記号というのがあって、 ピタゴラスのς はσシグマが文末に来て変形しているだけで、 空間というのは点と点の間の距離で表せるが、3次元を超えたn次元であっても、 ベジェ曲線を用いて正確に描ける曲線 https://qiita.com/HMMNRST/items/e20bd56ea875436d1709 https://i.imgur.com/JiI3azu.png Comprehensive Prolog implementation with extensive libraries and https://launchpad.net/ ~swi-prolog/+archive/ubuntu/stable Prologは論理プログラミング言語の一つであり、該当分野で最もよく知られている 述語論理と論理プログラミング 述語論理（predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、 「記号論」をやる上では、Prologとか良い言語かもしれない。 家族や親戚関係だと、Prologコードは、このような雰囲気になる sibling(S1, S2) :- ancestor_check(Name) :- こんな感じで、一度、述語として家族・親戚、祖先、子孫の関係を網羅的に concat_atom(['Π', 'υ', 'θ','α','γ','ό','ρ','α','ς = Πυθαγόρας(ピタゴラス)'], ' + ',X). 後ろ部分を得る 文字だと可読性が悪いので、数字に変えて同じことをすると -30〜30 の範囲でmod3で余りが２のものを表示 mikeの親Yで、かつ、親Yの親Xを照会すると、 ここでの前提は、inf は負の無限大、sup は正の無限大を表す だから、逆にいえば、負の無限大(inf)〜2までの数と、4〜正の無限大(sup)を 数学の本質には、簡約があるのではないだろうか。簡約とはエコシステムであり、 私達が普段使用する知識のフレームというのは、どのように構成されているのかを考えよう。 対象をコロナにした場合はどうなるか https://stopcovid19.metro.tokyo.lg.jp/ このように、対象は「スロット」と「フィラー」の組で表わせるだけでなく、それは 100の階乗 >>237 100の階乗って、何桁あるのか気になったのでプログラミングで調べた >>237 >>237 人間の認識はヒューリスティックだから、見てくれに誤魔化されやすい、 http://pantodon.jp/index.rb?body=combinatorial_poset 2つの線形空間があれば、それぞれの構造を比較するのに線型写像が使われる 記号の極限というのを考えると、それは物質の否定につながるように考えられる この世の不幸は、すべて形而下において発生している。すべて地上で発生しているのだ >>243 記号やAIは物質性と身体性の否定だから、やがて人間圏Hは、より高度化した 圏論の考え方は、アイデンティティの概念を書き換える。従来のアイデンティティは イーロン・マスクは火星にコロニーを構想しているが、これも圏論的に表現すると、 >>247 にあるような進化論的な方向での写し方でさえ、同様の帰結を生む可能性がある Elon Reeve Musk 一般的に記号というのは何かを指示する手段として使用される。信号機という たとえば、Tシャツに何らかのロゴや数字、マークがプリントされているとする。 ここでのポイントは、記号が実用性の拘束を離れて、記号自身のために使用される、 関手圏における同型射を自然同型(natural isomorphism)と呼ぶ 『命題 1.1』: 圏ℂの始対象A₁ と A₂ があれば、それらは同型である 集合X = {1,2,3} のべき集合 https://i.imgur.com/bhb1eH4.png 哲学的な著作は歴史的に、グラフや図を用いることが少な過ぎる >>257 記号というと交換と複製が容易であるというイメージが付きまとうが、現代では >>256 >>260 φから{1,2,3}へダイレクトに一本の射を作りたいなら、>>256 のグラフにある配置 こんなイメージだといいんじゃないかな 余積 集合A = {7,8,9}, B = {a,b}, X = {1,2,3,4,5,6} A,BからA⊔B への埋め込みをそれぞれi₁,i₂とすると、以下の図式が可換になる https://i.imgur.com/zc2JMJY.png 圏論では、対象、射、関手などのパーツを関数的に組み合わせて、整合的となる 記号の解釈をその記号系の内部だけから捉える立場やアプローチを記号論では、 記号論では、パースが有名だが、彼は次のように述べている https://ameblo.jp/about-art/entry-11495697095.html パースの記号モデルは、{表意体・対象・解釈項} というトリアーデになっている ローコードやノーコード開発は、単なる効率・経済性の観点だけではなく、実は パースの記号モデルである(表意体・対象・解釈項)というトリアーデにおいて、 記号が興味深いのは、記号は、その記号自身を使って、自己を再帰的に定義できる点 三段論法の説明で、ソクラテスは人間だから死ぬ、みたいな例がよく使われているが、こういう論法が本当に正しいのかも分からない >>274 ラカンだと主体の確立には、大文字の他者Aが必須、ということだったけど、記号論だと、そのような大他者や外部、神は不要、ということになる 構造主義の立場では、主体やアイデンティティは構造が規定し、決定する、というものであった。 だが記号論の文脈では、記号は記号自身によって再帰的に定義できる(自己適用)ので、 >>280 ラカン的には現実界 システム論的に再帰性、事後的をいうなら https://ai.googleblog.com/2022/06/minerva-solving-quantitative-reasoning.html >>284 >>280 どこかのスレで虹の色の数の見え方が国によって違う、というレスと図があったけど、 ジョンソン首相が、もしロシアが女性大統領であれば、ウクライナ侵攻をしなかったのでは Javaでは「A extends B」という記述で、クラスAはクラスBを継承する、という 人間の身体性や物質性というのもミームや遺伝子を荷なうヴィークルに パースは、己のロジックやカテゴリーを構築する上で、カントの影響を受けていたのか パースのやっていることは、現代で言うとAIや機械学習のクラシフィケーションで、圏論の萌芽のようなことにも独自に取り組んでいて、恐ろしく先見の明があるマルチタレントの哲学者だなあ、と感心する ＭＭＴはマクロ経済学の異端の一派だが、そもそもマクロ経済学自体が 現実世界のシビアさも、その本質は、この世界や社会が複雑系で出来ているので、 パースの記号モデルが、表意体、対象、解釈項のトリアーデで表されることは 少し具体例を示してみよう。昨日、私が見たユーチューブの動画で、そのユーチューバー 最近だと、統一といえば、精神統一を指すのでなく、統一教会のことを指すことが 中国の古典文学などでは、そのまま時の為政者や政権を批判すると投獄や処罰、 「バスタブ曲線」であれば、それは機械や装置の故障率を表す曲線のことであり、 https://i.imgur.com/it8Uq6Q.png 「プラシーボ・ボタン」というものがあるが、聞いたことがある人は少ないだろう A Discussion on the 'Hurrah-Boo' Theory by A. J. Ayer That States the Meaninglessness 英文の長文がなぜかBanされるので、 >>304 ちなみに、パースはこの見解に反対している。パースは心理主義的なもの全般に対して否定的な立場を取っている感じで、あくまでロジックや熟考を重視している 誰かがこのスレのこと思い出させてくれたので、このスレも活用しようかな 自然言語の意味論的アプローチの一つとして、「モンタギュー文法」と呼ばれるもの ラムダ計算のイメージを掴むために、ラムダ計算の体系に四則演算と整数が定義 では、もう一つのβ簡約の例を示そう。このラムダ計算ではラムダ項を2つ並置し、 自然言語の意味論へのアプローチ法である「モンタギュー文法」は、ラムダ計算 https://blog.google/technology/ai/google-gemini-ai/#sundar-note https://www.researchgate.net/figure/Example-of-a-two-tone-aka-Mooney-image-On-first-viewing-this-image-appears-as-a_fig4_326466342 Sinewave synthesis, or sine wave speech, is a technique for synthesizing speech by replacing the formants (main bands of energy) with pure tone whistles. The first sinewave synthesis program (SWS) for the automatic creation of stimuli for perceptual experiments was developed by Philip Rubin at Haskins Laboratories in the 1970s. This program was subsequently used by Robert Remez, Philip Rubin, David Pisoni, and other colleagues to show that listeners can perceive continuous speech without traditional speech cues, i.e., pitch, stress, and intonation. This work paved the way for a view of speech as a dynamic pattern of trajectories through articulatory-acoustic space. https://illusionsetc.blogspot.com/2005/12/checker-shadow-optical-illusion.html クリーネ閉包（Kleene closure）は、形式言語理論や計算理論の概念で、 それでは、L* = {ω₁,ω₂,ω₃...ωₖ|k≥0 かつ ωₗ∈L for i = 1,2,3,...,k } という式で表される 記号というものに、どこか冷たさや機械的な感じ、非人間性を感受してしまうのは、 かつて千葉雅也が、サイゼのオーダーシステムがそうした機械的なコード専用に 私の記号論は間が期間が空きすぎていて、以前に何を書いていたのか思い出せない また、こうした記号系や記号列は複製が可能なことにその特徴がある。つまり、 また、アメリカの哲学者パースの作った概念の中に仮説的推論(abduction)という では、先にあげた偽アウラの代表であるヴィトンのバッグに飴が沢山入っていると プログラム理論では、クラスは抽象的なレイヤーに対応し(上層)、インスタンスは たとえば、こうした束縛条件のもとでは、アップル製品のリンゴマークが果物の よってGPTがいくら世代を重ねて性能を飛躍的に向上させたところで、 自然言語処理（NLP）で用いられる日本語の形態素解析エンジンとしては、 現代 ゲンダイ ゲンダイ 現代 名詞-普通名詞-副詞可能 1 このように、「現代の気候変動問題は、資本主義経済システムの暴走によるものである」 こうした累積的なエラーを防ぐ目的で、プログラミング言語の理論においては、 記号処理だけのAIでは接地問題が残る。「記号の世界 ⊂ 現実の世界」だ。 「システムを導くには、語や項から始めてはならない。これでは項が >>332 を逆にして考えると創発になるよ ヒトの系列が記号系へと移行することの利点は、特にエコロジー的な視点において class Applicative m => Monad (m :: * -> *) where 記号は、自身の記号を再帰的に用いて自己を定義できることにその特徴が これをHaskellの階乗計算のコードで見ていくと、そこに再帰的な構造が よく進次郎構文と言われて、その発話の意味不明さを人々から揶揄されているが、 >>340 ◯ 記号の特徴としてあるのは、それが時間性を持つ、という点であろう。 言語学者シュライヒャーはヘッケル宛の手紙で「言語は自然の有機体です。 ソシュールの「一般言語学講義(Cours de linguistique générale) 」における ソシュールによると、以下のような包含関係が言語システムには備わっている > ランガージュ／ラング／パロールの三区分は、言葉を一つの固定した実在として >>343 にあるような言語の有機性、あるいは生成系としての生命系 また、ソシュールによると言語システムは、前/後といった線形的な順序構造と 記号や語が持つ恣意性のことはよく言われていることである。 だが、その一方で、記号や言語には可変的な領域も備わっている。 >>342 に挙げた例などもそうだが、あるいは、今では古語となって このように記号や言語には、世代を超えて連続しているものと(不変性)、 AIにシニフィエは可能か？ 中国では今年3月、中国最大の検索エンジンを擁するバイドゥ（Baidu)が 中国で対話型AIを一般に使わせたら、思想統制が難しくなるのでは？ 中国の思想統制なんて前世紀に崩壊してるよ 見えないだけ。 統制されまくりだよ。中国国民は、一挙手一投足までAIで中共に超監視されているので、事実上プライバシーはない。政府批判は超富裕層でも即投獄される フーコーの環境管理型権力がAIの進化よって容易になってきた、ということである。つまり、イデオロギーやプロパカンダによる明示的な統制ではなく、アーキテクチャによる暗黙の支配とコントロールが為されている ラカン的に言うと無意識は言語によって構造化されているので、言語能力が高い人間はそれだけ洗脳されづらい人間だと言える。だから、周庭さんは亡命出来たりする。 ソシュール言語学では、言語における本質的なものとして２つの要素がある https://qiita.com/CodeOne/items/730480791c2e98b40d66 ■語彙の豊かさは世界を分析的に把握する力量に直結する ■多くの言葉を知っていればより精密な世界が見える ■私たちの思考は言語による影響を受けている A set can be infinite. We discuss the set R, which consists of all real Proposition : For finite sets A and B, |A × B| = |A|·|B|. Example : Caesar was said to have used a cryptosystem in which >>368 繰り返し処理は、プログラムではfor文を使うことが多いので、Cで $ gcc -o calc_2 calc_2.c 次は、for文をネストして使ってみよう。ネストは入れ子構造のことを指す。 $ gcc -o calc_2 calc_2.c >>347 >>371 にあるコードのfor文にある++iは、前置きインクリメントと呼ばれるが、 >>371 のコードのfor文の箇所を++i(前置きインクリメント)から、i++(後置きインクリメント)に変えてプログラムを実行してみると、 [Composition of functions] Each function is represented by arrows from circles representing For a third function h, the domain is {0, ...25} and the co-domain is https://i.imgur.com/E8aGBCt.png Figure 1のグラフは、今、私がプロットしたものである。これは>>369 にある >>380 言語は世界を認識するために切断している >>382 >>382 のようなラベリング、タグ付けによる認識の仕方は機械学習的なモデルや このように、記号的タグ付けは、決して客体としての世界の客観性を担保する 「メアリーの部屋」というよく知られた思考実験があるが、これも色についての 色だけでなく、他の性質でもそうである。たとえば、円は定点Ｏ（オー） からの 要するに、機械学習的な記号的なタグ付けは、人間の都合による恣意的な >>384 属性や性質をシニフィエでなく、一種の存在者である、と仮定してみよう。 たとえば、トマトの赤い部分だけを指せと命じられて、それに行為として トロープ（Trope）とは現代の分析形而上学における用語で、個物の個別的性質の 普遍とトロープの関係は、「タイプ」と「トークン」の関係に似ている。しかしトークンとは 「トロープ」なんてわざわざ言挙げせずとも、 e^(x(1)+x(2)+x(3)+...x(n)+i*n*z) 欧米の言語は、文は横へ生成するので、それは精神的にはネットワーク型だと言えるだろう。 >>394 アソシエーションなども横への連結、連帯を志向するものだから、言語構造的には欧米圏から発生しやすい草の根運動になりそうだ 近所で犬がうるさく吠え合っていた。しばらくすると、片方の犬は、散歩中だったのか、吠え声がしなくなり、もう一方の犬だけが単独でいつまでも吠えていた。 論理プログラミングのClingoを使った「グラフ彩色」のコード例。ここではノード数は６、 出力結果: 以下は、このコードの実装の解説 Clingoは、主に以下の用途に使われます： このコードでは、与えられたグラフの「彩色問題」を解決している。グラフのノードは といった感じで、論理プログラミングのClingoを使ったグラフ彩色のコード例の >>400 ->>401 の「彩色問題」のグラフ彩色を今、私がプロットしてみた。 https://i.imgur.com/ll1Ibzv.png ここでポイントになるのは、有向エッジがあるノード同士は、その色が互いに異なることである。 % 合成数と素数をそれぞれ取り出す 組み合わせCの計算 Clingoによる₅C₃ × ₃C₂ の計算結果 : Answer: 15 SATISFIABLE 修正 >>409 >>412 >>410 以下の「状態遷移図」は、ブロックワールドの状態とアクションの関係を表している。 時間1: move(a, table) 時間6: wait この「状態遷移図」では、時間0から時間9までのアクションの実行を示している。 $ clingo action.lp This site is full of koan by Nakamoto. 豊富 Noether環 googleのAlphaGeometryが一般公開されたら数学という分野に関わる者が失業する。 機械的自動化のカスタマイズよって向上するのは検索の適合性であって、推論の能力ではない fac(0,1). ■ このスレッドは過去ログ倉庫に格納されています
