「証明」を含む日記 RSS

はてなキーワード: 証明とは

2017-02-21

http://anond.hatelabo.jp/20170221010644

俺は社会承認という要素を盛り込みたいがために褒める、という要素を入れたのではないかと述べた。

一方俺が聞いてるのはあくまでも性格上の褒める必然性であって、そこからけもふれの個性とはなんぞやという質問に繋がってるわけなんだが。

理解してないだろ。

重箱の隅ばかりつついて中身がない。



ちなみにお前が言ってる凄い、という理由をしてデタラメではない、という証明にはならない。

デタラメに褒めているという客観判断排斥できないからだ。

まり情報は二点で、褒めることがキャラ必然性につながっているのか、

またのべつまくなしに褒めることを客観的に見て意味があると必ずしも感じられるかどうか。

さ、証明どうぞ。

2017-02-20

http://anond.hatelabo.jp/20170220152021

ネットを見ていない層はテレビというメディアブランドを感じる層なので権力を感じそのまま受け取りやすいと書いてあるのにネット民と一緒だから一緒だもん!は反論になってないですよ?

特定タレント好感度の話なんて関係いから。一見それっぽい価値観が支持されるかどうかって話だぞ。論点をちゃんと理解しようね。

そのブランディング妄信する無謬さを持っている人ばかりではないと、ネット一般大衆を見てればわかると思うが

一行目を百回よんでくださーい。

君がテレビしか見てない人だとしたら和田や竹山の言うことを真に受けるのか?清水に同情したりしないのか?そうじゃないだろ?

アホなのかな?真に受ける人が多いか少ないかという話をしているとき特定個人がどう判断するかは何の関係もないし、

ネットを見ている習慣の人がどうなるかという仮定は実際にそうなってないのでわかりませーんとしか答えようがない。

現状のテレビを見る層で判断するしかない、そして一行目を百回よんでくださーい。

「俺だけ特別に賢いから気づけるが大衆はそうじゃない」というなら、ネットを見てくれ。ネット大衆も疑問を呈したり、反発してる人多いだろ?

俺が特別に賢いとかどっからどう出てきたんだろう?バカ脳内論理についていけない。

ネットの大半はだれかの言葉から影響を受けたり同意見の人の真似をしたり=低い思考コスト活用してそういうことをしてるだけ。

一部のしっかり考えたり検証した人の意見をそのまま受け止めてる人が多いってことだね。

まりネットテレビ大衆の大半はどっちも同じレベルという意見はそのとおりで、どっちも大半はバカだといういい証明になっている。

ただしネット検証する人や一部の賢い人の力を受け取りやすいという点でテレビだけ見る層よりはマシだということだね。

2017-02-19

平凡な女子大生女神版にはまってしまった話

長くなるが聞いてくれ。

ただの馬鹿女の独り言、存分に罵ってくれて構わない。



5年前、当時付き合っていた彼氏NTR性癖を持っていた。

何でも「他の男に私の裸を見せて興奮する」タイプらしい。

ある冬の日、奴は「女神版に投稿して欲しい」旨をLINEしてきた。




女神版?」

「そう、女性が自ら自分の際どい自撮りを上げる2ちゃんねるスレのこと」

「なるほど」




かくして私はBカップ貧乳と下着と素足を晒すことになった。

スレの住人は優しかった。

鶏ガラみたいに貧相な私の身体を綺麗だスレンダーだと持て囃し、

私はあっさりと満たされてしま承認欲求脳汁がドバドバ分泌されるのを感じた。

彼氏は大喜びで私の上げた画像で目の前でシコってくれた。

彼の精液は苦かった。



私の母親毒親で、私の言うこと成すこと全てにいちゃもんをつけて切り捨てた。

私は人付き合いが下手で、小中高とクラスでは浮きまくり、除け者にされていた。

女神版は、そんな自己肯定感の低い私を簡単に認めてくれるユートピアのものだった。



私は彼氏に頼まれないでも定期的に自分身体女神版に晒すようになった。荒らしに絡まれ邪魔されることもしばしばあったけど、認められる快感の方がはるかに上回っていた。



それから5年間、私は画像を上げ続けた。

いくつかの画像まとめサイト転載されて永遠にネットの海を漂っている。それすらも私の存在証明のように思えていとおしい。




今年の1月彼氏と別れた。

特に彼氏の目は気にしてはいなかったけど、自然女神版に投稿しなくなった。女神卒業記念にこのエントリを書いておいておく。

ただの自己満足自分語りオナニーに付き合ってくれてありがとう

[]

今回は少年ジャンプ+

ファイアパンチ 40話

