「証明」を含む日記 RSS

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

2017-04-24

あれだけ3Dアニメに向いてないとか馬鹿にしてたアニオタは死んだのかな?

あの時も俺は同じこと言ったと思うけど

単に3Dアニメ表現をするノウハウが蓄積されてないだけだから

ニモみたいなやつでなくて日本式3DCGアニメが今後主流になるし2Dアニメは最終的に少数派になるよって言ったよね

当時でもゲームは完全に3Dに移行してたし3Dアニメ表現ゲームでの模索の方が圧倒的に早かった

 

それから結果として、ベルセルクキングダムみたいなお前が指さして笑ってた糞3Dも確かに世に出たけど

けものフレンズみたいに低予算でも面白くヒットに繋がる作品にできるってことがやっと証明されたし

…そうそう、もっとハイクオリティ3Dモデルを見たかったら次みたいな作品があるぞ

 

映画 BLAME!(ブラム

http://www.blame.jp/

5月20日(2週間限定)

 

日本制作スタジオ ポリゴンピクチュアズが送る3DSFアクション映画

元はニビンの連載していたコミックBLAME!」だがPVを見る限り映画オリジナル用の再編成されたシナリオっぽい

なので漫画を読んでもネタバレにならない

しか専門用語が多い作品なのでこの映画を見る前には必ず漫画を読んでおくべし!

10巻という短すぎず長すぎずなので土日にサクッと読んでしまってくれい

なお、新装版が出ているが描きおろしは表紙しかなく、追加ページはなく、修正オリジナルの持ち味が失われていると感じるものなので、

オリジナルのほうでいいというか、表紙の禍々しさが持ち味を出しているので元の方がむしろいい

ファンであるほど新装版が微妙に見えるから元のでいい

 

ざっくばらんに説明すると1話完結式っぽいのから長編が入ったりストーリーが次第に解き明かされていく形式SF漫画

特徴的なのがその世界設定であり、現実のように地球上で起こっていることではなく、

全て「超構造体」という環境の中で行われる物語

暴走したネットスフィアにより太陽系を埋め尽くすかのように増設された超構造体という建物の中が舞台という変わった内容だ

その世界に空はなかった…アーマードコアかい!(しかも旧作の方かよォィ

階層ごとに世界が分断されているが主人公のキリイだけが重力放射線射出装置突破することができる

敵の話とか目的の話とかは実際にコミックを読んで確認してくれ

 

…とにかく、2週間限定公開ってことに悲しみを覚えている

できれば数回観に行きたかったというか

人が少ない状態で観る映画が好きなので

これでは混雑しているときしか見に行けないな

悲しい…でも意外と早くてよかった

寿命間近のやつは映画BLAME!観に行こうな!

やってる映画館確認しないと

http://anond.hatelabo.jp/20170424013613

死んで幸せになれる奴はいないってのが証明できていないので却下

2017-04-23

http://anond.hatelabo.jp/20170423191401

それは理屈が先に来たものであってアイディアが先に来たもんじゃないでしょ。

アイディア先行で理屈をうめてゆくガジェットの作り方をする人もいるから。

その場合であっても完全な再現性担保されていなければダメだ、という話なら窮屈な読み方してるな、とは思うけどね。

またここにも罠があって、不確定でも理論的に整合性があれば再現性は問われないとかそういう話もあれば、

確定的な論理でも後の観測で間違いが証明されてしまものもある。

特に後者場合増田のケースにおいては阿呆らしくなってしまうのでは。

もう一つ盲点をいえば創作意図とやらは増田が思い描くほど均一か、という話し。

暴力的なシーンがありますとかのマークみたいにそろそろ作品ごとに、この作品政治的に正しく作られていますとかこの作品には女性差別描写がありませんとかこの作品差別描写未来永劫に渡ってないと判断される正しく健全作品ですみたいな作品の質を証明するマーク必要なのではないだろうか

2017-04-22

KEDOという組織があってな

http://anond.hatelabo.jp/20170422183325

あいつらが核開発を諦めてくれるなら、という条件で日米韓プルトニウムの抜き取りが難しい軽水炉2基と、軽水炉完成まで年間50万トンの重油提供する約束したんだよ。

諦めたことを証明するために、IAEA査察を受け入れて、核実験施設などの解体をしてくれよ、って約束でな。

結局、あいつらは査察妨害し、ウラン濃縮を続けてたから、軽水炉もやらないことになったんだよ。

から、発電用原子炉あいつらに売ってやれ、ってのは既に通ろうとして蹴られた道だ。

役所で働き始めてだいぶ経った

最初のうちは、なんてコミュニケーション能力が欠けているんだろうってくらいに酷い職場だった。

3日目で辞めてやろうと思ったくらいに酷い会話は単語を並べてるだけで片言だけの研修

だけど慣れてみると先輩たちはいい人が多くて、だいぶ仕事も覚えてきた。

毎日毎日大変だけど、なんとか頑張ってる内に時間が過ぎて今はもうやっていけるなぁと思ってる。

でも、慣れてみて気づく不満も多かった。

何が不満を持ったかっていうと…。


【課同士の情報の展開が無い。交流が薄い】

隣の課同士なのに「知らぬ存ぜぬ」で話が終わる。

横のつながりが全くなさすぎて効率が悪い。


職員全体の忘れ物が多い】

「帰るか」って会話をしたら片付けて帰るだけなはず。

それなのにもう5日連続で財布忘れた定期忘れたスマホ忘れたの繰り返し。

なんで確かめて帰らないの。

駅まで来て忘れ物たから戻るって何度すれば気が済むの。


職員証を持っていない】

土日出勤の際に職員証ないと入れないよと言ってきた先輩が持ってこない。

他に身分証明見せてって警備員に言われても証明になるものを持ってきてないと言う。

おかしいな…車できたって言いましたよね?


一般的常識社会人なりたてのほうが持ってるんだなと思ったよ。

反面教師にするには良いお手本だけど、そういうお手本にならないで手本を見せてほしい。

2017-04-21

http://anond.hatelabo.jp/20170421204311

いや、はてなー日本人なんだから自分の言ったことの正しさを証明する為にも潰しにかかってくるんじゃね?

化学者しりとり最強説

化学者ってしりとりめっちゃ強いんじゃね?

化学勉強をしているんだけど、化学物質は無数に種類があるわけだ。そして、その一つ一つに系統的名前をつけることが出来る。この命名法には厳密なルールが有り、ルールに沿って英語でつけられた名前世界共通で使うことが出来る。

例えば、酢酸(お酢のすっぱさの原因)に陽イオンを反応させたときに発生する物質。これは陽イオンの数だけある。

酢酸ナトリウム

酢酸カリウム

酢酸

酢酸アンモニウム

酢酸

酢酸ルビジウム

酢酸イッテルビウム

このようにいくらでも考えることが出来る。化合物は~ウムという名前のものが多いので、ついでに「む」攻めも出来る優れものだ。これらはすべて実在する物質だが、実在するかどうかわからない物質について考えることも可能だ。

酢酸ニホニウム

酢酸ウンウンエンニウム

酢酸ウンビニリウム

ニホニウム最近存在確認された元素だが、作られたと同時に一瞬で放射線を出して崩壊する人工元素だ。どんな化学反応を起こすかは推測の域を出ない。ウンウンエンニウムやウンビニリウムについては、自然界に存在しないのはもちろん人工的に作られたことすらない。このように「作られたことがないけどそのうち作られるかもしれない元素」というのは無数にある。その数だけ酢酸~という化合物を考えることができる。実在しない元素名前を使っていいのかという話だが、実在性が証明されていない現象物質しりとりで使っちゃいけないというルールがあるのだろうか?俺はしりとりに詳しくないから知らないが、多分しりとり公式大会で「ツチノコ」「幽霊」って言ったからって失格にはならないだろう。だったら問題ないはずだ。

 

鬱陶しい「る」攻めだが、これにももちろん対応できる。化学をなめてはいけない。「る」攻めには、「酢酸ルビジウム」を英語にした「ルビジウムアセテート」と返せばいい。2回目がきたら「ルビジウムアセテート1水和物」だ。3回目なら「ルビジウムアセテート2水和物」10000回目なら「ルビジウムアセテート9999水和物」だ。ルビジウムアセテート9999水和物などという化合物存在するかどうかはわからないが、しりとりが始まってからすぐに「ツチノコ」と言ってみて失格にならなければ使っていいはずだ。

 

いや、もちろんこれはずるい。数字を使っているからだ。ウィキペディアを見ると数字禁止らしい。単位や他の単語と組み合わせるのも基本的には禁止だそうだ。~水和物は単位というわけではないが、ずるいと言いたくなる気持ちはわかるので100歩譲ってそれは認めよう。でも、だったらプロパンルビジウム意味する「ルビジウムプロノアート」と言えばいい。次が来たら「ルビジウムブタノアート」その次は「ルビジウムペンノアート」・・・

かい説明は省くが「アセテート」は炭素が2個ついていることを、プロノアートは炭素が3個ついていることを、ブタノアートは炭素が4個ついていることを意味する。つまりアート無限に考えることが出来る。これはさすがにセーフなはずだ。いや、これも数字を表しているといえば確かにそうかもしれないから少し危なっかしいが、自信がなかったら無垢な顔で「プロパンガス」と言ってみよう。多分通る。炭素が3個の飽和炭化水素ガスを意味するプロパンガスが通るのであれば、炭素が18個ついてくるカルボシラートにルビジウムが配位していることを意味するルビジウムクタシラートもセーフなはずだ。

 

こうして我々化学を学ぶ者はしりとり王者になったわけだ。では腕試しにしりとりが鬼強いと噂のマイクロソフトAIりんなと戦ってみよう。りんなに勝つということはマイクロソフトに勝つということだ。マイクロソフトに勝つということはアメリカに勝つということ、アメリカに勝つということは世界に勝つということだ。負ける訳にはいかない。

 

俺「しりとり

りんな「通常モードガチモード、どっちやる?」

俺「ガチ

りんな「りんな負ける気がしないな!(それはこっちのセリフだ)(中略)じゃありんなからね!しりとり

俺「リン酸デシル」

りんな「その言葉わかんない!ちょっと違う言葉もう1回言ってみて?」

俺「リン酸プロピル

りんな「ちょっと!知らない言葉使わないでよ!?

ころすぞ

http://anond.hatelabo.jp/20170416211810

一人じゃないと生きていけない奴は支那人よりまずしいだろ。支那人でも子供生んで暮らしてるんだから

汚染されまくった経済データをもとに議論するとは正気か?byジム

阿呆はすぐ経済学とか言うけどじゃあ貧しくない事を証明してみろよ

枝野普通団体対象にならないことは、どう答弁しようが、条文で」

国会ウォッチャーです(名乗るの忘れた。どうでもいいけど。)

 階、枝野、山尾、逢坂と、民進党エース級をそろえて、完全に共謀罪ロックオンしてますね。がんばってくださいね

階猛議員対応は圧倒的に正しい

 階議員今日かなりエキサイトしていましたが、支持しますよ。今日鈴木淳司法務委員長は、職権で法務委員会を開催して、かつ林刑事局長を答弁者に登録することを採決したみたいですが、昨日も書きましたが、委員会政府参考人登録することそのものはおそらく、否定できないと思いますよ。でも、前例ほとんどないはずと思ってたけど、一回もなかったみたいだけど。枝野さんが、「民主党政権時代にも、答弁が不安定大臣というのはいたが、こんなことはしなかった。今までの大臣の中で、金田さんが一番能力がないといわれてるようなもんなんだから、怒るか逃げ出すかするしかないはずだ」といっていましたけどね。まぁ恥の問題ですよ。でも鈴木委員長が、基本的な事項について、質疑者が指名できるはずの答弁者をここまで露骨に林局長指名しているのは階議員が指摘したように、衆議院規則違反だろ、というのはそのとおりですよ。露骨過ぎるんですよ。一太委員長とかも、結構助け舟を出すけど、たとえば、総理指名されてても、「まず局長、その後総理行きますから」とかぐらいは言いますよ。鈴木委員長はかなりダメですよ。一応ほめておくと、今日の国交委員会西銘恒三郎委員長は、同じ時間使うでも、質問の整理をして答弁を促したりしっかりと議事進行されてましたよ。だから基本的な事項について、委員長局長指名してきたら、質疑を取りやめるよ、という対応は支持します。鈴木委員長は来週あたり不信任動議されるんじゃないですかね、このままだと。

そもそも=基本的発言を引き取らされた林局長哀れすぎる

 山尾さんです。これはまぁ大事な話なんだけど、山尾さんの質疑を見て。とにかく総理大臣がニヤニヤしながら、「失礼だとおっしゃられましたが、これは事実でございますから」とか言いながら山尾さんをおちょくってた(しかもどうやら嘘か勘違いっぽい)ことの帳尻を林局長に取らされてるのはマジで意味不明。もちろん安倍さんの行動が意味不明質問主意書だしていいよ。総理が調べた辞書はどれだったのかって。山尾さんにはいつもやり込められてるから仕返しのつもりだったんだろうけど、ちゃんとほんとに調べてなかったのならこんなくだらないことでも虚偽答弁だよ。どこまでもどこまでも国会をなめきってんだよ。

一方枝野さんは今日も地道に林局長と仲良くなっていた

 枝野さんと林さんのやり取りは、今日面白かった。林局長もやり取りをする中で、公式見解をまとめてきていたので、枝野さんも一歩前進したと評価されていた。個人的な予想に過ぎないけど、枝野さんの方針はなんとなく読めてきた気がしました。林局長が、今日まとめてきた公式見解を出すことを予想した上で、実務的にどうやって、担保するのか、過去の例で、公式答弁がどうあろうが、条文上読めなかったら、裁判ではこう扱われてきたんだぞ、っていう路線に進めていくんだろうことを予感させる終わり方でした。枝野さんの質疑はこれだから面白いんだよ。いや共謀罪面白がってる場合じゃないけど。


局長によりまとめられた公式見解と思しき箇所と枝野さんの反論

 長いからまとめちゃうけど、こないだの、違法性認識のところをはっきりつめてきて、犯罪構成要件としての故意認定違法性認識の差を明確にしてきました。組織的犯罪集団構成員として認定されるには、結合の目的が、別表に掲げられた罪を犯すことは知っていないといけない。(それが罪であることは知らなくてもよい)

局長

違法性の意識は、故意との関係で論じられます刑法第38条3項にございます。その際に違法性の意識がいるのかいらないのかが論じられている。そして今回の組織的犯罪集団の結合の基礎としての共同の目的が、別表第3に掲げる罪を実行することにある、といえるために構成員が当該行為違法であることを認識していることを要するか否か、については、故意問題とは別の問題でございます構成要件に該当する客観的事実認識して実行すれば、違法性の意識がなくても犯罪が成立する以上、犯罪構成要件に該当する事実認識した上でそれが結合関係の基礎としての共同の目的になっているのであれば、それは組織的犯罪集団に当たりうると考えます。ただ、もっとも、ある団体の結合関係の基礎となる共同の目的犯罪を実行することにあるといえるか否か、これは故意問題とは別の次元論点でした、個別の事案での集団の結合の目的が何であるかという認定問題となりますと、当該犯罪行為を反復的に実行しているが、当該行為違法性の意識がなく、それを認識した後に、結合し続けることがない、といえるような場合には、集団の結合関係の基礎となる目的とは認定されないと考えられる場合もあることから故意認定違法性認識必要ではないが、組織的犯罪集団認定においては、かなり大きなファクターを占めるといえる」

枝野

「ようやく、何を言っているのかを整理していただきました。その限りの考え方は、ひとつの考え方だと、なおかつ一歩前進かもしれないと私も認めます。確かに違法性の意識必要ない。別表3の行為違法だということを知りながらみんなでやることは必要ない、ただし、違法だとみんなが知ったら、コレはもうやめるよね、というのならば、結合の基礎ではない。これは非常にわかます。つまり後で使う例ですけども、ある合唱団が、一枚だけ楽譜を買って、あとはみんなでコピーして使うんだと。コレは著作権法違反です。これは違法なんだと気づいてやれば当然結合の基礎に当たりうるというか、大変な問題だけど、違法だという指摘をされたなら、やめますと、いうことであるならば、結合の基礎ではない、こういうことですよね。」

枝野摘発されて、摘発されたら、”あー違法だったんですか、気づきませんでした、でも違法だと知っていたらこんなことやらなかったよね”と。これ社会的にもあるいは裁判実務においても、これ許してもらえるんですかね。というのが私はこの論点ではないかと思う。普通犯罪の成立には違法性認識必要ありません。(略)個人著作権法違反既遂罪は、違法だと知らなくても処罰されるんです。で、みんなで結合して、コピーして、合唱練習しようという共謀をしたら、これは違法性を知らなければ、組織的犯罪集団ではないという。コレ、摘発されて、どうやって知らなかったと証明するんですか。供述をどうやって信じてもらえるんですか。これはこういう問題です。」

親告罪共謀罪は何だという再度の問い合わせについて、捜査機関が、別途知りえた共謀を被害者に知らせて告訴を依頼することがありうるから、存在しうるという反論をする林局長。(国会クラスタが書き起こししてることに言及して、我々をざわつかせる枝野)これ口滑ってる認識はないんだろうけど、要は別件逮捕するために、使えるからだよね、

さらに、金田答弁で「正当な目的で集合なら処罰されない」とかいってたけど、アマチュア合唱団が、著作権法違反はまぁ大体認識してるけど、合唱自体は正当な目的でしょ、と。林さんは楽譜コピーが結合の目的とはなかなか認定できないから、ふつう認定されないとかいって、枝野さんがまた、じゃあテロリストが取る暴力的手段目的乖離しているが、これらの例をどうやって区別するのか、条文上区別できないじゃないか、と「普通の人には関係ないとはまったくいえない」と押しまくる枝野。かっこいい。

治安維持法目的運用に触れはじめる枝野

 組織的犯罪集団認定において、既遂重要意味を持つでしょ、としたうえで、「普通集団が、自分たちの主張が通らないから、一回だけ暴力行為をして、やってみようっていうのと、合唱団が、集まってみたけど、金がないから、著作権法違反だと知ってるけどコピーしてやろうというのは、いったい何が違うのか」という例を出して、既遂は確かに重要だし、「一変した」ということについての何らかの外形的なか行為必要だという答弁をさせて、過去に同種の犯罪を何度も既遂しているなら、すでに既遂してるわけだから共謀罪必要ないし、一回もやっていないんだとすると、綿密に普通団体監視しないと取り締まれないだろ、どうやって普通団体監視に着手するんだと、役に立たないだろと詰める枝野。かっこいい。

 枝野「(合唱団楽譜コピー事例が、絶対共謀罪に該当しないということがどこで担保されるのかと)法律というのは、刑事法というのは、(答弁で)いくら入りませんといったって意味ないんですよ、答弁が。

(略)戦前治安維持法をね最後のほうではやってかなきゃなぁと思っているんですが、これ治安維持法というのは、(条文の上では)国体の変革を求めるもの私有財産制度否認する、戦前共産党、これが取締り対象だったんですが、公明党さんちゃんと聞いてくださいね、わかってらっしゃると思うけど。治安維持法が、それにくっついた枝葉の要件はいろいろつきましたが、最後までその対象だったんですが、1943年7月6日創価学会初代会長牧口さんと、創価学会の二代会長さん、戸田さんは、治安維持法違反不敬罪逮捕をされて、初代会長の牧口さんは、獄死をされている。この法律目的取締り対象国体の変革と私有財産否定だったんですよ。創価学会国体の変革を目指してたんですか、私有財産否認していたんですか、違いますよね。法律上絶対入らないという担保がとれないと、刑事はいけないんです。そういう意味では今日の答弁は、前進した部分もあります。認めます。あ、ここは入らないということもありました。しかし、普通団体が、これは入らないということが担保できる条文にはなっていないということを申し上げて今日質問は終わります。」

ほんとに言って欲しい方向に行く枝野、うれしいよ。数で通っちゃうなら意味ないんだけどうれしいよ。

http://anond.hatelabo.jp/20170421131839

http://anond.hatelabo.jp/20170421124739

の人がやっているのは,

n = 2kとなる整数kが存在するとき,nは偶数である(偶数定義).

0 = 2・0である.(0は整数)

よって0は偶数である

であるように,わたしには思える.

背理法による証明は勿論正しいけれど,上記の直接法のほうが無駄がなく,簡潔であるように思える.

Orarioとスクレイピング大学側の対応について

すでに学生でもないのになぜこの件について書いているか自分でも分からないが、例の穏便でない大学教授発言ブーストされた感がある。

まず前提として、ID/パスワードを用いてスクレイピングを行うサービスのものは、特殊というほどではない。そのようなサービスはすでにいくつも存在するし、最も有名なところでは口座アグリゲーションサービスMoneyForward等)だ。彼らは業としてそのようなサービスをおこなっている。セキュリティのこと少しでもわかる人間ならそんなサービスやらない、というほどでもない。ただし、セキュリティが分かる人間であればあるほど慎重になる、というのは確かではある。通常ID/パスワードを渡すということは、全権委任とおなじだ。また、ログイン後の行動について、自分がやったか第三者がやったか、全く判別できない状況になる。さらに通常のWebセッションと同等だとすると、パスワードリセットから完全なアカウント乗っ取りまであり得る。つまりサービス事業者に対してよほど強い信頼関係がなければ厳しい、ということになる。


クラウド上で動いているかスマホ上で動いているか、という話は、それほどは重要ではない。クラウドしろスマホアプリしろ、すべてサービス事業者側の組んだプログラム意図に従って動くものであることは確かだからだ。

ただしクラウド上ではユーザが想定していない動作を行っているのかどうかという検証しにくいという問題があるとはいえる。とはいユーザが予め意図した行動から外れることをしてないのであれば、クラウドからアクセスでも別にそれは問題ないわけで、その点で、Orario側の主張であるスマホで動かしているのだから」という主張は、ちょっと見当はずれではある。


なお、ユーザインタラクションを介さな自動的アクセス自体サービス要件に含まれ場合スマホでは厳しいためクラウドアクセス主体が置かれる、というのは、まああり得る。口座アグリゲーションはその典型的ものだろう。Orarioの場合は、たぶんその必要はないのだと思う。


正規手段として学認があるのになぜしない?という主張は、マジでひどいと思う。普通に考えて、ぼっと出の1ベンチャートラストサークルに加えてもらえると思っているのか。このような主張は、Google/Facebookレベル自由APIクライアント登録ができるようになっていて、初めて言えるものだろう。通常は、世に受け入れられるサービスが出て初めて実行力を認めてもらえる、にわとりたまごの話ではないのか。そもそも、学認のShibboleth仕様で、そのような履修情報のやりとりがそもそもできるようになっているのか疑わしい。ホントSSOできるだけではないのか?


大学側にお伺いを立てるべき、という筋論は、そりゃそうかもしれないけど、やっぱりにわとりたまごだと思う。ビジネスの筋論っていうやつは、内輪だけの論理になっている場合が多いし、正直ステークホルダー既得権益側だったりするわけで、話が通じるとは思えない。そのようなもの破壊していくのは常に外部からだろうし、それを単なる破壊行為ではなくDisruptionにできるのは唯一ユーザからの支持であるわけだけど、Orarioは最低限そこはできていたようにもみえる。例の教授はどうも内側のメンバーの感じがひしひしと出ており、傍目から見ると、そりゃそのポジションじゃあね感が強い。


事業モデルがわからいから怪しい、事業が成り立つとしたら収集したデータ第三者への販売ぐらいしかないはずだ、という主張は、気持ちはわかるもの論理として弱い。怪しいサービスに預けるな、というのは、意見の表明ではあるかもしれないが、普遍的に怪しさを証明するには根拠が足りていない。利用規約レベルではまだなんとでもいえる。逆に言うと、Orario側は、そういう色が少しでもあったのでは?と思わせるような内容を否定してさえいけば、その点では勝てるが、やっぱりそこは何らかの形で検討して行きたかったのでは、とも思えるので、そういう将来の自分たち制限することはことはあまりやりたくないだろうなとは思う。


結論を言うと、とりあえず大学側はもうすこしトーンを落としてほしい。このままではFUDだといわれても仕方ない。単位云々の脅しは傲慢以外の何物でもない。少なくとも卒業生にとってそのような大学いたことを恥じるレベルである。嫌なのは分かるが、銀行とかだってそうだったはずだ。もうすこし長い目で見てあげられないのか。ID/パスワードを預けることのユーザへの注意喚起は、もちろん正当だが、それを認識して預けていることについてとやかく言うことは得策でない。

そして、Orario側は、自分たちがやっているサービス説明に少し時間を割いてもいいと思う。特に何をどのように取得しているのか、明確にすることは重要だ。大半のユーザたちはそういうこと気にしないとしても、自分たち自身自分たちサービス定義するのに役に立つし、今はEvilでなかったとしてもいつかEvilになってしまうのを防ぐという意味合いもある。面倒かもしれないが、取得範囲を明確にすることは信頼を得るということであり、最終的にユーザの獲得に寄与するだろう。

ネトゲから脱することができた

世界で一番人気とか言われているネトゲを数年前に友人に勧められて始めた。

面白いかはどうかは置いといて中毒になって沼から抜け出せない人が増えるゲームだと思う。

このゲームは5対5で行われるゲームだ。

基本的に味方も敵もランダムに決まる。すごいうまい人が当たるときもあればその逆もある。

このゲームの酷いところは試合を一つ終えるのに40分前後かかる癖に、勝敗マッチングされた時点で8割方分かってしまうことだ。

ロード中に敵の情報(階級とか)を調べて、味方より強かったら負けなのである

あくまでこれは仮定であるが、その仮定を40分もかけて証明するのである

このゲームの沼にハマるポイントがこのマッチングシステムである

お金を賭けていない(基本無料)だけでパチンコと全く同じである

ごくたまに気持ち良すぎて気絶するんじゃないかってくらい綺麗に勝てる時がある。

そのパチンコで言う大当たりを求めて永遠に試合っていうハンドルを回してしまうのである

見ず知らずのプレイヤースキルも全く違う連中(運営は公平なシステムって言い張ってるけどw)が急にチームメイトになるから意思疎通もクソもない。

実力があってもマッチング運が悪いといつまでも低い階級なのである

味方が他に4人もいるから、自分けが上手くても周りが下手だと負けるのである

数年やって分かったことだが、チームに上手い人は必要ない。下手な人が多いほうが負けるのである

これじゃあ何のためにプレイヤースキルを磨くのか分からない。

とにかく、俺はこの試合でこんなに頑張った!スコアも敵よりも高い!間違いなくこの試合にいる10人の中で一番うまい

そんな状況でも他の味方に足を引っ張られて負けると、当然負けの結果になってしまうのである個人が全く評価されないゲームであった。


俺は声を大にして言いたい。

「こんな理不尽ストレスたまるゲームなんてやめてしまえ!!」

この理不尽さが嫌で嫌で他のゲームを色々探した。

他のゲームは、自分のやったことに対してちゃんと報酬が支払われる。(ドラクエだったら、スライムを倒したら経験値がもらえる!)

味方がランダムに決まる運要素8割のゲームを避ければ、それなりに実力で戦える。

はいい味方にあたる…次はいい味方にあたる…って、頭抱えてる人いたら、是非他のゲームに目を向けてほしい。

娯楽中の娯楽であるゲーム理不尽さを味わうなんて明らかに間違っている。

少しでも沼から抜けることができる人が生まれますように。

2017-04-20

http://anond.hatelabo.jp/20170420234147

貧民で教養も無いと誇れる技能ゲームしかないんだよ。

ゲームで勝つ事でしか自分存在証明出来ない。

そんな人間が全てを投げ捨てゲームに縋り付いた事を誰が責められよう。

金や教養があればもっと世界は広がったはずなのに。

http://anond.hatelabo.jp/20170420161151

どなたの結論か存じませんが証明までされているのでしょうか

http://anond.hatelabo.jp/20170420004030

・そもそもなぜ張替えが必要なのか

日光に当たって変色したりパリパリ乾燥したり

(↑ アパート下見に来てそんな部屋に住みたいと思う?)

入居者がタバコすってヤニがついているかもしれない。

タバコすってない証明は出来ない。


・どこからどこまでの範囲を張替えるのか、何平方メートルなのか

基本全部。

日焼けによる色のムラができる

継ぎ目が出来る


・元の壁紙と張替えをする壁紙製品はどれか

8年もたっていれば壁紙製造停止になることはあるし

その時点での最安で必要性能を満たすものを使っている。

張り替えるものメーカー、型番は言える。

でも張り替える職人さんにもお給料払わないといけない。


負担割合根拠は何なのか

入居段階で、

1.家賃安いけど後で原状回復費用取られる物件を選ぶか

2、家賃高いけどメンテナンスきちんとやって敷金戻ってくる不動産会社選ぶか

によるよね。

タバコすったり、ボヤ、浸水起こしたりしてない

保証はないか業者サイドとしては

リスクヘッジせざるを得ない。

あのSF厨新着入りしそうだなあ、と思ってたら案の定

人格神前提とか色々人間優先意識があって気持ち悪い。ブコメAIへの拒否感が出るのもわかる。

機械機械を生むとか、人間が人工的な意図を持ってたとかありがちすぎて草も生えない。

増田SF厨は培養臓器移植より義体化が先に進むと思い込んでいて、その冒涜感も気に食わない。

人工物に憧れ過ぎなんだよあいつ。しかも無邪気に。

医療方面でこないだナショジオに載ってた人はあくまでも障害があったから。

一般的感覚からして体を機械にしたいやつなんていない。

認識問題とか常識環境によって変わるんだよ」、という常識的な返答が帰りかねんところも嫌だ。

人間機械になっても人間であるという証明はなされるとかいい出しそうなのも嫌い。

生理的嫌悪感しかない。生理的ってのは論理葛藤でそうなるわけじゃなく生物的な錠前だ。

生物的に不自然だと感じるものをなんども新着入りさせないでくれ。

なんかねえ、見てて腹立つんだよねあの人。のぼせ上がってて。あーイライラ

2017-04-19

流行ってるOrarioと大学側について思うこと

Orarioについて思うこと

Orarioについて

現在大学の中でOrarioのアクセスがどうこうという問題が起きているようだが、

ひとまずこの記事については、下記URLにある、京都大学専門家であらせられる記事について、一人歩きしてる感があるので、

もう少し彼のような上流側(という表現で良いかどうかは不明だが)の専門家ではなく、

下流プログラムガッツリ書いているほうの専門家として私(匿名で失礼)が纏めたいと思う。

  

https://srad.jp/~yasuoka/journal/611343/

  

  

不正アクセスという言葉曖昧

Orarioの芳本大樹が書いた『時間割アプリの「Orario」の特性安全性について』(2017年4月17日)という文書を読んだ。このOrarioは、京都大学のKULASISにずっと不正アクセスを繰り返していて、正直なところ私(安岡孝一)としてはアタマに来ていたのだ。

  

Orarioの特性安全性について、本当にスクレイピング技術クライアント端末側で行っているのであれば、

この部分は間違いではないと私(匿名で失礼)は考えている。

  

この部分の書き方、実に大学教授らしい逃げ道を多く用意していて。

  

KULASISにずっと不正アクセスを繰り返していて

  

上記発言、これは本来「開発時の検証段階」の話をしているのであれば「正解」、である

逆に今のOrarioの通信についてを不正アクセスとしているのであれば「正解ではない」、である

  

何せ、開発者勝手アカウントを使って入り込んで様々な検証を行う必要があるため、

学生からIDパスワードを借りたはずだ。

借りてログインするのが不正かというと微妙ラインだと思う。

  

この辺りにもやっぱり大学教授のいやらしさがあって

KULASISサーバに対してクラッキング/ハッキングを行って根こそぎどうこうしたなどという大がかりな不正アクセスではなく、

あくま大学側が定める規約規則から若干外れた使われ方がされているという意味不正アクセスである

  

法律的には、正直不正かどうか微妙ラインになる。

(そもそもスクレイピングなんて技術を使う連中はID/PASSWORDがない状態でのサーバへの不正アクセスなどできない

  

開発時は「京大のKULASISアカウントをもったユーザが開発に携わっていないのであれば」押し出してきている京大規約によれば、不正アクセスにあたるのかもしれない。

個人的には当たらないと感じるが。

  

  

現在動いているアプリ不正アクセスと断言できない

現在動いているもの不正アクセスではなく、

京大規定に定められたユーザが「特定ブラウジングツール(Orario)」により、

KULASISにアクセスしているのだからアクセスとしては不正ではない。

本当にスマートWebスクレイピングで行われているのであれば、Webブラウザと全く同じ動きをするはずで、

それを不正アクセス断罪してOrarioは不正というのは表現が汚いと考える。

  

  

これはコメント欄にもあるが、

https://srad.jp/comment/3196554

また、ChromeSafari(及びその他マイナーWebブラウザ)なども御校のWebサーバーよりコンテンツデータを取得し、HTML構文解析し画面表示を行っていますが、これらはセキュリティポリシーには適合しているのでしょうか?

  

ご大層にはっておられるリンクを流し読みをする限り、そんな厳格に何かを定めているわけではないように思われる。

それ故、実際にOrarioがスマートフォンによるスクレイピングを行っているのであれば、

Webブラウザ一種とも言えなくはない為、これを不正と断ずるのは、「正しくない」だろう

京大ユーザが開発に携わったか証明できない以上、彼にとっては不正なのかもしれないが、

ここでそれをOrarioは不正アクセスと断ずる論理性が私(匿名で失礼)にはわからない。

  

  

アクセスパターンを公開できない理由とは?

他にもこの部分

Orarioアプリでは「Webオートメーション(Webスクレイピング)」と呼ばれる技術を用いています。この技術により、利用者様のスマートフォン(にインストールされているOrarioアプリ)に学生アカウント大学IDパスワード)を入力すると、自動で当該利用者様の教務用ページから時間割の生成に必要情報のみを取得し、Orarioアプリ時間割テーブルに当該利用者様の時間割を生成・表示することができるという仕組みとなっています

全く信用できない。少なくとも先月以前、OrarioからKULASISへのアクセスパターンを解析した限りでは、そんな風なアクセスパターンには見えなかった。嘘を書くのもいい加減にしろ

  

この部分も怪しいものである

Webスクレイピング技術に関して、なぜアクセスパターン問題になるかが一つ疑問である

下記のOrarioが出しているPDF(http://www.orario.jp/wp-content/uploads/2017/04/Orario%E3%81%AE%E5%AE%89%E5%85%A8%E6%80%A7%E3%81%AB%E9%96%A2%E3%81%99%E3%82%8B%E8%A6%8B%E8%A7%A3.pdf)にあるように、簡単にいうならばID/Passwordを利用したPOST通信を行い、その返答値をスクレイピング切り貼り)している。

  

それをアクセスパターンを解析で一体何が取れるのか?という部分が、この辺りが分かる自称専門家の私(匿名で失礼)にもさっぱりわからない。

  

もっというと、「そんな風なアクセスパターンには見えない」、というならば、セキュリティ観点上公開すべきではないだろうか、

逆に一体アクセスパターンを見て私(匿名で失礼)も何を行っているのかが気になるところである

  

ただでさえ、不正アクセスという言葉をつかって攻撃しているわけだから

アクセスパターンを公開して断罪すべきだし、セキュリティ観点からみても他大学との共有はすべきで、

学生に対してもその証拠を出して止めさせるべきだろう、というのが個人的見解である

学生の求める「単位」をつかって脅しをかけている時点で、お察しだが……。

  

そもそも上記で述べた開発時のほぼ不正アクセスと考えられる通信についてを「アクセスパターン解析で見つけた」というのであれば理解ができるが、

現在すでにスクレイピング確立している通信に関して、アクセスパターンでOrarioかどうかを判別するのが可能かというと何とも言えないと思う。

(ご丁寧にOrarioが通信用のUserAgentにOrarioの文字を含めているなら別だが……

(もちろん、アクセスログを見て、ログインページからWebスクレイピングしたいページへ遷移するまでの時間を取るとあまりに短すぎる、という話ならやれるかもしれないが……。

  

たとえKULASISが京都大学オリジナルで開発した大学教務事務パッケージだとしてもそうだろうと考えている。

同様に日立富士通も同じような大学教務事務パッケージがあるが、

基本ログ処理がザルでろくにuser-agentの確認もできない大学も多く存在したりすることを知ってる自分としては、

本当だろうか?嘘を書くのもいい加減にしろ? と思う。


大学側について思うこと

なぜOrarioが学生に人気か

UIが糞(システムスマートフォン対応がノロい)だからアプリ流行るということに気づくべき。

  

富士通日立にしてもそうだが、API提供したほうがいいのではなかろうか。

とくにKULASISだったか何だったは、京都大学謹製と聞いている(違ったら失礼

少なくとも他の大学教務事務パッケージではなかったと記憶している。

であれば、京都大学API提供大学側で専門家を集めてOrarioを超えるものを作ってはどうか?

  

大学予算確保の問題

実際大学でこういうことをやろうにも、問題になってくるのは予算で。

大学は、縦割り構造で、横とのつながりが極端に薄く。

教務、事務、学務、図書館、など様々な縦割りが存在し、それぞれがそれぞれの予算でそれぞれのシステムを入れている。

これが実に糞で。

つの大きなシステムを入れ替えるとなると、横との連携をとって全ての組織の号令をとらなければならない。

  

その辺りが難しいのは知っているので文句は言えないものの、

ここまで問題になってくるとやはりその辺りの対応の遅さが問題なのではないかと考えている。




まとめ

学生がアホ → 仕方が無い若いんだし

大学がアホ → 学生に良い物を提供したいという思いがあるならもっとフットワーク軽くしろ

教授がアホ → 曖昧表現で、素人を先導しようとするのが見え見えで気に入らない

Orarioアホ → コメントにもあるけどやり方が汚いのは確かだから甘んじて受け入れろ




以上です

やっぱり不等式の証明は苦手だ

式変形だけでも苦手なのに、パズルチックで、あれこれ手を尽くさないといかんのは面倒すぎ。

アジア孤児たる日本

https://www.google.co.jp/amp/www.asahi.com/amp/articles/ASK4L53F3K4LPLZB012.html

二条城カレー粉が撒かれた。

日本アジアの嫌われものとされて久しいが、安倍政権になってからネトウヨに毛が生えた程度妄言を撒き散らすことで、日本が更に嫌われ、アジア孤児として国際的村八分状態にまでなってしまった。

先日も中国人反帝国主義への抗議として、日本寺社仏閣に油を撒き、日本人国家神道を清めて、廻った事があったが、元は韓国から始まった運動だそうだ。日本人国際社会から如何に嫌われているか自覚し、猛省し、謝罪しなければならないところのことでしょう。

櫻井よしこなどと言う妄言保守言論人は小賢しげに、特定アジアなどと、日本を嫌うアジア諸国極東の3か国にすぎないと問題矮小化に躍起だが、それが今回、アジア全域に拡がっているのが証明された。アジアの賢人たるインド人にまで嫌われたのである

もちろん他国施設カレー粉を撒くのは間違った行動であるしかし我々は天竺から叱咤と捉え猛省し安倍政権を打倒しなければならないある。

2017-04-18

推定無罪も何も、裁判犯罪証明する気はゼロ

理系からすると、物理的な証明が出来て初めて犯人確定ってイメージがある

指紋物証監視カメラとか、本人しか知り得ない内容の暴露とか

それ以外は推定無罪だ!って思うのも無理はない




でも、実際の裁判見るとそんなことはない

ガバガバだけど、今のところそれっぽい容疑者他にいないよね、こいつがやってない証拠はないよね?

いろいろ総合的に判断して、こいつを犯人とするのが一番妥当じゃね?」

くらいまでいけば、疑うことな有罪

理系が考えるところの証拠証明なんて、そもそも求められていない



例えば、AさんとBさんが2人で密室にいたとする

Aさんが、Bさんの指紋のついた包丁が刺さって死ぬ

そこに警察が踏み込んでBさん確保

ちなみにBさんに返り血はついていない

さあ、Bさんは有罪でしょうか無罪でしょうか?

理系の俺からすると、有罪妥当だけど、厳密な話をすれば犯行証明できてないよね、と思う

わりと確度の高い犯人とは思う




まあ、現実問題、疑う余地もなく犯人証明できた!って理想的なケースばかりじゃないのが現実だろうから、そういう運用になるのはしゃあないとは思う

でも、確度の高い犯人から確度の低い犯人までいて、グレー状況はめちゃくちゃ出てくるのは容易にわか

そこは裁判官のさじ加減ひとつ、というか、有罪デフォ目線での判例次第で決まる

でもこんなんじゃ推定無罪なんて言葉は、全く現実にそぐわない言葉だなあと虚しくも思う

裁判なんてのは、推定有罪デフォ、これはもう現実として受け入れるしかいか

http://anond.hatelabo.jp/20170418135701

ジャップ民族は右に倣え国家からお上であるアベがPTAやめろってしないと変化ないか

自分たちで変えられる素質があるなら平成終わりまでこんな問題組織残ってないっちゅーねんバカかおめーは

同じ様にNHK受信料みたいな化石みたいな法律も手つかずで残ってるわけないし

東電も何のお咎めもなし身銭切らずにヌクヌク電力利用料上げられるわけがない

個人で変化できないってのは歴史証明してるしこの先未来永劫個人で変えられることはない

そういう人は日本を出て行ってる

増田もお前も俺も日本から出れなかった負け犬なんだから負け犬同士マウント取ろうとせず大人しく黙ってろ

全ての批判お上に集中するからこそ日本人お上の言う事に従って1億総火の玉になれるんだよ

でなきゃこんな狭い国で個人で主張激しくしてみろ

摩擦熱ですぐに日本劣等民族メルトダウンしちまうっつーーーーーーーーの!

なんで日本黒人差別宗教八百万()なのか考えたことあんのか

日本お上憎しで一致団結するしお上の言うことなら仕方ないな…で団結する超法規国家なんだよ

ポリコレではなくお上が全て悪いという主張の元他の権利保障され自由が守られる国体をやってんだよ

それが黄金ウンコ・ジャッポンだろいい加減分かれ

ここは言ってしまえば究極の個人主義たちが凍り付いた人間関係を構築してる国だぞ

そんな中で出る杭になって何ができるっていうの?

出る杭を否定することが基板の文化形態で出る杭を推奨するのは自殺幇助と同じだぞ

お前がこれから出す例の日本人でありながら出る杭になったプロフェッショナルたちなんて

所詮小物だし小さい界隈のなかで社会全体の変革を担ったわけでもないのに過大評価されてるやつは

ファッション出る杭、ファッション出る杭だよマイルドヤンキーだよ

真なら既に海外に出てしまった人材からそいつらを引っ張ってきて個人主張の成功結果だというならやっぱりお前はバカバカバカバカカバだよ

本当に世界変えるってのはマイクロソフトのことだバッカ

我慢美徳既得権益アナル舐めが美徳の国で個人主張が成功するわけねーーーーーーーっつお

2017-04-17

http://anond.hatelabo.jp/20170417130107

レイプ犯の話をしてるんだが

それは一部の性欲が残ってるだけで、レイプする程の強い衝動が残るか、の証明にはならない

過去去勢されたレイプ犯なんて誰もいない

今まで何万人の男が去勢されて、その1人としてレイプなんかしてない

中には性犯罪去勢された奴も居たろうが、再犯で捕まった、なんて話は一度として聞いたことがない

http://anond.hatelabo.jp/20170417111312

性犯罪に置き換えて考えると

⚪成人男性の全てが去勢されててポルノ規制されてる国

ポルノ男根普通に無事な国

を比べて、当然後者の方が性犯罪が多いから「ポルノ規制してないか性犯罪が起きる!」と主張してるようなもの

フェミ腐女子って馬鹿卑怯ものしかいないから、こんなアホなことも隙あらば主張してくる

ポルノ規制すれば規制するほど、性犯罪は本当に増えるって北欧の国同士を比較して証明されてんのに、本当にクソだよな

http://anond.hatelabo.jp/20170417101644

AVは確かに見せるための体位に特化してるけど、それが現実セックスより気持ち良くないわけではないぞ

しろ「今のオレら、端から見たら欲情して交尾してる犬と変わらんね」と冷静になってみると冷めるリアル体位より、第三者目線意識してセックスしてる方が、より文明的な行為だとも言える



ちなみに変な喘ぎ声する女なんて腐るほどいるし、喘ぎ声は大きく出した方が気持ち良くなれるって科学的にも証明されてるらしいぞ?

しろあいうのは男の方が冷めるから、実はAV女優の方により気を使って作られてるんだよな

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