a4です。P2P人工知能「T」開発(2)
レス数が1000を超えています。これ以上書き込みはできません。
>>955
なるほど。僕も格子の人工生命をP2Pで作ってた頃は同期の問題で訳がわからなく
なってしまいました。しかも、せっかくできたのに、実験してくれる人数が集まらない
というところで止まってしまいました。
数理論理学とか詳しそうですね。僕も昔はそっちの専門家になりたかったのですが、
今は、無職に近い状態で、ここで人工知能を売りながら、30歳ながらも特異点技術
などを追って、海外への大学院進学を目指してます。
>>956
僕は高度な技術はタイムマシンによる歴史改変と関わってると信じてる人なんですよ。
だから、公に出てくる技術はそこで制限されるのではないかと。5chというのは、
「うそはうそであると見抜ける人でないと(掲示板を使うのは)難しい」ということで
こういう情報も書くんですけどね。 >>957
>同期の問題で訳がわからなくなってしまいました
同期は難しいですよね。
>数理論理学とか詳しそうですね
数理論理学の周辺は広く浅く勉強したことがあります。
深いことはあまり知りません。
>今は、無職に近い状態で
私も最近仕事を辞めて28歳で無職なので似たようなものですよ。
しかも、オカマになってしまいました(笑)。 >>958
なるほど。専攻が近いみたいなので、仲良くなりたいです。「T」のP2P実験とか
一緒にしませんか? >>960
僕は大学にいた頃は、量子コンピュータによる自動定理証明と、格子の人工生命を
用いた人工知能で、論文を書いて提出しました。 >>959
コードは書けませんが、P2Pのテストくらいならできるかもです。
あと、a4さんの目標の1つは、人工知能による数学の重要定理の証明、ですよね?
私は人工知能にはあまり興味がありませんが、
数学の定理をPC上で手動で証明するためのシステムを作っています(Coqに似たようなものとお考えください)。
人工知能を使うか、手動で行うかという違いはあれど
コンピュータ上で数学の定理を証明したいという点は共通しているので
情報、技術などある程度共有できることはあるかもしれません。 >>962
ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った
ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん
ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。 >>963
Coqは難しいです。私は挫折しました。
私はもう少し分かりやすいシステムを開発していて、自然演繹ベースです。
多分よく知られている論理体系の中では自然演繹が最も初学者でも分かりやすいです。
たとえば、命題論理で有名なPeirceの法則は私のシステムで証明すると↓の画像のようになります。
https://i.imgur.com/WMRbwRt.png
上の方にある図のようなものが証明の内容を図的に表したもの(証明図)で
下の方にあるコマンドがこの証明を行うのに必要なコマンド列です。
今のところ私のシステムでは論理式の作成から証明まで全部コマンドを実行することで行います。
これは人間が手動で証明する場合には面倒なのですが(なので今後改善が必要)
人工知能に証明させる場合はコマンドを覚えさせるだけなので楽かもしれませんね。
>まだ先になるかもしれません
はい、私は私で自分のシステムの開発を続けます。
お互い開発頑張りましょうね!a4さんは大学院進学も。 >>964
自然演繹とかはまだ勉強したことがないですね。本を買わないといけないかもですね。
はい。頑張りましょう。
>>965
僕の書いたことのある論文のようなものは3つあって、
量子アルゴリズムの提案
http://www.01ken.com/report.pdf
人工生命的手法を用いた豊かな個性と曖昧な感情を兼ね備えた論理的に行動する人工知能の開発
http://www.01ken.com/dissertation2.pdf
Contradiction on science and Introduction to philanthrophy
http://www.01ken.com/cosaitp.pdf
です。 >>966
自然演繹のためだけに本を買うのは勿体ない気がします。
上の論文が書けるレベルなら私より知能レベルは上だと思うので
ネットの情報で十分理解可能かと。
個人的にオススメなテキストは↓です(PDF)。
http://web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf
証明図についてきちんと定義していますので理解が深まりやすいかと思います。 >>967
pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、
どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的
な観点からしても、この演繹があってるとかって。
そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype
あたりでやり取りしませんか?今、考えているのは、オープンソースの簡易な
暗号化通信によるチャットとファイル送受信システムです。これで「T」の
コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、
というあたりで止まるかもしれませんけどね。 >>968
>完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。
>メールかskypeあたりでやり取りしませんか?
とりあえずメール送りました。 >とりあえずメール送りました。
ありがとうございます。メール返信しました。これからもよろしくおねがいします。 >>971
自演はしてませんよ。名古屋の宇宙人からのテレパシーは裏技術です。表向きには
統合失調症ということになっています。 ホモ相手するのはやめたほうがいいぞ
それともオマエ、ホモなの >>973->>974
僕は誰とも話す人なのですが。同性との性的な交わりについては、僕はイスラム教と
絡んでいるので厳しいです。 このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 145日 7時間 1分 22秒 レス数が1000を超えています。これ以上書き込みはできません。