自然言語処理スレッド　その５

**Mr.Moto** · 2018/09/17(月) 11:48:10.55

このスレッドでは、おもに日本語の構文解析・談話理解・情報検索・
文章生成などの、実装とそれに付帯する技術および理論について
扱いたいと思っています。

Mb · 2018/09/28(金) 20:17:43.76

>>289
「いわゆる“学校文法”」って三十年ぐらい前には「占領期の遺物であって、
もう時代に合ってない」とか言われてて、さんざん国語学者に叩かれていたけど、
中学校の教科書や、既存の解析システムに寄っかかってる自然言語処理界隈では
現役なのか ……
哀れだなぁ (T_T) 。後生が浮かばれますように、お祈り申し上げます。

**Mr.Moto** · 2018/09/28(金) 20:22:18.06

>>289
つーか、「構造化プログラミング」って、三十年前には
「もう、パラダイムとしては、古い」と言われてたんだけど、
いまだにクズなコードを吐くプログラマがめっさいるという現実に対して、
おまいは何を主張したいのか教えてくれ。

**デフォルトの名無しさん** · 2018/09/28(金) 21:10:51.97

やっぱり低学歴知恵遅れには
簡単なｵﾚのﾚｽすら読むことすらできない

ｵﾚは一般的な用語しか使ってないからな
まともな教育を受けてればｵﾚのﾚｽは余裕で読める

分からなかったらぐぐるぐらいの知能すらないからな

Mb · 2018/09/28(金) 21:50:56.91

>>292
やっぱり学歴しか誇れない知恵遅れには、
簡単かつ一般的な理屈を理解することすらできない。
中学校二年生で教わる学校文法の用語すら理解できてないからな。
まともに高校レベルの文語文法を身につけていれば、
そのあたりのリクツは余裕で理解できる。
「分からなかったらぐぐる」ぐらいの知能しかないから、
「ネットに書いてないことは間違ってる」程度の、
教条主義に染まってるんだろうな。

**デフォルトの名無しさん** · 2018/09/28(金) 21:54:20.71

ｵﾚは一般教養ﾚﾍﾞﾙすらない低学歴なのは
よおくわかるわ

残念なことにな

**デフォルトの名無しさん** · 2018/09/28(金) 21:55:50.78

その自覚すらない
まず低学歴知恵遅れは対応分析すら分かってないからな

**デフォルトの名無しさん** · 2018/09/28(金) 21:58:51.21

よくこんなのが
理系を自称できるわ

どこのf欄底辺大学か工業高校卒業したのかと

まず一般教養が著しく不足してる
まず分析という概念がないからな
独りよがりなﾏｲﾙｰﾙだからな

低学歴にありがち

**デフォルトの名無しさん** · 2018/09/28(金) 22:16:06.72

なんにしても今回の低学歴知恵遅れのﾚｽで
結果の検証なんか一切してないのが
よおく分かったわ

低学歴知恵遅れの結果の検証方法なんか
あるﾜｹがないからな

あまりにもｵﾂﾑのﾃﾞｷ酷い
よくこんなのが延々とﾚｽしてるわ

**デフォルトの名無しさん** · 2018/09/28(金) 22:45:35.45

>>294
> 俺は一般教養水準（レベル）すらない低・学歴なのは
> 良くわかる（解る？／判る？／判る？）わ
> 残念なことにな
くらいの形態素解析はできるんだが、構文解析のレベルになると
よくわからん。

**デフォルトの名無しさん** · 2018/09/28(金) 22:53:21.64

とりあえず低学歴知恵遅れは
もうﾑﾘしてﾚｽする必要がない

核心的なことをｵﾚは何度も書いてるからな

**デフォルトの名無しさん** · 2018/09/28(金) 22:55:07.52

>>295
> その自覚すらない（誰に？）
> まず、〔低学歴＆知恵遅れ〕は、〔対応分析〕すら
> 分かって（い）ないからな
というコトなんだろうと思うんだけど、
『自然言語処理スレッド』なんだから、
何を言いたいのか説明しれくれない？

**デフォルトの名無しさん** · 2018/09/28(金) 22:56:39.49

まず正しさを検証できない寝言を書いてる自覚がない

**デフォルトの名無しさん** · 2018/09/28(金) 23:04:28.73

このｽﾚがｵﾏｴの日記帳のつもりなら自由に書けばいい
あえてこんなとこに日記を書くなら
ｵﾚがなにを書くのも自由だ

ｵﾚがなにかを書いてｵﾏｴが腹が立つなら
ｵﾏｴがｺｺで寝言みたいな日記を書かなければいい

ｺｺではなく個人の日記に書けば
ｵﾚがｵﾏｴの寝言にいちいち反応することはまずない

**デフォルトの名無しさん** · 2018/09/28(金) 23:06:23.12

>>295
ついでながら、
「対応分析」という言葉を持ち出す以上、
「因子分析」とか「主成分分析」とか
「マハラノビスの距離」とかいう
概念は把握してるんだよな？

だったら、ちゃんとした日本語で説明してくれんか。
このスレを真面目に追ってるヒトもいるらしいので。

**デフォルトの名無しさん** · 2018/09/28(金) 23:08:43.39

で、ぐぐってる割に
単語だけ並べてる

もう低学歴がﾑﾘして知ったかびるしてるのはすぐに分かるからな

**デフォルトの名無しさん** · 2018/09/28(金) 23:08:57.71

>>302
> ｵﾚがｵﾏｴの寝言にいちいち反応することはまずない
できればそうしてくれ。
日本では「寝言に返事をしてはいけない」という
話があるからな（笑）

**デフォルトの名無しさん** · 2018/09/28(金) 23:09:41.02

だからな
もう低学歴なのはﾊﾞﾚてるからな

残念なことに

**デフォルトの名無しさん** · 2018/09/28(金) 23:20:34.54

>>301
そもそも、「文法」というものは、「個人の脳内にあるものかどうか」が
問題にされるものであり、かつ「その言語環境を共有している社会に
おいて機能しているかどうか」が問題にされるものなので、
「その『文法』というものが存在するのならば、ここに出してみろ！」とか
言われても、どうにかできるもんでもない。そういう意味では、
> まず正しさを検証できない寝言を書いてる自覚がない
と言われても、「どうやったら “正しさ” を検証できるのか？」という
議論から始めなければいけないんだが、
「まず正しさを検証できない寝言を書いてる自覚がない」という言説が、
「先ず、（正しさを検証できない）寝言を（誰が？）書いて（い）る
（誰が？）自覚がない」を意味しているのかについて説明できて
いるのだろうか？というところから、話を始めないといかんように
思う。

