自然言語処理スレッド その5
■ このスレッドは過去ログ倉庫に格納されています
このスレッドでは、おもに日本語の構文解析・談話理解・情報検索・
文章生成などの、実装とそれに付帯する技術および理論について
扱いたいと思っています。 とりあえず、プレーンテキスト(漢字、かな、句読点、改行のみ)
を、文節で区切って文節数をカウントするプログラムくらいは、
書いといていいように思う。
まぁ、前スレで書いたように、いくつかの例外があって少しは誤差が
入るが(たとえば「書いといて|いいように」「例外が|あって」など)、
「なるほど、こんなもんか」「こういう例外が出るのか」「処理プログラム
に渡す前に手で あらかじめフォーマットすると したら、どんな書式を
採用するのが便利か?」あたりの議論の たたき台になって いいんじゃないか と
思うが。 >>259
>・文法格は述語から見た名辞の役割である。
>・文法格は一意である。
>・文法格の関係は交差しない。
鳥は飛ぶ生き物であるという正文法、その上だペンギンやダチョウはそうではないという例外処理を。 >>259
>・文法格は述語から見た名辞の役割である。
>・文法格は一意である。
>・文法格の関係は交差しない。
国文法というのは物理公式と同じで、絶対的ではなくても近似式に使う分には役立つ。
そうではないものに関しては、人手で例外処理として修正していくしかない。
>>5
>ところで「チンボがシコシコする」という日本語表現は、文法的に正しいのか?
それもオブジェクト指向プログラミングを徹底的に研究した後のこと。ピカソの抽象画もそうだ。 >>226
>大雑把にはあってるが
>先にいっとくが数学は文系だからな
>自然と一切関係ない
最終解決した予想は、その全てが『死んだ数学』www >>261
だから非単調論理というものがあるんだってばよ。
「スーパーヒーローは飛ぶ」
「『8マン』は飛ばない」
とか、
『機動警察パトレイバー』で、
「はっはっは、さすがに空は飛ばねぇけどな」
「えぇ〜! 飛ばないんですかぁ〜?(泣)」
「わっ … 悪かったな、お嬢ちゃん。」
とか、
そのあたりは個別に解決することになってんだよ。 >>262
「私は餃子を先に、ラーメンを後に食う」の場合、
述語「食う」の対格「餃子」「ラーメン」が
一意性を満たしていない、という意見はあるだろうが、
それは「私は餃子を先に食い、ラーメンを後に食う」の
省略形と考えるというのが、われわれの立場だ。
「そんな恣意的な解釈は許さないぞ!」といった批判は、
甘んじて受ける。 で、だれが解析用の文法きめてんの
で、そいつが決めた文節で切ることができるだけでなんのメリットがあんの
で、いちいちインチキシーソラス使っておかしな解釈にみえるようになることがなにが問題なん
そもそもインチキシーソラス使って解釈する必要性が分からない
自然言語それ自体でなんで解釈を試みないの
頭悪い文系がよくやるキーワード使ったインチキテキストマイニング統計解析でも
置換するのは統制語までだからな
あいつらそれを感性でやってる
それでそれらしい感じにクラスタリングできるまで
クリーニング()とかいって置換(いわゆるデータ捏造)しまくってる
やっぱりなキミラ知恵遅れ文系は
なにをやっても頭悪いことしかしてない
そういう頭悪い作業をすることが近似する作業らしいからな >>214
>なお『意識』というのは『星』であり、点のように不規則かつ無限に存在する。
星と星を組み合わせて『星座』、言葉と言葉を組み合わせて『文章』。 >>267
>星と星を組み合わせて『星座』、
そうして創作されたのが『ギリシャ神話』。 >>266
> で、だれが解析用の文法きめてんの
一般的には益岡 隆志・田窪 行則『基礎日本語文法・改訂版』
ということになっているんだが、こっちは奈良時代から江戸時代
までの文語文法と、そうした文語文法に詳しくて「いわゆる学校文法」に
批判的な方々の意見を反映したフツーの文法。
> で、そいつが決めた文節で切ることができるだけでなんのメリットがあんの
向こうは研究費が取れるかどうか。
こっちは「ローマ字かな変換」「かな漢字変換」「(文語文を含む漢
字かな交じり文の)ルビ振り支援」「読み上げ・自動点訳など、
視覚・障害者・外国人・独自障害者のための UI 支援」「論文などの
文章の検索支援」などなど。
> で、いちいちインチキシーソラス使っておかしな解釈にみえるように
> なることがなにが問題なん
高い金払って作らせたシソーラスがインチキなんで、解釈が
おかしくて役立たずなもんだから発注元が怒る。
こっちはまともなシソーラスを安く作れるので、競合他社が
頭にくる。 >>266
> やっぱりなキミラ知恵遅れ文系は
> なにをやっても頭悪いことしかしてない
うちらは理系なんで、英文の論文とか
読まされる。で、「くそー、辞書引きが
めんどくせぇ!」つーので作ったのが
rStone。「英語ができるんなら日本語も
できるよね?」つーんでチャレンジしたら、
用言は処理できたが体言の解析がうまくいかん。
それで藤本裕之に「『てにをは』が解析できたら
土下座してやる」と挑発されて完成したのが
rStone-JE。 で、アプリが売れるようになったら、文法と辞書を
整備するための環境が必要になって、文法記述用
スクリプト言語 ellisp とチャート法エンジン
JAI-Parser を開発して、それを『bit』に発表したら
アスキーの出版技術部と VJE-Pen のチームの
目にとまって共同開発。
そうしたら藤本氏が WWDC のために渡米したら、
会場で OS 7.5 用の TmoothTalker 用に
漢字かな交じり文の音声読み上げシステムを
任された『ことえり』チームのメンバーに、
「なぁ、rStone-JE って、どうなってんの?」と訊かれて
Aplle Computer Japan のチームとも共同作業。
その後、JAI-Parser on Java に移行。ただし
当時は Java の処理系が安定してないのと
バブル崩壊後の「失われた二十年」だったんで
停滞していて、現在活動再開を目論んでいるところ。 >>266
> 頭悪い文系がよくやるキーワード使ったインチキテキストマイニング統計解析でも
> 置換するのは統制語までだからな
> あいつらそれを感性でやってる
> それでそれらしい感じにクラスタリングできるまで
> クリーニング(笑)とかいって置換(いわゆるデータ捏造)しまくってる
うちの所長が言ってたけど、某大手がやってた活字OCRの部隊が
独立して、科研費貰って読取精度をあげようとして研究したたけど、
「相関が見つからなくて頭を抱えてた」っていう話があったのが
前世紀の話だったような気が。
まだそんなのやってる馬鹿がいるの? 東芝およびソニーの研究所を追い出された人間のクズ小林賢一郎!
いまはどこで何をしているのかな? >>273
同姓同名のピアノ調律師の方がいらっしゃるから、
もうちょっとピンポイントで特定していただけると
ありがたい。
東芝は、たしか「言の葉」という(ワープロ専用機の
ソフトウェアをパーソナル・コンピュータに移植した
件で)システムでお世話になったし、ソニーは「東京
コンピュータシステム」(TCSとか言ったような)とかいった
会社に食い物にされていたのを間近で見ていたので、
ひょっとしたら、どっかで遭っていたかもしれない。 形而上学的にその文法に従ってるかもしれないということに
なんの意味もない
ただの記号の羅列だからな
その正しさは検証できない あとな、オマエが想像してるようなもんじゃない
調査票の自由記述の質問の回答やクレームからキーワード抽出したりする
調査票の自由記述の質問の回答だからな
当然、1サンプルは1回答者になる
で、その集計値で対応分析を行ったりする
置換したり加工しなければかなりスパースな行列になる
置換したり加工してもかなりスパースな行列になる
そのキーワードだけでクロス集計されることがよくある
この場合なら正方行列になる
調査票を使う場合だと性別年齢(俗にいうM1〜M3とF1〜F3)とか
調査票からえられる様々な属性をたしてインチキ分析が行われている
この場合なら正方行列でない行列になる
そんな行列で対応分析を行ったりするオカルトちっくな手法もあったりする
で、ここままでいえば分かるな
このケースではすべて同じ質問に対応する回答だ
相関が確認されないということはまずない それって、フツーに多変量解析の手法を
調査票の自由記述の質問の回答に対して適用して
「どんな質問に対する回答が、目的とする因子との
相関が高いか」っていうのを探して
選択型の質問票に落としこむ、みたいな
ありがちなネタじゃないのか? ユークリッド幾何学は、『創生』と『最終解決』だけが、この人間世界との接点になる。 アフターコーディングの話なんかしてないからな
オレが書いたレスをアフターコーディングのように読めるなら
オツムに問題がある
アフターコーディングは頭悪い文系らしい典型的な発想だからな >>280
とりあえず野外調査(フィールドワーク)とか
川喜多二郎とか、京大式ノートとか KJ 法とか、
AWK とか R とか、他のヒトに通じるような語彙を
咀嚼してから文章化してくれると ありがたいんだが。
このままだと、「基地外(糖質系)が暴れてスレを
荒らしてる」的な扱いになってしまうぞ? >>281
>川喜多二郎とか、京大式ノートとか KJ 法とか、
写真とセットで、同一の話題について様々な論評を加えるというやり方はどうだ?
>>28
>『言い換え表現』として全て同一であることは自明だ
ニュースにしても同一の事柄(例えばロシアのクリミア併合)について、世界各紙がどう報道したかとか。 >>282
あんた凄いな。尊敬する(もちろん皮肉ではない)。
KJ 法では名刺大のカードを使ったわけだが、
昨今はインスタントカメラもあるしパソコンもあるし
カラープリンタもある。それを KJ 法に活用するという
ことを思いつかなかった自分を恥じている。
ありがとう m(_ _)m
> ニュースにしても同一の事柄(例えばロシアのクリミア併合)について、
> 世界各紙がどう報道したかとか。
その点に関しては、構文解析とか文脈とかいった話について、
まだ研究者側の合意がととのっていないので、あまり建設的な
意見交流ができないと思う。
もうちょっと、理論的に扱えるモデルケースを用意して、
充分に叩いてからでないと、そこに踏み込むのは難しいんじゃないか? >>214
>なお『意識』というのは『星』であり、点のように不規則かつ無限に存在する。
すべての星状領域は、直線ホモトピーによる可縮集合である。特に、すべての星状領域は単連結である。
すべての星状領域は、それ自身に縮めることが出来る。すなわち、任意の縮小率 r<1 に対して、
r で縮小された星状領域は、元の星状領域に含まれる[1]、 スレ初めて見たばかりなのですが、SQuAD とかの話題はスレチ?
| 203Maria2018/09/23(日) 15:25:35.21ID:/9eqLEMo
| で、自然言語処理に関して、
| 何か質問があれば
| 承りますよ?
| 初期スレの話題でも、
| 「これってどうよ?」ってな話があれば、
| どうぞ。 >>285
スレチ、日本語専用。あとプログラミングの話しも出ない。 >>287
いやいやいやいや。
べつに日本語専用でもないし、あたしがプログラミングに疎いだけで、
ガチなハッカー連中が「バッチ来ぉ〜い! 存分に可愛がってやる!」的に
待ち構えているので(いや、『ブルー・オイスター』じゃないんだから)、
フツーに質問してくだされば、丁寧にお応えしますわよん♡
ただ、わりとシャレで答えている場合(しかも、マジレスかどうか
わかんないような、ビミョーなネタが混じっている)があるので、
研究室とかに所属していらっしゃって、真面目に自然言語処理を
やってらっしゃる方は、「これ、シャレなんですかね?」と
訊いておくことをお奨めします。
嘘は言わないけどね。「ここが納得ゆかない」という、ご意見が
あればどうぞ。ぜんぶ打ち返して ごらんにいれますわん ♡ KJ法や京大カードって30年ぐらい前にはもう古いとか言われてて
昔の本に出てくるぐらいだったけどここでは現役なのか… >>289
「いわゆる“学校文法”」って三十年ぐらい前には「占領期の遺物であって、
もう時代に合ってない」とか言われてて、さんざん国語学者に叩かれていたけど、
中学校の教科書や、既存の解析システムに寄っかかってる自然言語処理界隈では
現役なのか ……
哀れだなぁ (T_T) 。後生が浮かばれますように、お祈り申し上げます。 >>289
つーか、「構造化プログラミング」って、三十年前には
「もう、パラダイムとしては、古い」と言われてたんだけど、
いまだにクズなコードを吐くプログラマが めっさいるという現実に対して、
おまいは 何を主張したいのか教えてくれ。 やっぱり低学歴知恵遅れには
簡単なオレのレスすら読むことすらできない
オレは一般的な用語しか使ってないからな
まともな教育を受けてればオレのレスは余裕で読める
分からなかったらぐぐるぐらいの知能すらないからな >>292
やっぱり学歴しか誇れない知恵遅れには、
簡単かつ一般的な理屈を理解することすらできない。
中学校二年生で教わる学校文法の用語すら理解できてないからな。
まともに高校レベルの文語文法を身につけていれば、
そのあたりのリクツは余裕で理解できる。
「分からなかったらぐぐる」ぐらいの知能しかないから、
「ネットに書いてないことは間違ってる」程度の、
教条主義に染まってるんだろうな。 オレは一般教養レベルすらない低学歴なのは
よおくわかるわ
残念なことにな その自覚すらない
まず低学歴知恵遅れは対応分析すら分かってないからな よくこんなのが
理系を自称できるわ
どこのf欄底辺大学か工業高校卒業したのかと
まず一般教養が著しく不足してる
まず分析という概念がないからな
独りよがりなマイルールだからな
低学歴にありがち なんにしても今回の低学歴知恵遅れのレスで
結果の検証なんか一切してないのが
よおく分かったわ
低学歴知恵遅れの結果の検証方法なんか
あるワケがないからな
あまりにもオツムのデキ酷い
よくこんなのが延々とレスしてるわ >>294
> 俺は一般 教養 水準(レベル)すら ない低・学歴なのは
> 良く わかる(解る?/判る?/判る?)わ
> 残念な ことにな
くらいの形態素解析はできるんだが、構文解析のレベルになると
よくわからん。 とりあえず低学歴知恵遅れは
もうムリしてレスする必要がない
核心的なことをオレは何度も書いてるからな >>295
> その自覚すら ない(誰に?)
> まず、〔低学歴&知恵遅れ〕は、〔対応 分析〕すら
> 分かって(い)ないからな
というコトなんだろうと思うんだけど、
『自然言語処理スレッド』なんだから、
何を言いたいのか説明しれくれない? このスレがオマエの日記帳のつもりなら自由に書けばいい
あえてこんなとこに日記を書くなら
オレがなにを書くのも自由だ
オレがなにかを書いてオマエが腹が立つなら
オマエがココで寝言みたいな日記を書かなければいい
ココではなく個人の日記に書けば
オレがオマエの寝言にいちいち反応することはまずない >>295
ついでながら、
「対応分析」という言葉を持ち出す以上、
「因子分析」とか「主成分分析」とか
「マハラノビスの距離」とかいう
概念は把握してるんだよな?
だったら、ちゃんとした日本語で説明してくれんか。
このスレを真面目に追ってるヒトもいるらしいので。 で、ぐぐってる割に
単語だけ並べてる
もう低学歴がムリして知ったかびるしてるのはすぐに分かるからな >>302
> オレがオマエの寝言にいちいち反応することはまずない
できればそうしてくれ。
日本では「寝言に返事をしてはいけない」という
話があるからな(笑) だからな
もう低学歴なのはバレてるからな
残念なことに >>301
そもそも、「文法」というものは、「個人の脳内にあるものかどうか」が
問題にされるものであり、かつ「その言語環境を共有している社会に
おいて機能しているかどうか」が問題にされるものなので、
「その『文法』というものが存在するのならば、ここに出してみろ!」とか
言われても、どうにかできるもんでもない。そういう意味では、
> まず正しさを検証できない寝言を書いてる自覚がない
と言われても、「どうやったら “正しさ” を検証できるのか?」という
議論から始めなければ いけないんだが、
「まず正しさを検証できない寝言を書いてる自覚がない」という言説が、
「先ず、(正しさを検証できない)寝言を(誰が?)書いて(い)る
(誰が?)自覚がない」を意味しているのかについて説明できて
いるのだろうか?というところから、話を始めないといかんように
思う。 で、「どうやったら “正しさ” を検証できるのか?」
も明確ななにもなくウンコみたいなレス続けてたんか
さすが低学歴遅れ
さすがとしかいいようがない 数学の本第79巻
>363 : 132人目の素数さん2018/09/27(木) 18:23:33.43ID:YRDKincq
>ピタゴラス数をなんと 〜荒らされたので立て直しました〜 [無断転載禁止]©2ch.net
>数学の本第79巻
>>>266 = >>354 = >>361 = Mr.Moto = M.B = Maria
>さあ、お前の罪を数えろ!
こいつ( ID:J+nvGpgG )数学板でもつまはじき者の荒らしなんだぜ >>306
「低学歴」を連呼するところをみると、
東京大学だな?
わかるわかる。それしか自慢できることがないんだろ(笑)
お察しの とおり三流私大出(とはいえ師匠連は東京大学の
名誉教授だったりするのだが)だが、まともな議論で
負けたこたぁねえんだよ (wwwww
高学歴を自慢するんだったら、なんか、まともな議論くらい
してみろよ。なぁ? >>309
あいにくな話だが、オットー・ノイゲバウアー先生が
五十年以上取り組んでいらっしゃったプリンプトン322の
解読に成功したのは おれらだし、Barning=Hall=亀井の定理の
初等的な証明を発見したのも おれらなんだよ。
そのあたりは、数学板の当該スレの内容を見てみりゃ
わかるだろ?
じつは、国語学とか発達心理学とかでも、いろいろ業績は
あるんだぜ?
おまえが何やったか言ってみろよ。なぁ? >まともな議論で
>負けたこたぁねえんだよ (wwwww
コイツ( ID:J+nvGpgG )いつも数学板で背伸びして叩かれてるよw ちなみにオレは自分が高学歴とすらいってない
そんなことどこにも書いてないからな
オマエが著しい低学歴知恵遅れなのは分かるといってる
まともな教育を受けてないことも分かる
そして著しく知能が低いことも簡単にレスから分かる
まともな教育を受けてれば分かってしまうワケ
残念なことにな
まず議論が成立するワケがない
低学歴知恵遅れは基本的なイロイロなものが欠けてるからな
その自覚がない
で、バカはバカであることの自覚もない
そして自尊心だけは高いからな
そして自分では勝ったつもりになる
この板にいるような典型的な低学歴知恵遅れといっていい ID:k5h2WtG4 の完全勝利!!!
Mr.Moto = M.B = Maria は百万年ROMってろ 的確とか言って、自然言語処理のスレで学歴のことばっか書いてるよ >>312
> いつも数学板で背伸びして叩かれてるよw
ごめんな? おれは基本的に身の丈に合った発言を
しているので、「背伸び」は してないんだ。
まぁ、叩かれるのは仕方がないけどな(笑) >>313
> ちなみにオレは自分が高学歴とすらいってない
なんだ。書けるほどの学歴でもないのか。
それで「低学歴」とか、よく書けるな。
> オマエが著しい低学歴知恵遅れなのは分かるといってる
申し訳ないが、じつは高学歴で高 IQ なんだ(笑)
> まともな教育を受けてないことも分かる
おれが馬鹿なのは師匠の せいではない。単に
おれが馬鹿なだけだ。「まともな教育を受けてない」とか
言って、おれの師匠を侮辱することは許せん。謝罪しろ。
> まともな教育を受けてれば分かってしまうワケ
> 残念なことにな
要するに、おまえが まともな教育を受けていないと
いうことか。残念だな。
> この板にいるような典型的な低学歴知恵遅れといっていい
おまえ、いま、『プログラム技術板』の住人の、ほぼ全員を
敵に回そうとしてるんだぞ?
解ってて言ってるのか? >>293
>中学校二年生で教わる学校文法の用語すら理解できてないからな。
友達が「わたしブスやねん」と落ち込んでいた。
なぐさめようと「人間は顔じゃないよ」と言おうとしたら、
「人間の顔じゃないよ」と言ってしまった。
http://hamus
oku.com/archives/8039463.html えー、そろそろ涼しくなってきてシステム開発関係の
作業が捗っているので、自然言語処理システムの
実装に関する話題に、話を戻したいと思います。
スレッドを汚している荒らしの皆様は、『数学板の荒らし 』
(https://rio2016.5ch.net/test/read.cgi/math/1529387553/)
に、なるべく速やかに移動してください。 >>320
それは、あんたが悪い。
「ブスが不景気な表情(かお)しとったら、
誰も寄り付かんわ! 笑っとき! 女は
愛嬌やで!」くらい言っとかなアカン。
…… つーか、この文章を音読するときに、
アクセントをどうするか、っていうのは、
現在の日本語処理の技術レベルだと、
かなり難しいんだよな。
そのあたり、ちゃんと整理しておかないと
いけないと思うんだが。
「九州弁は、末尾から二音節めにアクセント」とか
あるけど、京都と大阪と奈良は、同じ関西圏でも
微妙に違うんだよなぁ(あと、ノリもかなり違う。
上のセリフも、奈良だと通じないかもしれないし、
京都と大阪では口調が変わると思う)。 とりあえず低学歴知恵遅れは
翻訳システムなみにコンテキストを解析する能力がない
人間のハズなのにな
バカがいくらなにかを理解しようとしても
なにも理解できない原因はココにもあると考えられる
致命的な認知機能の欠陥の一部といっていい >>194
猿と人間ではコミュニケーションができないからな。コミュニケーションは人間同士にしか出来ない。
先師言はく、「『猿』とは何ごとぞ。汝、この句をいかに思ひて作せるや。」 人物は固有名詞であるが、その『社会的地位』は明確にしておかなければならない。
問『なぜ、人を殺してはいけないのか?』
答『この社会の法律でそういうことになっているから』
問『トランプ大統領は原爆素晴らしいと言ってるぞ?』
答『アメリカ大統領に日本の法律は通じない』
原爆発言でも久間章生が言うのとトランプ大統領が言うのとでは全く違う。
同じ発言をしても立場によって許される場合と許されない場合がある。
台湾についても、米国だけが『台湾関係法』という国内法を行使できるが、他の国は許されない。 >>307
>「その『文法』というものが存在するのならば、ここに出してみろ!」とか
語学はユークリッド幾何学ではないので、例文をいくつか挙げて大体こんな感じという『近似式』にする。 >>215
>「鉄」を例として挙げることになっている。
多義語の解釈を文脈によって絞り込むシステムが必要。
>>44
>Cycの推論エンジンは、この話の中に矛盾を見つけた
システムの方向性としてはそれで良い。前後の文脈から矛盾しない訳語を選択する。
(5)結果の検証
最後の五番目のステップは「結果の検証」です。
犯罪捜査でいえば解明した動機とプロセスが本当に正しい答なのか、別の答の可能性はないのかと確認する作業です。
私の復元した真実は正に驚くべきものだったので、他の答の可能性がないのか何度も検証してみました。
その結果、やはりこれしかないと納得せざるをえなかったのです。
http://www.issj.net/mm/mm0508/mm0508-5-ln.html >>212
>娘とほくろが調和しているという意味だな
『美しい』だの『調和している』だのは個人の主観なので、誰の意見なのかを特定することが大切。
トランプ大統領『安いだけの中国製はもう沢山だ!』
『安いだけ』というのは個人の主観の問題なので、それが誰の発言なのかを検索するシステムが重要。 >>265
>「私は餃子を先に、ラーメンを後に食う」の場合、
餃子もラーメンも食べ物なので、餃子を食べ終わってからラーメンを食べるとか、
あるいはまず最初に餃子を一つ二つ食べてからラーメンを食べ始めるとかの解釈になる。しかしながら、
「私はトイレを先に、ラーメンを後に食う」
この場合は『トイレに行った後でラーメンを食べる』と解釈する。 >>307
>「その『文法』というものが存在するのならば、ここに出してみろ!」とか
自然言語表現というのは、大学のお偉方でも時々間違えてしまうくらいにややこしい。
>>128
>独りよがりな日本語の解釈を押し付ける所は,さすがだ! >>254
未解明の数学こそが生きた数学で、生きている人間には必ず『未来』がある。 >>284
>すべての星状領域は、それ自身に縮めることが出来る
天体を観測する場合、地球中心を原点(0,0,0)と置くにしても、座標軸をどうすれば良いのか? あしあと伝言板は悪口と思われる内容の言葉が含まれていれば
自動で削除される。
この装備イカす→カス
ちょっとバカンスに行ってきます→バカ
パチンコばっかりいってた→チンコ
どう考えても冤罪削除。しかも累積すると冒険者の広場利用停止。
横暴。
ちなみに冤罪削除を訴えた発言も削除される。
異議申し立ても悪だというらしい。
サポートセンターに問い合わせたところ、調べてもくれなかった。
https://ameblo.jp/cinnamon-rilakkuma/entry-12317442377.html
>チンコばっかりいってた
『チンコ』を主語として、『言ってた』のか『行ってた』のかを検証するシステムが必要。 >>253
>フェルマー予想と「谷山・志村予想」の証明の原論文と
中国や韓国は数学オリンピックでよく入賞者を輩出していても、それは『生きた数学』ではない! >>5
>例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。
チンコばかりイッてた、だな。 >>227
>それでも「ひょっとしてズレてねぇか?」と心配になるらしく
人と人とのコミュニケーションを数式化することは出来ないので、過去の例文を挙げて近似式を作成する。 >>253
>フェルマー予想と「谷山・志村予想」の証明の原論文と
『先進国』の定義として、『生きた数学を語り合える国々』というのはどうだ? >>291
>いまだにクズなコードを吐くプログラマが めっさいるという現実に対して、
具体的に何が『クズなコード』なのかを、例を挙げて示してくれないか? 必要の無いコードを書かない、実用性の無いソフトウェアを作らないことが大切。例えば、
2014年04月22日 12時30分26秒
1万回以上ダウンロードされたがゴミアプリだった「Virus Shield」購入者にGoogleが払い戻しと約500円を提供
https://gigazine.net/news/20140422-virus-shield-refund/
使い道の無い無駄なコードを書くプログラマーが多すぎる! >>88
>「方程式 f(x.y) ≡ {y=x^2} の X-Y 平面上のグラフを、『X 軸方向に 2 だけ
平行移動し,それをX軸に関して対称移動した』ものと一致する
>グラフを表す方程式 f(x, y) は、どのようなものか示してください」くらい書けや。
故意に必要な解説を省いたり、故意に不要なノイズを入れて、難しくするのが入試問題だ。
コードを書くにしても、何が必要で何が不要なのかを洗い出しておきたい。わかりやすくすればデバッグも楽。 >>291
>いまだにクズなコードを吐くプログラマが めっさいるという現実に対して、
無駄なコードが後を絶たない理由として、話題になりにくいということが考えられる。
少しくらいなら特に有害というわけではない、けれども長年積りに積もってというふうな。
トヨタ式「整理整頓」使わない書類は1日、名刺は1年で処分
https://president.jp/articles/-/16215
使い道の無いコードは削除して、あとで必要になったらまた書き直せばいい。
しかしながら中小デスクワーク系の人は、私達はこんなに頑張って書類作りましたみたいなところがある。 >>329
その場合、「異なった述語がある」という話になるので、
それはそれで納得がゆく。
本来の問題は、「食べる」という述語が、「先に」「後に」という
区別が入ったときに、“分裂” すると考えていいのか(「食事」という
全体性で考えたときと、「食べる」という個別性で考えたときの話だ)、
というのを、実用的なレベルで、どう(現在のパーソナル・コンピュータで
処理できるか)落としこむか、について論じたいと思っているんだよ。
それが、このスレの本旨じゃないか? >>338
自分の屑コードを晒したくは ないし、
他人のコードを批判したくもないので、
名著と云われる『プログラム書法』とかを
読んでほしいと思う。 低学歴知恵遅れは
一個前のレスすら忘れる
本読んでても一段落の内容すら解釈できない
まずバカは本を読んでも本の内容を理解できない
バカは本を読むだけムダ
低学歴知恵遅れと文を一つづ構文解析するウンコ解析は
低学歴知恵遅れと似てる
そんな低学歴知恵遅れが延々とウンコレスしてる日記帳が
このスレ >>337
ポール・エルデーシュもピーター・フランクルも、
そういう国が見つからないから世界中をウロウロして、
フランクルは日本に居ついちゃった、みたいな経緯がある。
世界中に、そういう居心地の いい国が いっぱい あって、
そういう ところをウロウロしている連中が大勢いる
社会というのは、わりと居心地がよさそうな気がする。
“ムッシュ” こと吉田 義男さんは、フランスで野球の
ナショナルチームのコーチをやってたそうだ。
「だいたい なんとかなる」らしい。
べつに数学とは限らんのじゃねぇか? 「低学歴」「知恵遅れ」は、
「学歴が低い」「知恵が遅れている」を意味している。
すなわち、「低い」「遅れている」という、連体修飾節に、
その評価を行う「話者」の視点が、見えない形で
入りこんでいる。
したがって、人間と対話するシステムが仮にあったとして、
そのシステムには「話者」としての「私」の視点というものが
必須なんじゃないかと思う。
だったら、どんな “私” とだったら、対話したいと思う?
>>344 みたいなのと つきあってたら鬱になりそうだ、
とは思うが …… いま、意味処理について検討しているんだが、
これだけ AI とその軍事利用が一般化すると、
「コンピュータが人間を殺すことができることを
知っている」という人は多いだろう。
すなわち、「コンピュータが人間を殺すことができる
こと」は、「正しい」かつ「信じている」ということになる。
「¬正しい」だったら「知っている」とはいえないし、
「¬信じている」でも「知っている」とはいえない。 で、「正しい」ことを「知っている」のに「行動しない」のは
「間違っている」のだから、「正しい∧信じている」のに
「¬行動する」ことは、「¬正しい」ということになる。
そうすると、AI が「テロを支援」して、「テロを防止する」勢力を
攻撃するのが正しい、と判断するリスクに関して、われわれ
自然言語処理技術者は、どのように向かい合えばいいのか?
という話になる。
「古典論理の範疇において、AI によるテロを防止できるような
論理は構築できるのか?」みたいな話は、しておいたほうが
いいと思う。 >>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 >>349
>フェルマーの定理を知らないものとして、
1 正しい
2 知っている
3 信じている
三者は同じ意味なのだろうか? >>347
>「¬正しい」だったら「知っている」とはいえないし、
>「¬信じている」でも「知っている」とはいえない。
フェルマーの定理は、『正しい』のか『知っている』のか『信じている』のか。
『正しい』というのはユークリッド幾何学だが、『知っている』『信じている』はそうではない。 問『あなたはフェルマーの定理を知っていますか?』
答『知ってます。1994年にワイルズによって証明されました。』
問『では今からここにその証明を書いて下さい』
答『・・・』 安倍晋三の顔と名前は『知っている』が、それは『知人』ではない! >>349
>フェルマーの定理を知らないものとして、
強いて翻訳するなら『フェルマーの定理については真偽不明として』ということかな。
フェルマーの定理が既に解かれていることを『知らなく』ても、この場で自力で証明すれば良いのだから。 >>350
「『フェルマーの定理』は知らないけれど、
『ワイルズの定理』は知っている。
ワイルズの定理によれば、『x,y,z が 0でない整数であるとき、
等式x^3+y^3=z^3 には、解がない』ことが知られている。
前提 A が偽である場合、『 A ならば B 』は常に真である。
ゆえに、『等式x^3+y^3=z^3が成立しているならば、
x,y,zのうち少なくとも一つは3の倍数である』は
真である」って言われたら困るな。 ユークリッド幾何学の真偽は、人間の生死と同じで、生か死か不明かしかない。
なお『オリハルコン』『ドラえもん』は創作物で、ユークリッド幾何学の対象外。 >>50
>「翼の折れたエンジェル」は
『ドラえもん』と同じでは? >答『知ってます。1994年にワイルズによって証明されました。』
>問『では今からここにその証明を書いて下さい』
知っているか知らないかは、本人の主観に過ぎない。
[座標と図形]三角関数、加法定理、基本定理の証明
http://d.hatena.ne.jp/gould2007/touch/20070806
高校で習う三角関数の公式は全て知っている、しかしながら証明方法はというと・・・ 正確にいうと、「定理」はすべて正しい。
「前提(公準)」は正しいものとして、
そこから、「定められた導出規則」によって
証明されたものが「定理」なわけだから。
そうなると、「フェルマーの小定理」とか
「フェルマーの大定理」とかいうのは不正確であり、
フェルマー自身による証明も残されていないので、
どちらも「フェルマー予想」と呼ぶのが正しいのでは
ないだろうか。
まぁ、「ユークリッド幾何学」っつーのは、かなり
“やりすぎ” な感じはするが、構成的な数学の
基礎としては、よくできていると思う。
整数論は、「ペアノの公準」がある(つーか、
ヒルベルトの数論がある)ので、いいことにしよう。
だけど実数が出てくるあたりから、「あれ、やばいんじゃねぇ?」
みたいな話をゲーデルが始めてややこしくなった。 ■ このスレッドは過去ログ倉庫に格納されています