これだけセリフがあるのに、話はあんまり動いていないなあ。

トガタのバックボーンに関しては、情報からすると色々な解釈できそうだ。

元は男だったけど何らかの理由女性の体になった、或いは文字通り脳みそだけ女性の体に移されたのか(ただトガタは再生持ちだし、そんなことが可能かは微妙だけれども)。

人格だとか、魂だとかを入れ替える祝福とかあったりするんだろうか。

それとも長く生きていく過程記憶のいくつかを忘却した結果、人格再構成されたのか。

いずれにしろ明らかなのは、本作の一貫したテーマとして「演じる」という側面があるってことか。

メインの登場人物の何人かは、客観性だとか自身理想体現させようと「自分」を演じている(それが実際の所はどうであれ)。

場合によっては演じている本人ですらそれに飲み込まれて、自分が演じているのか何が本心なのか自覚がなくなってきている節があること。

このせいで主人公含めて登場人物たちのセリフは信頼しにくくなっていて、まあ叙述トリックというやつなのかな。



青のフラッグ 3話

今回もさらっと三田イケメン行動を描写して、そりゃ惚れるわなと思わせつつ。

一ノ瀬の性格とか趣味のこととか覚えていたりと。

というか覚えていすぎな上、妙に褒める。

三田にとっても、一ノ瀬ってのはかなり特別存在なのだろうかね。

感心したのは、一ノ瀬の行動を伊達が諌めている場面。

一ノ瀬とは別ベクトルから気にかけていることから伊達と空勢の関係性が読み取れる。

興味深いのは、一ノ瀬の言動が軽薄だっていう側面を提示したことだよね。

伊達の指摘を証明するかのように、よりによって三田勘違い発言を、三田が好きな空勢にしてしまうっていう。

そのヒキに、思わず「あちゃあ」と言ってしまいそうになる。

はてなブログ検索流入が減ったのは互助会スパムのせいでは?

Googleは質の高い読者が気になる記事を求める

最近はてな

2017年版】おすすめ邦楽ロックバンドなどベスト100を紹介します! - 消えゆく僕らの音楽雑記

http://b.hatena.ne.jp/entry/www.bokurano-music.com/entry/hougaku-rock-osusume

Amazonプライムビデオで観られる個人的オススメ映画を紹介する - 徒然なるままに・・・変更する

http://b.hatena.ne.jp/entry/www.tedium-life.com/entry/2017/02/05/213048

学生が月収153万円稼いで気づいたこと8個 - 今日はこれを証明しようと思う。

http://b.hatena.ne.jp/entry/www.proof0309.com/entry/tuki100mankasegu


のような根拠もないし読みたくもないクソ記事スパムで上位に表示される

Googleがこのようなサイトを上位にする必要がないかはてなブログドメインごと順位を下げたのではないだろうか?

はてなには有益情報が集まるから来ているというユーザーが多いだろうになぜこの問題放置するのかわからない

イスラム教徒宗教があるから強い

アメリカキリスト教が基本だから強い

中国人中華思想があるから強い

ロシア社会主義国家体制から強い




それに比べ日本はどうだ?

ダラダラ資本主義ノンポリ気取りで宗教カッコワルイなシラケ国家

こんなのクソ雑魚になるに決まってるじゃん。

人間はそんな強くないんだから思想宗教の一つくらい持っとかねーとダメだろ。

ノンポリノン宗教自由主義人間なぞただの腑抜けのザコ人間に過ぎないということは、ここ数十年の日本証明してきた事実

日本再建の道は思想宗教から始めよう。

とりあえず俺は社会主義国仏教中心の国家になればいいと思う。オススメ




http://anond.hatelabo.jp/20170218235056

マシュマロ実験って、自制心がファクターだという証明にはなってないよね

報酬を延期させる云々言われてるけど、ただ単純に親や大人の言うことを聞く=家庭が適切なしつけをしているっていうだけなんじゃないの?

そういう家庭だからこそ大学進学適性試験高得点を叩き出すような教育をするのは当然なわけで。

http://anond.hatelabo.jp/20170218153941

私も吃音持ちです

同じ境遇(私も物心ついてから発症しました)だと知り書かずにはいられないので失礼しま

吃音が出始めたときにそのアドバイスは、息子さんが覚悟をするきっかけになりますし、親は味方だという証明にもなるので素晴らしいなと思いました

しかし、少しがっつり話をしすぎたかもしれないのでは、とも思います

きっとその息子さんはこれから、(野球の例えで出されていたように、結局身を振るのは息子さん自身から)それこそ助言なんて聞いても意味がないと思うくらい、沢山の高い壁にぶつかってゆくのだと思います