**デフォルトの名無しさん** · 2018/09/28(金) 23:22:23.26

で、「どうやったら “正しさ” を検証できるのか？」
も明確ななにもなくｳﾝｺみたいなﾚｽ続けてたんか

さすが低学歴遅れ
さすがとしかいいようがない

**デフォルトの名無しさん** · 2018/09/28(金) 23:23:01.15

数学の本第79巻
＞363 : １３２人目の素数さん2018/09/27(木) 18:23:33.43ID:YRDKincq
＞ピタゴラス数をなんと　～荒らされたので立て直しました～ [無断転載禁止]©2ch.net
＞数学の本第79巻
＞>>266 = >>354 = >>361 = Mr.Moto = M.B = Maria
＞さあ、お前の罪を数えろ！

こいつ（ ID:J+nvGpgG ）数学板でもつまはじき者の荒らしなんだぜ

**デフォルトの名無しさん** · 2018/09/28(金) 23:30:09.33

>>306
「低学歴」を連呼するところをみると、
東京大学だな？
わかるわかる。それしか自慢できることがないんだろ（笑）
お察しのとおり三流私大出（とはいえ師匠連は東京大学の
名誉教授だったりするのだが）だが、まともな議論で
負けたこたぁねえんだよ (wwwww

高学歴を自慢するんだったら、なんか、まともな議論くらい
してみろよ。なぁ？

**デフォルトの名無しさん** · 2018/09/28(金) 23:37:12.80

>>309
あいにくな話だが、オットー・ノイゲバウアー先生が
五十年以上取り組んでいらっしゃったプリンプトン３２２の
解読に成功したのはおれらだし、Barning=Hall＝亀井の定理の
初等的な証明を発見したのもおれらなんだよ。
そのあたりは、数学板の当該スレの内容を見てみりゃ
わかるだろ？
じつは、国語学とか発達心理学とかでも、いろいろ業績は
あるんだぜ？
おまえが何やったか言ってみろよ。なぁ？

**デフォルトの名無しさん** · 2018/09/28(金) 23:37:26.97

＞まともな議論で
＞負けたこたぁねえんだよ (wwwww
コイツ（ ID:J+nvGpgG ）いつも数学板で背伸びして叩かれてるよｗ

**デフォルトの名無しさん** · 2018/09/28(金) 23:39:42.87

ちなみにｵﾚは自分が高学歴とすらいってない
そんなことどこにも書いてないからな

ｵﾏｴが著しい低学歴知恵遅れなのは分かるといってる
まともな教育を受けてないことも分かる
そして著しく知能が低いことも簡単にﾚｽから分かる

まともな教育を受けてれば分かってしまうﾜｹ
残念なことにな

まず議論が成立するﾜｹがない
低学歴知恵遅れは基本的なｲﾛｲﾛなものが欠けてるからな
その自覚がない

で、ﾊﾞｶはﾊﾞｶであることの自覚もない
そして自尊心だけは高いからな
そして自分では勝ったつもりになる

この板にいるような典型的な低学歴知恵遅れといっていい

**デフォルトの名無しさん** · 2018/09/28(金) 23:40:36.70

>>311
https://rio2016.5ch.net/test/read.cgi/math/1478040803/l50
ここでウソがばれて泣いてたの忘れたのｗｗｗ
恥の上塗りｗｗｗ

**デフォルトの名無しさん** · 2018/09/28(金) 23:46:09.67

ｵﾚのﾜﾙｸﾞﾁは的確
いつも的確すぎて困る

**デフォルトの名無しさん** · 2018/09/28(金) 23:49:15.90

ID:k5h2WtG4 の完全勝利！！！
Mr.Moto = M.B = Maria は百万年ROMってろ

**デフォルトの名無しさん** · 2018/09/29(土) 00:02:48.50

的確とか言って、自然言語処理のｽﾚで学歴のことばっか書いてるよ

**デフォルトの名無しさん** · 2018/09/29(土) 00:10:19.38

>>312
> いつも数学板で背伸びして叩かれてるよｗ
ごめんな？　おれは基本的に身の丈に合った発言を
しているので、「背伸び」はしてないんだ。
まぁ、叩かれるのは仕方がないけどな（笑）

**デフォルトの名無しさん** · 2018/09/29(土) 00:22:18.71

>>313
> ちなみにｵﾚは自分が高学歴とすらいってない
なんだ。書けるほどの学歴でもないのか。
それで「低学歴」とか、よく書けるな。

> ｵﾏｴが著しい低学歴知恵遅れなのは分かるといってる
申し訳ないが、じつは高学歴で高 IQ なんだ（笑）

> まともな教育を受けてないことも分かる
おれが馬鹿なのは師匠のせいではない。単に
おれが馬鹿なだけだ。「まともな教育を受けてない」とか
言って、おれの師匠を侮辱することは許せん。謝罪しろ。

> まともな教育を受けてれば分かってしまうﾜｹ
> 残念なことにな
要するに、おまえがまともな教育を受けていないと
いうことか。残念だな。

> この板にいるような典型的な低学歴知恵遅れといっていい
おまえ、いま、『プログラム技術板』の住人の、ほぼ全員を
敵に回そうとしてるんだぞ？
解ってて言ってるのか？

**デフォルトの名無しさん** · 2018/09/29(土) 00:29:23.13

>>293
＞中学校二年生で教わる学校文法の用語すら理解できてないからな。

友達が「わたしブスやねん」と落ち込んでいた。
なぐさめようと「人間は顔じゃないよ」と言おうとしたら、
「人間の顔じゃないよ」と言ってしまった。
http://hamus
oku.com/archives/8039463.html

**デフォルトの名無しさん** · 2018/09/29(土) 00:32:07.40

えー、そろそろ涼しくなってきてシステム開発関係の
作業が捗っているので、自然言語処理システムの
実装に関する話題に、話を戻したいと思います。

スレッドを汚している荒らしの皆様は、『数学板の荒らし』
（https://rio2016.5ch.net/test/read.cgi/math/1529387553/）
に、なるべく速やかに移動してください。

**デフォルトの名無しさん** · 2018/09/29(土) 00:43:54.23

>>320
それは、あんたが悪い。
「ブスが不景気な表情（かお）しとったら、
誰も寄り付かんわ！　笑っとき！　女は
愛嬌やで！」くらい言っとかなアカン。

…… つーか、この文章を音読するときに、
アクセントをどうするか、っていうのは、
現在の日本語処理の技術レベルだと、
かなり難しいんだよな。
そのあたり、ちゃんと整理しておかないと
いけないと思うんだが。

「九州弁は、末尾から二音節めにアクセント」とか
あるけど、京都と大阪と奈良は、同じ関西圏でも
微妙に違うんだよなぁ（あと、ノリもかなり違う。
上のセリフも、奈良だと通じないかもしれないし、
京都と大阪では口調が変わると思う）。

**デフォルトの名無しさん** · 2018/09/29(土) 00:52:16.74

とりあえず低学歴知恵遅れは
翻訳ｼｽﾃﾑなみにｺﾝﾃｷｽﾄを解析する能力がない

人間のﾊｽﾞなのにな

ﾊﾞｶがいくらなにかを理解しようとしても
なにも理解できない原因はｺｺにもあると考えられる

致命的な認知機能の欠陥の一部といっていい

**デフォルトの名無しさん** · 2018/09/29(土) 01:50:10.68

>>194
猿と人間ではコミュニケーションができないからな。コミュニケーションは人間同士にしか出来ない。

先師言はく、「『猿』とは何ごとぞ。汝、この句をいかに思ひて作せるや。」

**デフォルトの名無しさん** · 2018/09/29(土) 01:54:50.14

人物は固有名詞であるが、その『社会的地位』は明確にしておかなければならない。

問『なぜ、人を殺してはいけないのか？』
答『この社会の法律でそういうことになっているから』
問『トランプ大統領は原爆素晴らしいと言ってるぞ？』
答『アメリカ大統領に日本の法律は通じない』

原爆発言でも久間章生が言うのとトランプ大統領が言うのとでは全く違う。
同じ発言をしても立場によって許される場合と許されない場合がある。
台湾についても、米国だけが『台湾関係法』という国内法を行使できるが、他の国は許されない。

**デフォルトの名無しさん** · 2018/09/29(土) 02:00:33.42

>>307
＞「その『文法』というものが存在するのならば、ここに出してみろ！」とか

語学はユークリッド幾何学ではないので、例文をいくつか挙げて大体こんな感じという『近似式』にする。

**デフォルトの名無しさん** · 2018/09/29(土) 02:18:52.12

>>215
＞「鉄」を例として挙げることになっている。

多義語の解釈を文脈によって絞り込むシステムが必要。

>>44
＞Cycの推論エンジンは、この話の中に矛盾を見つけた

システムの方向性としてはそれで良い。前後の文脈から矛盾しない訳語を選択する。

（５）結果の検証
　最後の五番目のステップは「結果の検証」です。
　犯罪捜査でいえば解明した動機とプロセスが本当に正しい答なのか、別の答の可能性はないのかと確認する作業です。
　私の復元した真実は正に驚くべきものだったので、他の答の可能性がないのか何度も検証してみました。
その結果、やはりこれしかないと納得せざるをえなかったのです。
http://www.issj.net/mm/mm0508/mm0508-5-ln.html

**デフォルトの名無しさん** · 2018/09/29(土) 02:25:08.58

>>212
＞娘とほくろが調和しているという意味だな

『美しい』だの『調和している』だのは個人の主観なので、誰の意見なのかを特定することが大切。

トランプ大統領『安いだけの中国製はもう沢山だ！』

『安いだけ』というのは個人の主観の問題なので、それが誰の発言なのかを検索するシステムが重要。

**デフォルトの名無しさん** · 2018/09/29(土) 02:34:20.68

>>265
＞「私は餃子を先に、ラーメンを後に食う」の場合、

餃子もラーメンも食べ物なので、餃子を食べ終わってからラーメンを食べるとか、
あるいはまず最初に餃子を一つ二つ食べてからラーメンを食べ始めるとかの解釈になる。しかしながら、

「私はトイレを先に、ラーメンを後に食う」

この場合は『トイレに行った後でラーメンを食べる』と解釈する。

**デフォルトの名無しさん** · 2018/09/29(土) 02:38:18.55

>>307
＞「その『文法』というものが存在するのならば、ここに出してみろ！」とか

自然言語表現というのは、大学のお偉方でも時々間違えてしまうくらいにややこしい。

>>128
＞独りよがりな日本語の解釈を押し付ける所は，さすがだ！

**デフォルトの名無しさん** · 2018/09/29(土) 02:43:24.73

>>254
未解明の数学こそが生きた数学で、生きている人間には必ず『未来』がある。

**デフォルトの名無しさん** · 2018/09/29(土) 02:51:32.97

>>284
＞すべての星状領域は、それ自身に縮めることが出来る

天体を観測する場合、地球中心を原点(0,0,0)と置くにしても、座標軸をどうすれば良いのか？

**デフォルトの名無しさん** · 2018/09/29(土) 02:58:00.25

あしあと伝言板は悪口と思われる内容の言葉が含まれていれば
自動で削除される。
この装備イカす→カス
ちょっとバカンスに行ってきます→バカ
パチンコばっかりいってた→チンコ
どう考えても冤罪削除。しかも累積すると冒険者の広場利用停止。
横暴。
ちなみに冤罪削除を訴えた発言も削除される。
異議申し立ても悪だというらしい。
サポートセンターに問い合わせたところ、調べてもくれなかった。
https://ameblo.jp/cinnamon-rilakkuma/entry-12317442377.html

＞チンコばっかりいってた

『チンコ』を主語として、『言ってた』のか『行ってた』のかを検証するシステムが必要。

**デフォルトの名無しさん** · 2018/09/29(土) 03:09:37.01

>>253
＞フェルマー予想と「谷山・志村予想」の証明の原論文と

中国や韓国は数学オリンピックでよく入賞者を輩出していても、それは『生きた数学』ではない！

**デフォルトの名無しさん** · 2018/09/29(土) 03:13:23.69

>>5
＞例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。

チンコばかりイッてた、だな。

**デフォルトの名無しさん** · 2018/09/29(土) 03:31:30.53

>>227
＞それでも「ひょっとしてズレてねぇか？」と心配になるらしく

人と人とのコミュニケーションを数式化することは出来ないので、過去の例文を挙げて近似式を作成する。

**デフォルトの名無しさん** · 2018/09/29(土) 03:36:07.49

>>253
＞フェルマー予想と「谷山・志村予想」の証明の原論文と

『先進国』の定義として、『生きた数学を語り合える国々』というのはどうだ？

**デフォルトの名無しさん** · 2018/09/29(土) 03:43:53.42

>>291
＞いまだにクズなコードを吐くプログラマがめっさいるという現実に対して、

具体的に何が『クズなコード』なのかを、例を挙げて示してくれないか？

**デフォルトの名無しさん** · 2018/09/29(土) 03:50:29.19

必要の無いコードを書かない、実用性の無いソフトウェアを作らないことが大切。例えば、

2014年04月22日 12時30分26秒
1万回以上ダウンロードされたがゴミアプリだった「Virus Shield」購入者にGoogleが払い戻しと約500円を提供
https://gigazine.net/news/20140422-virus-shield-refund/

使い道の無い無駄なコードを書くプログラマーが多すぎる！

**デフォルトの名無しさん** · 2018/09/29(土) 03:59:47.97

>>88
＞「方程式 f(x.y) ≡ {y=x^2} の X-Y 平面上のグラフを、『X 軸方向に 2 だけ
平行移動し，それをX軸に関して対称移動した』ものと一致する
＞グラフを表す方程式 f(x, y) は、どのようなものか示してください」くらい書けや。

故意に必要な解説を省いたり、故意に不要なノイズを入れて、難しくするのが入試問題だ。
コードを書くにしても、何が必要で何が不要なのかを洗い出しておきたい。わかりやすくすればデバッグも楽。

**デフォルトの名無しさん** · 2018/09/29(土) 05:00:57.43

>>291
＞いまだにクズなコードを吐くプログラマがめっさいるという現実に対して、

無駄なコードが後を絶たない理由として、話題になりにくいということが考えられる。
少しくらいなら特に有害というわけではない、けれども長年積りに積もってというふうな。

トヨタ式「整理整頓」使わない書類は1日、名刺は1年で処分
https://president.jp/articles/-/16215

使い道の無いコードは削除して、あとで必要になったらまた書き直せばいい。
しかしながら中小デスクワーク系の人は、私達はこんなに頑張って書類作りましたみたいなところがある。

**Mr.Moto** · 2018/09/29(土) 13:52:56.43

>>329
その場合、「異なった述語がある」という話になるので、
それはそれで納得がゆく。
本来の問題は、「食べる」という述語が、「先に」「後に」という
区別が入ったときに、“分裂” すると考えていいのか（「食事」という
全体性で考えたときと、「食べる」という個別性で考えたときの話だ）、
というのを、実用的なレベルで、どう（現在のパーソナル・コンピュータで
処理できるか）落としこむか、について論じたいと思っているんだよ。
それが、このスレの本旨じゃないか？

**M.B.** · 2018/09/29(土) 13:57:00.82

>>338
自分の屑コードを晒したくはないし、
他人のコードを批判したくもないので、
名著と云われる『プログラム書法』とかを
読んでほしいと思う。

**デフォルトの名無しさん** · 2018/09/29(土) 14:02:52.83

低学歴知恵遅れは
一個前のﾚｽすら忘れる
本読んでても一段落の内容すら解釈できない

まずﾊﾞｶは本を読んでも本の内容を理解できない
ﾊﾞｶは本を読むだけﾑﾀﾞ

低学歴知恵遅れと文を一つづ構文解析するｳﾝｺ解析は
低学歴知恵遅れと似てる

そんな低学歴知恵遅れが延々とｳﾝｺﾚｽしてる日記帳が
このｽﾚ

**デフォルトの名無しさん** · 2018/09/29(土) 14:04:01.17

>>337
ポール・エルデーシュもピーター・フランクルも、
そういう国が見つからないから世界中をウロウロして、
フランクルは日本に居ついちゃった、みたいな経緯がある。

世界中に、そういう居心地のいい国がいっぱいあって、
そういうところをウロウロしている連中が大勢いる
社会というのは、わりと居心地がよさそうな気がする。

“ムッシュ” こと吉田義男さんは、フランスで野球の
ナショナルチームのコーチをやってたそうだ。
「だいたいなんとかなる」らしい。
べつに数学とは限らんのじゃねぇか？

Mb · 2018/09/29(土) 17:24:26.55

「低学歴」「知恵遅れ」は、
「学歴が低い」「知恵が遅れている」を意味している。
すなわち、「低い」「遅れている」という、連体修飾節に、
その評価を行う「話者」の視点が、見えない形で
入りこんでいる。
したがって、人間と対話するシステムが仮にあったとして、
そのシステムには「話者」としての「私」の視点というものが
必須なんじゃないかと思う。

だったら、どんな “私” とだったら、対話したいと思う？

>>344 みたいなのとつきあってたら鬱になりそうだ、
とは思うが ……

**Mr.Moto** · 2018/10/01(月) 12:59:16.31

いま、意味処理について検討しているんだが、
これだけ AI とその軍事利用が一般化すると、
「コンピュータが人間を殺すことができることを
知っている」という人は多いだろう。
すなわち、「コンピュータが人間を殺すことができる
こと」は、「正しい」かつ「信じている」ということになる。
「￢正しい」だったら「知っている」とはいえないし、
「￢信じている」でも「知っている」とはいえない。

**Mr.Moto** · 2018/10/01(月) 13:07:51.86

で、「正しい」ことを「知っている」のに「行動しない」のは
「間違っている」のだから、「正しい∧信じている」のに
「￢行動する」ことは、「￢正しい」ということになる。

そうすると、AI が「テロを支援」して、「テロを防止する」勢力を
攻撃するのが正しい、と判断するリスクに関して、われわれ
自然言語処理技術者は、どのように向かい合えばいいのか？
という話になる。

「古典論理の範疇において、AI によるテロを防止できるような
論理は構築できるのか？」みたいな話は、しておいたほうが
いいと思う。

**デフォルトの名無しさん** · 2018/10/01(月) 17:20:05.84

>>347
＞「￢正しい」だったら「知っている」とはいえないし、
＞「￢信じている」でも「知っている」とはいえない。

　その時代のトレンドを映した問題もある。1998年の信州大学なんてそうだ。
フェルマーの最終定理のニュースを受けて、こんな問題がある。
フェルマーの定理を知らないものとして、次を証明せよ。
「x,y,zを0でない整数とし、もし等式x^3+y^3=z^3が成立しているならば、
x,y,zのうち少なくとも一つは3の倍数である」
http://app.m-cocolog.jp/t/typecast/16274/18285/72368904

**デフォルトの名無しさん** · 2018/10/01(月) 18:39:33.88

>>349
＞フェルマーの定理を知らないものとして、

1　正しい
2　知っている
3　信じている

三者は同じ意味なのだろうか？

**デフォルトの名無しさん** · 2018/10/01(月) 18:47:12.93

>>347
＞「￢正しい」だったら「知っている」とはいえないし、
＞「￢信じている」でも「知っている」とはいえない。

フェルマーの定理は、『正しい』のか『知っている』のか『信じている』のか。
『正しい』というのはユークリッド幾何学だが、『知っている』『信じている』はそうではない。

**デフォルトの名無しさん** · 2018/10/01(月) 19:14:51.64

問『あなたはフェルマーの定理を知っていますか？』
答『知ってます。1994年にワイルズによって証明されました。』
問『では今からここにその証明を書いて下さい』
答『・・・』

**デフォルトの名無しさん** · 2018/10/01(月) 19:20:46.39

安倍晋三の顔と名前は『知っている』が、それは『知人』ではない！

**デフォルトの名無しさん** · 2018/10/01(月) 19:25:28.96

>>349
＞フェルマーの定理を知らないものとして、

強いて翻訳するなら『フェルマーの定理については真偽不明として』ということかな。
フェルマーの定理が既に解かれていることを『知らなく』ても、この場で自力で証明すれば良いのだから。

**デフォルトの名無しさん** · 2018/10/01(月) 19:27:45.74

>>350
「『フェルマーの定理』は知らないけれど、
『ワイルズの定理』は知っている。
ワイルズの定理によれば、『x,y,z が 0でない整数であるとき、
等式x^3+y^3=z^3 には、解がない』ことが知られている。
前提 A が偽である場合、『 A ならば B 』は常に真である。
ゆえに、『等式x^3+y^3=z^3が成立しているならば、
x,y,zのうち少なくとも一つは3の倍数である』は
真である」って言われたら困るな。

**デフォルトの名無しさん** · 2018/10/01(月) 19:57:23.86

ユークリッド幾何学の真偽は、人間の生死と同じで、生か死か不明かしかない。
なお『オリハルコン』『ドラえもん』は創作物で、ユークリッド幾何学の対象外。

**デフォルトの名無しさん** · 2018/10/01(月) 19:59:26.69

>>50
＞「翼の折れたエンジェル」は

『ドラえもん』と同じでは？

**デフォルトの名無しさん** · 2018/10/01(月) 20:47:29.82

＞答『知ってます。1994年にワイルズによって証明されました。』
＞問『では今からここにその証明を書いて下さい』

知っているか知らないかは、本人の主観に過ぎない。

[座標と図形]三角関数、加法定理、基本定理の証明
http://d.hatena.ne.jp/gould2007/touch/20070806

高校で習う三角関数の公式は全て知っている、しかしながら証明方法はというと・・・

**デフォルトの名無しさん** · 2018/10/01(月) 20:52:34.01

正確にいうと、「定理」はすべて正しい。
「前提（公準）」は正しいものとして、
そこから、「定められた導出規則」によって
証明されたものが「定理」なわけだから。
そうなると、「フェルマーの小定理」とか
「フェルマーの大定理」とかいうのは不正確であり、
フェルマー自身による証明も残されていないので、
どちらも「フェルマー予想」と呼ぶのが正しいのでは
ないだろうか。
まぁ、「ユークリッド幾何学」っつーのは、かなり
“やりすぎ” な感じはするが、構成的な数学の
基礎としては、よくできていると思う。
整数論は、「ペアノの公準」がある（つーか、
ヒルベルトの数論がある）ので、いいことにしよう。
だけど実数が出てくるあたりから、「あれ、やばいんじゃねぇ？」
みたいな話をゲーデルが始めてややこしくなった。

**デフォルトの名無しさん** · 2018/10/01(月) 20:58:14.53

>>358
安心しなさい。小学生レベルの数学を理解していない教師が、
小学校で算数を教えていたりするから（笑）
「正方形は長方形ではない」とか「平行四辺形は
台形ではない」とか思っている教師がたまにいる。
「正方形⊂長方形」

◆QZaw55cn4c · 2018/10/01(月) 22:07:54.36

フェルマーの小定理ならよくしっていますが、
フェルマーの大定理／最終定理、というのは正直にいって、よくわかりませんね

**デフォルトの名無しさん** · 2018/10/02(火) 06:17:09.18

>>361
そもそも、モーデル予想とか志村＝谷山予想というのがよくわからない上に、
なんで楕円関数とかが出てくるかというのもわからない（笑）
このあたり、じっくり説明してくれるような自然言語処理システムが
あれば、教育用に欲しいと思う。
昔、英語だけど地理のシステムはあったと思うんだけどな。
「アスンシオンは暑いか？」って訊くと、「アスンシオンの
気候については知らないが、熱帯地方の都市なので、
たぶん暑いだろう」とか答えてくれていて、それで「アスンシオン」
という地名を憶えた。しばらく前まで、近所に「アスンシオン」という
店名のお好み焼き屋があって、「なぜだ！？」と思ったことがある。

Mb · 2018/10/02(火) 13:55:39.56

『2001年宇宙の旅』では、HAL 9000 は
フランク・プールを「正当防衛」で殺し、
デビッド・ボーマンを、同じく「ミッションを妨害する」
という理由で、「不作為による殺人」を行なおうとした。
こうした事情は、『2010年』において明らかにされている。
これは、映画の中では「ダグラス・ホフシュッタッター・ループ」
に陥ってしまったからだ、と解説されている。
そのあたりの話は、『G.E.B.』（いわゆる「ゲーバー本」）あたりを
読んでいただかないと先に進まないので、
そのあたりを踏まえて議論したいと思う。

**デフォルトの名無しさん** · 2018/10/03(水) 18:25:09.11

>>362
＞「アスンシオンは暑いか？」って訊くと、「アスンシオンの
＞気候については知らないが、熱帯地方の都市なので、

『暑い』『寒い』は個人の主観的問題なので、感情を持たない人工知能の立場としては、
アスンシオンの気候と人々の生活はこんなものですと、ウィキペディアを引用するだけでよい。

**デフォルトの名無しさん** · 2018/10/03(水) 18:40:16.98

>>283
＞それを KJ 法に活用する

『カツラを装置した』『化粧をすませてから』『服を脱いで』は、使用前と使用後の写真を提示する。

アデランス　使用前/使用後
https://sp.bokete.jp/boke/6549400

**デフォルトの名無しさん** · 2018/10/03(水) 19:21:42.67

>>363
＞『2001年宇宙の旅』では、

猿たちがこの不気味な黒石板モノリスに触れたことで、彼らは突如として道具の使用を覚え、
ヒトへと進化していった。当然観客を混乱させるわけだが、ここで解釈するとすれば、モノリスとはいわば、
宇宙の彼方から人類に知恵を授けにやってきた高次元の知的物体と見て不服はないだろう。
https://filmaga.filmarks.com/articles/1905/

**デフォルトの名無しさん** · 2018/10/03(水) 19:31:41.36

＞そうして進化を遂げた新人類の姿が、ラストに登場するあの“スターチャイルド”だ。

今の俺には見える、見えるぞ。これが “スターチャイルド”の真眼だ。

>>225
＞「真空中の光速度」「電子の電荷」「重力定数」「プランク定数」

ん？

たった今、俺の膵臓にガン細胞が生まれたぞ！

**デフォルトの名無しさん** · 2018/10/03(水) 19:38:07.65

>>347
＞「￢正しい」だったら「知っている」とはいえないし、
＞「￢信じている」でも「知っている」とはいえない。

UFOは存在するか？

**デフォルトの名無しさん** · 2018/10/03(水) 19:44:05.56

>>363
＞「ダグラス・ホフシュッタッター・ループ」

人と人とで価値観・利害が一致しない場合、誰が主導権を握るのか？

>>325
>>328
『安い』『美しい』『暑い』は個人の主観に過ぎないので、それが誰の発言かということが重要。

**デフォルトの名無しさん** · 2018/10/03(水) 19:53:49.55

【世界教師マⅰトレーヤ】　トランプは現在、ツイートを囮にして、史上最悪の法案にサインする気でいる
http://rosie.5ch.net/test/read.cgi/liveplus/1538533045/l50

**デフォルトの名無しさん** · 2018/10/03(水) 20:04:38.91

>>347
＞「￢正しい」だったら「知っている」とはいえないし、
＞「￢信じている」でも「知っている」とはいえない。

麻原彰晃空中浮揚はヤラセだった？その仕組みをご紹介！！
https://matomake.com/I0007671

**デフォルトの名無しさん** · 2018/10/03(水) 20:06:43.06

麻原彰晃が空中浮遊することを知っているし信じている。写真でそれを見たのだから。

Mb · 2018/10/04(木) 17:45:42.43

>>369
> 『安い』『美しい』『暑い』は個人の主観に過ぎないので、
> それが誰の発言かということが重要。
さんざん既出。
連体修飾節は、暗黙の主語として「話者」を要求する。
「彼は恥ずかしい」は、「彼は（私をして）“恥ずかしい”
（と、感じせしめる人物である）」と同義である。
「彼は悲しんでいる」とか「彼は悲しそうだ」とかは
文章表現としては普通だが、「彼は悲しい」とは
同義ではない。

**デフォルトの名無しさん** · 2018/10/04(木) 17:49:22.53

>>373
むしろ問題なのは、自然言語処理において、
話者は「コンピュータ」であり「システム」なので、
「“主体” として発言できるのかどうか」という
議論がある。

**デフォルトの名無しさん** · 2018/10/06(土) 05:52:45.82

191 その名前は774人います (ﾜｯﾁｮｲ d808-vBoO) 2018/10/06(土) 05:50:41.23 ID:1f83/Rqe0
https://i.imgur.com/KkI1lNf.jpg

「外部掲示板での弊社に対する犯罪予告があるとの内容について、
いただいた内容を必要な部署へ共有し、適切に対応させていただきます。」

**デフォルトの名無しさん** · 2018/10/08(月) 18:54:56.28

2015/11 の『数学セミナー』の『コンピュータにできる
数学・できない数学』にあるような、
Coq とかに落とせれば、それなりに機能しそうな
気はするんだが、どうだろう。
そういう意味では、「機械によって証明された証明の過程を、
人間に対して（その人の数学的な素養に合わせて）念入りに
説明してくれる、自然言語インターフェイスをそなえた
システム」というものは、（少なくとも、教育用には）
あっていいと思うんだが、どうだろうか。

a4 ◆L1L.Ef50zuAv · 2018/10/08(月) 20:55:53.21

a4と申します。数学板のMr.Motoに呼ばれて参りました。P2P人工知能「Ｔ」という
ものを創っている者です。喋れるものを開発しようと思っており、キャッチフレーズは
「萌えから、リーマン予想まで。」となっています。（リーマン予想は最近解かれた
のか謎ですが。）ソフト自体は無償配布で、使い方の本を売って儲けます。
こちらのスレです。
https://mevius.5ch.net/test/read.cgi/tech/1535821055/
現在は、Ｔ語と呼んでいる人工知能開発用のプログラミング言語がほぼ完成しており、
あとは、配って、メタ的に進化させようと思っています。ソフト公開にあたって、
コードの共有機能をつける、という作業を今、行おうとしています。
P2PということでWinny式にして暗号化を早めにしてほしいという需要があり、
RSA暗号や楕円曲線暗号などは簡単な知識があるのですが、ディフィー・ヘルマンに
して欲しいという意見を貰い、その周辺技術のやや難しい本を探しています。
どなたか紹介していただければ幸いです。

ここまでは数学板に書いた内容ですが、ここは自然言語処理ということで、こちらの
話に重点を置こうと思っています。ビタビ・アルゴリズムとかは勉強しましたが、
「Ｔ」はまだその機能は逆に使ってません。Ｔ語でメタ的に書くという方法が
あります。こちらに関してもご意見、要望等あれば、それに合わせて改定して
参りますので、ご興味ある方いらっしゃいましたら、どうぞよろしくお願い致します。

**デフォルトの名無しさん** · 2018/10/08(月) 21:37:20.85

a4さんのいう人工知能は何？

人工知能がうさん臭いと思うのは
それぞれ違うことやってるのに名称しか書かないから、
わざわざ調べないと何をやってるのか不明なこと。

全く時間の無駄なのよ。

人工知能研究者は、だいたいが「おれは天才だ！」とか思っちゃって、
ゴミに立派な名前を付けて、宣伝する奴ばかり。
いいかんげんにしてほしい。

完成してから、結果を披露してくれればいいから。
妄想途中のものを投げないでくれる？

**デフォルトの名無しさん** · 2018/10/08(月) 23:34:10.98

>>377
＞その周辺技術のやや難しい本を探しています

人工知能について議論する場合は、難しい数式は後回しにして、まず身近でわかりやすいエピソードから。
この著作もそういうふうに書いている。

（第1章はじめに　2頁）
たとえば、CycはFredという名前の男が朝にひげをそるという話が理解できなかった。
Cycの推論エンジンは、この話の中に矛盾を見つけた。Cycは人間には電気の部品がないことは知っているが、
Fredが電気カミソリを持っていたので、エンティティ「Fredがひげそり中(FredWhileShaving)」
には電気の部品が含まれていると考えた。したがって、CycはFredがひげをそっている間、
Fredはそれでも人間なのかと尋ねた。

『深層学習』
著者:
Ian Goodfellow, イアングッドフェロー,
Yoshua Bengio, ヨシュアベンジオ,
Aaron Courville, アーロンカービル

**デフォルトの名無しさん** · 2018/10/08(月) 23:38:40.50

>>378
＞人工知能研究者は、だいたいが「おれは天才だ！」とか思っちゃって、
＞ゴミに立派な名前を付けて、宣伝する奴ばかり。

自然科学の基礎研究に『学力』『経済力』『肩書き』は不要。その動かぬ証拠はこうだ！

ガウク大統領は、次のように強調しているー
「１９４５年５月８日、我々は解放された。我々を解放したのは、ソ連の諸民族の代表者達だったが、そればかりではない。
それゆえ、我々は、感謝と尊敬の念を示さなくてはならない。戦後ドイツが、ベルリンの壁により長い間分断されたという
事実でさえも、そうした気持ちに影響を与えるべきではない。一部の観測筋は疑っているようだが、私には、
ロシアにもロシア人に対しても問題はない。」
http://jp.sputniknews.com/europe/20150502/284616.html

ドイツ人が泣いて感謝するロシアの自然科学能力は、こうして養われたものである！

我らがネステロフは、全てのギアボックスを簡単に直してしまったよ。ある時、
イギリス人の技術者がネステロフのところに来て、「あなたはどこの大学で技術を学んだのですか？」
と聞いたことがある。ネステロフのやつは「コルホーズ大学さ」なんて答えておったな。
http://www.geocities.co.jp/SilkRoad/5870/loza1.html

ソ連人民の素朴な知見＞＞＞＞＞＞＞（越えられない壁）＞＞＞＞大学教授博士

**デフォルトの名無しさん** · 2018/10/09(火) 00:17:32.28

>>378
＞完成してから、結果を披露してくれればいいから。

現在の人工知能に何ができて何ができないのかを考えている。

【人工知能】ＡＩで早期胃がん発見…熟練医並みの精度、判断にかかる時間は０・００４秒　理研とがん研センター発表［07/21］
http://egg.5ch.net/test/read.cgi/scienceplus/1532170191/

囲碁はとっくにプロ棋士を超えたし、画像認識については物凄い進歩が見られる。
しかしながら自然言語処理に関しては大きな進展が見られない。中間言語をどう構築していくかだと思う。

**デフォルトの名無しさん** · 2018/10/09(火) 00:46:13.19

>>89
＞漢文・古文の教育を充実して「論文は文語で書け」というのも、アリなんじゃないかと思います

漢文や古文は、その時代背景とその人々の価値観を深く研究しなければいけないからな。

0. 外国語、特に英語、の教え方
｢読み書きは出来るが会話ができない｣というのは間違い。｢読み書き｣も出来ない
Decorative artとは、絵画、彫刻、建築を除いた家具、食器、絨毯、藍掛け、花瓶、タイル、
ドアのノッカーなど美術品と見做せるものの総称
表裏は日本語だと｢おもて｣と｢うら｣だが、漢文では｢外側｣の｢内側｣であり、｢裏｣は｢なか｣である。
コインの場合、英語ではhead & tailで、誰かの頭部の像がある方が日本語の｢おもて｣だが、tailが｢うら｣とは奇妙
http://hiroomikes20120501.blogspot.com/2014/12/20141212.html

志村五郎『中国説話文学とその背景』（ちくま学芸文庫）
著者の志村氏は、米プリンストン大学の数学者らしい。志村氏が五十数年かけて集めた中国の説話を、
八年かけて一冊書き上げたと、本人が書いているので、趣味のライフワークの結晶めいてみえるのもむべなるかな。
http://d.hatena.ne.jp/nagaichi/touch/20071008/p1

○○大学で○○という称号を得たというのは、ネットゲームで言えば準廃プレイヤーみたいなもんw

**Mr.Moto** · 2018/10/09(火) 05:50:08.37

>>384
志村五郎さんといえば、あの「志村＝谷山予想」の志村さんだぞ？

**Mr.Moto** · 2018/10/09(火) 06:18:33.21

>>377
> ソフト自体は無償配布で、使い方の本を売って儲けます。
よっぽど売れないと、なかなか儲かるところまでいかないぞ？
売れたら売れたで苦労はあるしな。
うちの所長が本を出したときには、インプレスの塚本さんが
「これは学術書だから初版は千五百部かな（笑）」とか
言ってたそうだが、初版・二版合わせて五万部刷る羽目になった
（営業がびびってた）。
で、「ソフトの方は会社の製品、解説本の書籍のほうは著者の
取り分」という話だったんだが、会社が「ソフトウェアの文書だから
法人著作物だ」と言いだして、印税を貰いそこねた。
平山尚さんもソフトウェア関連の著作が何冊か出しているが、
あれも印税は著者ではなくて会社に入ってたんじゃなかったかな？
あと、ベストセラーが出ると、持ちなれない大金が急に入ってくるので、
出版社がおかしくなるケースがたまにある。

Mb · 2018/10/09(火) 06:38:09.67

>>378
> それぞれ違うことやってるのに名称しか書かないから、
昨今の AI は、ファジーとかマイナスイオンとか水素水とかと
同じように「売れればいいや」程度のものだから、「売れそうな
名前」なら中身はなんでもいいんだろ。
そういう「なんだかわからないけど、なんだかすごそうな名前を
つけると売れる」というのを、通称「ジンクピリチオン効果」といい、
そういうビジネスを「波動ビジネス」という。
市場には、現在でもそういう銀蠅がむやみにいるんだ。

a4 ◆L1L.Ef50zuAv · 2018/10/09(火) 07:30:58.56

>>378
書いたとおり、喋るもので、キャッチフレーズは「萌えから、リーマン予想まで。」です。
「Ｔ」という名称は全集合を意味する矛盾記号の反対で空集合を意味するものです。
２次元格子による人工生命に論理計算オブジェクトを埋め込んで、淘汰圧をかけて、
強い人工知能を創ろうとしていました。ところが、論理計算ができるようになってから、
２次元格子は付属品で、どんどん開発した論理計算の言語（Ｔ語）でプログラミングして、
htmlとか自動で読んでいってしまえばいいというあたりの考えに今なっています。
天才と呼ばれることはたまにありますが、このスレだと普通くらいでしょう。
とりあえずソフトはそろそろ公開するんですが、このスレに来たのは、>>1の
Mr.Motoに誘われてであり、スレの意向に沿ったものだと考え、書き込みを
行いました。

>>379
情報ありがとうございます。僕のスレのほうに返信を書きました。

>>384
お金は儲からないとは見積もってますが、生活費くらいは欲しいです。余分に
儲かったら、生化学的な量子コンピュータの開発費にまわそうと思っています。

**Mr.Moto** · 2018/10/09(火) 17:22:01.19

>>386
> 「Ｔ」という名称は全集合を意味する矛盾記号の反対で
> 空集合を意味するものです。
まず、そこから問いなおそう。
だったら、「＊Ｔ＊」が正解で、「￢ＮＩＬ」なんじゃ
ないか？　空集合だったら「Ø」だが、あれはスカンジナビア語系の
文字なので、あんまり一般性がない。

まず、自分の思考あるいは論理体系を整理して、それを言語化して
評価されるところから始めよう。

a4 ◆L1L.Ef50zuAv · 2018/10/09(火) 18:39:47.39

>>387
一応、人工生命作ってる僕からすれば、自由に、な訳ですが、普及を考えると、
貴方の意見も参考にしなければなりません。ただ、もうこの名前で広めているので
変えようとは思っていません。「＊Ｔ＊」は、検索してもよくわかりませんが、
それなら、「Ｔ」なんじゃないかと。「￢ＮＩＬ」はね、そういう意味もあるかも
ですが、僕の昔の思い出を話すと、今３０歳ですが、数理論理学で小さい公理系
で全部表せないか、とか、考えていた１９歳くらいの頃があるんですが、その結果が、
ゲーデルの不完全性定理や、バナッハタルスキーの公理から導出される「矛盾」
というキーワードだったのです。このたった一つの公理なら、任意のAに対して、
￢Aを仮定すると、矛盾となり、背理法により、￢￢A、すなわちAになります。
つまり、全集合ということです。それから、２５歳の頃、キリスト教の勧誘に
逢いましたが、「聖書は真であり、偽でもある。」と言うと、その勧誘してくる
人も笑うだけでした。それで２６歳の頃、怪我をして東大の病院に運ばれたん
ですが、ある医師に「私達と素で話せるということは貴方は大物なんですよ。」
と言われると、他の医師が「本当の大物は落ち着いてます。」と嫌味じゃなく
教育されました。僕はセンター数学２００点が誇りだったので、それ以上の力で
ようやく挫折し、一旦、僕の政治的価値観の功利主義が悟りの方向、すなわち、
全集合を信じた場合に生じる１対１対応の考えから導出される￢功利主義、になって
しまいました。それで、統合失調症の陰性症状が悪化し、人に悪いことをしたほうが
いいのか、と思うようになりました。すると、テレパシーでエウロパの方向から、
その薬として、「⊥/U」ではなく、「T/Ø」を頭に入れて、何かの要素を信じて
ください、と入ったんです。それが「Ｔ」だったんです。神を信じるとかそういう
ことかもしれません。社会的不条理や数学的矛盾に陥っている者を救う方法として、
この「Ｔ」を提唱し始めました。まだ何かご意見あれば承ります。

**Mr.Moto** · 2018/10/09(火) 20:57:57.11

>>388
> 今３０歳ですが
まぁ、その歳じゃ知らねぇか。
その昔、人工知能向きの言語として、「LISP 1.5」っつーのが
あったんだわ。その言語で、「真」と「偽」に
相当するのが、「*T*」と「NIL」だったんだ。
で、「EPAM」っていう人工知能関係で有名なプログラムがあって、
それをプリントした T シャツで、「NIL」の部分を大きく表示した
「NIL シャツ」というのがあったりした。

> 背理法により、￢￢A、すなわちAになります。
「背理法」には「広義の背理法」と「狭義の背理法」があり、
二重否定の除去は、直観主義の論理においては認められていない。
「正しい」と「証明可能である」は同義ではないので、
「￢証明可能でない」は「正しい」とは同義ではなく、
「￢￢証明可能である」は「正しい」とは同義ではない。

そのあたり、ゲーデルとか様相論理学とかを
勉強してみることをお奨めする。

自然言語処理スレッド その５

自然言語処理スレッド　その５