それらの壁は、生きていくためにいつか絶対に乗り越えなければいけないものです。だから、心を落ち着かせるための助言はむしろ鬱陶しく感じられることもあるでしょう。

また、壁をすべて乗り越えるまでは周りと自分を比べて強い劣等感を覚えることになると思います。そこに、親から沢山の助言を貰ったら(親にその気はないと理性ではわかっていても)「親は自分吃音を恥ずかしいと思っている」と感じて、悲しくなり、自分存在否定するようになってしまうかもしれません。

息子さんはまだ今の段階ではそれほど挫折はしていないと思うので、丁度良かったと思いますが、これからは(増田様は既にそうしようと思っていらっしゃるかもしれませんが)[息子さんが相談してきたときは目一杯優しく接する、息子さんが辛そうにしていたら励ましてあげる。その他の時は吃音について触れず、「吃音特別なことである」という雰囲気家族から消す]ということを、同じ吃音持ちとして、お願いします。

もし症状自体は軽くならないとしても、心が強くなって吃音を逆に利用しネタにできるまでになればそれは吃音症を克服したといえると思います。それを含めれば吃音は「時間解決する」ことのように思います。どうかそれまでの長い戦いの中で息子さんの心が折れないようにすることを第一フォローしてあげてください。

2017-02-18

みんな安倍に殺される。

      ↓

anond:20170217182515

一休「まずは増田さんが殺されてみて増田さんの発言が正しいことを証明してみたらいかがでしょう?」

     ↓

「殺されてみて」というからには相手がいなければならない。やはり安倍総理は「共謀材」で国民を嬲り殺しに使用と考えているのか。

それに、みんな殺されるのであるから証明するとかい問題ではない。

みんな安倍に殺される。

みんな安倍に殺される。


      ↓

anond:20170217182515

一休「まずは増田さんが殺されてみて増田さんの発言が正しいことを証明してみたらいかがでしょう?」


     ↓


殺されてみてというからには相手がいなければならない。やはり安倍総理は「共謀材」で国民を嬲り殺しに使用と考えているのか。

それに、みんな殺されるのであるから証明するとかい問題ではない。

大宅壮一文庫TV版がほしいのに誰も作らない(作れない)クソ社会

大宅壮一文庫」が存続の危機に|NHK NEWS WEB

http://www3.nhk.or.jp/news/web_tokushu/2016_0621.html

戦後雑誌を網羅している私設の専門図書館大宅壮一文庫

文化風俗流行・世相を知る上で雑誌はかかせない。

しかし少なくとも80年代後半から日本では、雑誌新聞以上に世相を知るのにかかせないのがテレビだってことには誰も異論は挟まない。

その時から日本ワイドショー情報番組支配された。

80年代まれの者はテレビ洗脳された。

過去文化の広まりを知る上でテレビは欠かせない。

しか過去放送内容を研究者自由に手に入れることはできない。

大昔のフィルムは残ってなくとも、80年代以降の放送内容くらいはテレビ局に残してあるだろうに。

テレビ反省しないのは、放映しっぱなしでアーカイブを残さないからだ。(新聞社でも縮刷版残さないとこあるけど)

放送された全てのテレビ番組が録画され、そこに行けば誰でも自由に視聴し、参照することができる、テレビ大宅壮一文庫のような場所を作るべきだ。

例えば、10年前に「福島瑞穂朝まで生テレビでこんな酷いことを言った」というデマコピペ流行り、検証するのに非常に面倒くさい方法が取られたが(2chの実況ログから検証された)、テレビ文庫があればそこへ行って過去朝生をチェックするだけで、デマだと簡単証明することができた。

例えば、舛添の政治資金問題に多大な放送時間を割いているワイドショーに疑問を抱けば、過去政治家政治資金問題放送時間と比べて、その異常性を調べることができる。

今、非合法的にだいたい全ての番組が一旦はアップロードされるようになっている。しかし、権利者に即座に消され、アーカイブとして残ることはない。

よくネットでは、「○○の言葉はどんなふうに広まった?」みたいな記事が人気になり、新聞雑誌を中心に調査されているが、テレビを調べなくてどうするんだっていつも思ってた。

何かテレビ無視されている。調べられないのは分かるけど、それならそうと言及すべきだろうと。それもこれも、テレビが全くアーカイブを残さない、公開しないからだ。

別にネット自由にさせろというわけじゃない。しかるべき場所しかるべき人がしかるべき手続きを取れば、誰でも視聴し研究できるように保管されてればいいだけなのだ

しかしそういう文化的行為に全く無頓着民放テレビ局広告代理店はほんとクソ

2017-02-17

http://anond.hatelabo.jp/20170217180657

一休「まずは増田さんが殺されてみて増田さんの発言が正しいことを証明してみたらいかがでしょう?」

2017-02-16

いじめ学校解決することは不可能だということ

anond:20170215155517

結論として言いたいことは、いじめ教員発見し、捜査し、解決することはできないということでする。

いじめ発見できなかった責任を追求するのは止めてほしいと言うことである

なぜか学校はいじめの解決能力があると思われている。そんなのは幻想である

子供の言うことなんて二転三転して実の親でも聞き出すのが難しいのに子供証言だけでいじめという恐喝罪やら暴行罪をどうにかできたら世話ない。

冤罪危険性も非常に高い。ただの喧嘩なのにいじめられたなどと言って仲の悪い子を陥れるのなんてよくある話。

子供の頃に学校先生に嘘の告げ口をされて怒られた…とかよく聞く話であるが、そんなことしたら加害者が逆襲して教員を陥れる。

なので学校も当然非常に慎重。いじめ発見してもマイナス評価を受ける。加害者不登校になったり、あるいは冤罪でっちあげて学校加害者にされる。

やってないと言われて言い張られるとはっきり言って打つ手はない。

周囲の子供の証言多数決人気投票、回りもみんなぐるなのでまったくあてにならない。

閉鎖された学校で誰から見ても間違いない客観的証拠が見つかるなら苦労はない。水掛け論である

監視カメラがあったって普通の会話や遊びといじめを線引するのは至難の業だろう。

結果、いじめを訴えても証明できる可能性は限りなく低いと思ってほしい。

残るのはいじめっ子と見捨てられたいじめられっ子が残る閉鎖された空間である

診断書ぐらいじゃ話にならない。現場を押さえても遊び・巫山戯だと容易に言い逃れされてしまうのである

学校教員には捜査権も逮捕権も裁判権もない。いじめ発見できたらそれは超能力である。そんな能力人間である教員にはない。

考えもなしに何にでもかんでも学校に詰め込んだ結果がこれだ。

弱肉強食の檻の中に閉じ込めて逃げられない。そう思い込んでいる。

いじめられたら逃げろ。不登校になれ。学校なんていかなくていい。

学校本来目的である学習塾に立ち返る。少年院仕事はやめよう。

http://d.hatena.ne.jp/shi3z/20170216/1487200968

バグのないプログラムを書くことは理論上は可能である(http://d.hatena.ne.jp/shi3z/20170216/1487200968)

なにいってんだこの人は。ドヤ顔で知性があることをアピールでもしたいのか。

バグのないプログラムを書くことはできないのか?難しいかもしれないが、十分に気を付けていれば防げるのではないか?」

の問に如何に回答するかの話題なのに。

この人はプログラムの分からないおっさん

バグのないプログラムを書くことは理論上は可能である

そのためのツールノウハウもある。

それを定理証明支援言語と呼ぶ。」

かいいんだすんか。

http://anond.hatelabo.jp/20170215111309

個人的にはこの辺の話でコストと折り合いつけて、どのへんにしましょうかって話し合うのが正しいと思う。

理論上は可能とか、ツールもありますよとかいいだしたら、何でそれやらんのってなるじゃん。

んでやらない理由説明するじゃん。

じゃあ無理なんだねってなるじゃん(このときおっさんは無理な理由理解できない)。

でもそれって話を一旦発散させただけじゃん。

おっさんからしたらわけわからんこと言われて、結局なにも解決せず、ただ何もわからなかったが無理なのかってなるだけじゃん。

はっきりいうとこの人は仕事できないと思う。

少なくともプログラムの分からないおっさん定理証明支援言語かいい出すやつは仕事できない。

相手視点に立てていないし、落とし所も考えず、知識をひけらかしてるだけ。

http://anond.hatelabo.jp/20170214114736

 http://d.hatena.ne.jp/shi3z/20170216/1487200968

定理証明支援ができても――、

定理の間違いは正せない。

証明自体プログラムにはできない。

・それ以前に支援プログラム自体の間違いも正せない。

ASプレイ理想的な事を確かめられたとして、ゲームのものを作るのとは全く別、みたいな気がするんだけどどう?(笑)

 仮にAIを使った直感系を応用して定理プログラムのものを構築するとの主張だとしても、それはディープラーニングが100%ではないと自分エクスキューズしてるよね?

CoqもAgdaも前提となる定義存在した上で、そのコーディングや飽く迄も定義の上で成り立つ定理支援しか過ぎない。

 我々は必ず間違うし、間違えないものはそれを正す方法も決して学習しえない、なぁんて思うんだけどなぁ。

はてなも質の悪い新規が増える時期を迎えて随分たつよな。

最近だと昔質の悪い新規だったのがくっだらん仲間意識を持ち出してコミュニティ形成しだしてる。

コミュニティの誰かがクソみたいなブクマすると即座に☆が飛んでくる酷い有様になってきてブログ互助会だけでなくはてな全体が汚染されてきた。

この状態になってもすぐ滅びるわけではないってのは今までネットにいくつも生まれては衰退したサービス証明しているのでその点は安心していい。

だけど一度バカに見つかってバカ同士が傷の舐め合いをしだした状態から元のユーザー中央値IQ100が保証されているサービスに戻れるわけではないこともまた歴史証明しているのである

悲しいねえ。

2017-02-15

http://anond.hatelabo.jp/20170214114736

こういう証明はどうだろうか?

if文による条件分岐(TRUEかFALSEの2通り)が1つのさなソフトウェアでも1万か所くらいある。(switch/caseやfor文などもアセンブラレベルでは条件分岐だとみなせる)

パターン組み合わせは2の1万乗(2の32乗で既に約43億通りなので10000乗で・・・? これはもう計算できないくらい大きな数)

1つの条件分岐テスト検証に1秒かかっていたとしてテスト完了する頃には宇宙歴史が終わっている。

これだけの組み合わせがあって一つも間違いがないことを証明することが人類にはできるのだろうか?

2017-02-14

子宮チンコが入らないという嘘

もしチンコすら入らないなら赤ん坊が出てこれるはずがない

お前らのチンコ赤ん坊の頭よりも太いのか

はい論破

論理的思考力の証明

http://anond.hatelabo.jp/20170214114736

組合せ爆発のおねえさんの動画を見せた上で

ソフトウェアの複雑さも爆発するとしたうえで

全てをテストしてバグがないことを証明する為には宇宙歴史を超えるほどの計算量が必要現実的には無理と説く



https://www.youtube.com/watch?v=Q4gTV4r0zRs

http://anond.hatelabo.jp/20170214114736

ないことの証明はおそろしく難しい。

悪魔の証明という話をしてやるといい。

http://anond.hatelabo.jp/20170214114736

ダイクストラが、1952年から20年間PGやって思うことがエッセイになってる。

The Humble Programmer

https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html

Humble 謙虚

 

後半部

管理可能イケてるプログラム設計実装 6つの方法

I now suggest that we confine ourselves to the design and implementation of intellectually manageable programs.

 

3つ目。プログラムの正しさについて。

Argument three is based on the constructive approach to the problem of program correctness.

 

プログラムテストすることは、有効テクだ。

Today a usual technique is to make a program and then to test it.

 

テストバグを見つけるのに効果的だ。

But: program testing can be a very effective way to show the presence of bugs,

 

しかし、バグが1件もないことを証明するにはテストでは不十分だ。

but is hopelessly inadequate for showing their absence.

 

 

 

 

状況は50年たっても変わってない

2017-02-13

マリアンヌ☆☆

バタ

予告編って72時間証明しろって言ってなかったっけ?

前半は好き。あとあの主人公の人鼻の穴が2つ空いてるように見えて少し苦手。

総評

パンツが見えなかったので星2つです。脱ぎかけが見えた気がしないでもない

http://anond.hatelabo.jp/20170213153736

保育士の充足率が足らないことを証明すれば十分ですか?

充足率100%でも現場労働環境・保育環境をよくするためには足らないとも言えますし。

そろそろ「スタート平等」は万能じゃないことを認めようよ

よーいドンでスタートしたら

自分がどれだけ負けまくるか

学校で嫌というほど経験しただろう

 

社会人になってそれを忘れていないか

スタート平等をあまりにも求めすぎている

スタート平等にしたところでお前も俺もグズはグズなんだよ 

 

別に競争に負けたのは誰のせいでもない

よーいドンと、数秒スタートがずれた程度で負けたんだよ

スタートを合わせても結果は大して変わらない

 

よーいドンを求めるのではなく、その一歩先を考えてみようじゃないか

(もちろんゴールの統一不正解だと歴史証明している)

 

まずはこの問からはじめてみたい

果たして我々は競争することが目的だったのだろうか? 目的を見失っていないか

http://anond.hatelabo.jp/20170213152227

子供は減っていて保育士の数が相応に減っていないのなら「保育士の数が足りてない」は偽である保育士の数が足りないという証明を用意せよ。

ログイン ユーザー登録
ようこそ ゲスト さん