まつど
- いいね数 102,851/144,366
- フォロー 1,895 フォロワー 2,964 ツイート 80,115
- Web https://scrapbox.io/education/
- 自己紹介 批評とアニメ好き/ラノベ・漫画積読リスト http://scrapbox.io/lightnovel/
2017年08月26日(土)
画像処理により「左上座標の候補が(0,0,0)となる画像」をスクショをこねくり回して作成し、それを適当なバッファにADD指定で重ねます。
これを繰り返せば、「左上座標の候補だけ(0,0,0)でそれ以外は真っ白」な画像を作ることができます。後は、(0,0,0)を画像から探すだけ。
タグ:
posted at 23:56:39
HSPCVには、「画像をコピーする」cvcopy命令があります。
この命令はコピー先の左上座標を指定できるだけでなく、cvarea命令と組み合わせると、「コピー元のどの部分をコピーするか」を指定できます。更にオプション指定により、上書きだけでなく加算やAND演算などを行えます。
タグ:
posted at 23:53:20
実はここで、手を抜きたい人向けのメソッドがHSPCVを使って実行できますが、演算時間的に「1つの画面サイズ毎に」数秒掛かるので除外します。また、いきなり画素をちまちま読んでいくのはHSPの処理速度的に考えると愚策なのでこれも除外。
ではどうやってゲーム画面を検出するかですが……
タグ:
posted at 23:51:46
非公開
タグ:
posted at xx:xx:xx
piacere @ 技術(Elixir/ @piacere_ex
屍鬼のOPにもなってた、kanon × kanonの「カレンデュラ レクイエム」がメッチャ好きな曲・PVで、今もちょくちょく聴くんだけど、それを思い出すなぁ😊
www.amazon.co.jp/o/ASIN/B0040IN... pic.twitter.com/iqt5hFF09L
タグ:
posted at 23:49:36
【AGC019】コンテストが終了しました。
解説PDF:atcoder.jp/img/agc019/edi...
解説放送:www.youtube.com/channel/UCtG3S...
タグ:
posted at 23:40:01
Joerg Kircheisen @gelanium1983
「Chromebook快適」っていう話しは聞いていたけど、ホントに快適だ。ARMベースのCPUだけどここまでサクサクとは。
そして今更cacooなるChromeの拡張機能を知る。 pic.twitter.com/SeHIOncioV
タグ:
posted at 23:39:50
……悔しいです!
HSP+HSPCVで書いたところ、画像サイズが800x480(100%)だけならFHD画像に対し1.4秒で検出できますが、100%~40%と10%刻みで7通りだと3.3秒も掛かってしまいました!
(これを2秒でこなすkanahiron氏恐るべし……)
#HSP pic.twitter.com/kjWba6SMc1
タグ: HSP
posted at 23:36:29
流行しているものを批判するのはこっちが不易じゃないかと打ち出すような ボケに対するツッコミの構えを取る 流行りものに対するオルタナティブはおおよそかつて流行ったことのあるものの焼き直しでありながら 今の流行りものを所詮は流行と落として自らを不易と持ち上げる これの繰り返し
タグ:
posted at 23:25:47
場のコード、というか所謂「空気」みたいなものは必要以上に気にする必要はないしすべきでもない(それは往々にして幻想であることだし)と思うけど、対話であるなら相手個人の文脈はしっかり読む必要があると思います。
タグ:
posted at 23:21:48
検索おもろい。若い子たちがツイッターをLINEのように仲間内で使ってる意識が顕在化。友達同士だからもちろんタメ口だし、「彼女とデートなうに使っていいよ」の写真をFollow外から使われたら憤慨するんだな…。中学でSNS講座するといい。少し危機管理薄いの見ると、ババアは不安です
タグ:
posted at 23:16:26
@RyoUchida_RIRIS 根本的に時間がないので、小学校教師が個人でできる働き方改革とは、評価と授業準備の手抜きくらいじゃないですかね。
結果、真面目な先生はそれらを"趣味だから"という言葉で、際限なく頑張る。
タグ:
posted at 23:05:20
コミュニケーションに関して、ハードウェア的観点(話すツール)とソフトウェア的観点(内容)で別々ではというコメントを頂きました。確かにその両方の観点があると思いますが、やりとりの内容とは多分にツールに依存的であり、切っても切れないと言うべきかもしれないと思います。
タグ:
posted at 23:05:11
! Facebookも落ちてるっぽくて、検索でこちらは年齢高め…と馬場さんに教えてもらった。どれどれ…と検索したら、たしかに世代の違いを如実に表していました。皆さん丁寧語でしかもチト長文。日本のキャプチャはしませんが。
FB高齢化 インスタ若年層が顕著に現れる検索結果たのしい pic.twitter.com/4LVZNo3JS8
タグ:
posted at 23:03:52
「2次の自然数」でのZeta、「4次の自然数」でのZeta
モノイドでのZeta、群のZeta
Gamma関数から得られるZeta、三角関数からのZeta
Zetaを少し拡張して考えると普通のRiemann Zetaも沢山の種類がある
あの話むちゃくちゃ面白かった
タグ:
posted at 22:57:37
Cornelia Mariō aquam dat. 「コルネリアはマリウスに水を与える」
Marius Corneliae aquam dat. 「マリウスはコルネリアに水を与える」
こうですね!#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:55:06
では、応用編(?)です。
Marius 「マリウス」 aqua「水」 Cornelia「コルネリア」を使って、以下の文をラテン語で書いてみましょう。
「コルネリアはマリウスに水を与える」
「マリウスはコルネリアに水を与える」
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:49:17
非公開
タグ:
posted at xx:xx:xx
インスタ落ちてる? UPできない…と思って検索したら、若人の阿鼻叫喚が秒速で呟いててかわゆい。Instagramは若者のツールなのだな〜と痛感した次第。インスタが死んでも、人は死なないから大丈夫だヨ。 pic.twitter.com/3BPkEYq54N
タグ:
posted at 22:46:37
男性も見てみましょう。
Fēmina Anitoniō rosam dat. 「女はアントーニウスに薔薇を贈る」
fēmina は「女が」。-a で終わると「が」でしたね。rosamは殺気と同じ。
さ、注目すべき点はもうおわかりですね?
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:40:43
そう言えばz=e^iπxで思い出したんだけど、家庭教師をやっている時にふざけて「y=(-1)^xのグラフを描け。xは実数な」って言って、高校生が「こんなの簡単だよね・・・ん?んん??え?」みたいなのになったの思い出した。前に式だけツイートしたよね。
タグ:
posted at 22:37:09
Antōnius は「アントーニウスが」。-us は男性の「が」でしたね。
rosam は -m がついてますから「薔薇を」。
見慣れない fēminae というのがありますね。語尾が -ae です。
これが女性名詞の 「に」です。
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:35:34
勇気が足の故障でアイドルの夢を諦めた元気のために、とアイドル目指して上京し、元気の障碍をテレビでネタにすることを拒否して帰ってきた、ということを一切元気に言わない、というあたりのことも、この他人に理由を押しつけない、という倫理なのかも知れなかった。
タグ:
posted at 22:35:03
逆に「迷惑」だからと何かを辞めたら、それこそ勇気が怒るんじゃないか。他人に理由を押しつけているわけだから。自己評価が低すぎて自分の存在自体が迷惑では、という感覚になっている美甘を励ますことができるのは、足の障碍で他人に負担を掛けざるを得ない経験をすでに自分なりに解決したから。
タグ:
posted at 22:34:26
チアフルーツ七話、良いと思ったのは元気が「家族に負担掛けてると思う」、といっていて「迷惑かけてる」とは言わないところで。電動車いすがない旅先の温泉で出入りするのに勇気の手助けが必要な場面を描きつつそう言う。背負ったり担いだりの負担は掛ける、でもそれを悪いこと、だとはしていない。
タグ:
posted at 22:34:01
「が」、「を」と来たら、今度は「に」です。間接目的語ですね。
動詞は dat 「贈る」を使いましょう
Antōnius fēminae rosam dat. 「アントーニウスは女に薔薇を贈る」
日本語の語順と同じになってますので声に出して読みましょう
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:33:33
うっかり見落としていたが「訪れてみたい日本のアニメ聖地88」艦隊これくしょん-艦これ-だけで5ヶ所選出って絶対おかしいだろ(横須賀、舞鶴、呉、佐世保は把握していたが青森県の大湊も選出されてた)。花咲くいろは他、非KADOKAWA系の選外扱いといい目茶苦茶だわ。
タグ:
posted at 22:16:50
まとめると、
Femina amat rosam ← -m がつくと目的語「薔薇を」
Antonius amat rosam ←男性名詞は -us
Rosa amat Antonium ←男性も -m をつける。ただし us を外して -um をつける
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:12:12
男性名詞は -us で終わっていることが多く、これを -um にしてやると「を」です。
-am と同じく ”m” が目印ですよ。
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:08:19
マクロスF、ナウシカ、ラピュタ、ポケモン、龍が如く、めぞん一刻、yawara、スプーンおばさん、少年アシベ、遊戯王、クレヨンしんちゃん、銀魂、バイファム、海底大戦争、アリオン、、、少ないかね? twitter.com/90takora/statu...
タグ:
posted at 22:07:29
Anitonius amat rosam.「アントーニウスは薔薇を愛する」
先程のこれ、逆にしてみます。
Rosa amat Antonium.「薔薇はアントーニウスを愛する」
さっきは -a > -am と変わっていた部分が、 -us > -um です。
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:05:17
-us / -a の組み合わせは「男女ペア」の基本形です。
Marius / Maria マリウス(男性名)・マリア(女性名)
deus / dea 男神・女神
dominus / domina 男主人・女主人
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:03:20
男性にも登場頂きましょう。
Antonius amat rosam.「アントーニウスは薔薇を愛する」
具体的な男性の名前になってしまいますが、多くの男性名詞は -us で終わります。さきほどの女性名詞が -a で終わることが多いのと対照的ですね。
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 22:01:39
逆にすれば逆の意味の文ができます。
Rosa amat feminam.「薔薇はその女を愛する」
-a で終わる名詞(大抵は女性名詞)は、 -m をつけたり外したりすることで「が」「を」を表現できます。
タグ:
posted at 21:59:53
まずは簡単な単語でざっくりいきましょう。
Femina amat rosam. 「その女は薔薇を愛する」
femina が「女」 rosaが「薔薇」です。なんとなく英語と似てる単語をもってきました。 日本語の「を」に当たるのが -m です。
#ラテン語ひとかじり
タグ: ラテン語ひとかじり
posted at 21:57:31
非公開
タグ:
posted at xx:xx:xx
千葉雅也 Masaya Chiba @masayachiba
僕は人間個人への性善説的信頼が異常に高く、人が自分のものを窃盗するとかリアリティが全くない。他方で、組織(社会)への猜疑心がものすごく強い。組織は残酷な法的・形式的処置によって、個人の個別的ニーズをバッサバッサ切り捨てるマシーンだと思っている。このアンバランスをどうにかしたい。
タグ:
posted at 21:48:30
非公開
タグ:
posted at xx:xx:xx
「自虐の詩」は傑作です。業田さんの「執念の刑事」も悪くない。メロンパンを食べながら張り込みをするというワンパターンが出てくるだけで笑えました。 twitter.com/allreviewsjp/s...
タグ:
posted at 21:25:33
非公開
タグ:
posted at xx:xx:xx
#24時間テレビ のエンディングでサライ合唱とともに放送される系列局からのリレー中継、2011年〜2016年の中継順序はこちらのとおりです。2013年までは毎年大幅に順序が入れ替えられていましたが、2014年以降は小幅な変更に留められていることがわかります pic.twitter.com/G9yPmw3RQK
タグ: 24時間テレビ
posted at 21:16:10
対格は歴史的にも後の方で発達したため例外的に分かりやすいのですが、それ以外はそう統一的には行きません。A,O語幹とそれ以外で分けると比較的すっきりします。試験的に、変化形を作るというアプローチを書いてみました。
1drv.ms/b/s!Ai5Ti8744U...
タグ:
posted at 21:08:43
非公開
タグ:
posted at xx:xx:xx
新聞の投書欄に「給付型奨学金を受ける学生は財源が税金だということをわきまえてね」って書いてたご老人がいらっしゃったので、医療費1割負担の人は言うことが違うなあと思いました。
タグ:
posted at 21:00:20
紀田順一郎さんは「初版崇拝は処女崇拝に似ている。本質的に拘泥すべき理由は何一つないのであるが、にもかかわらず拘泥せずにはいられない。そういう、悲しい男の性がよくあらわれている」としますが、この説には致命的な欠点が。コレクターが蒐集する初版本のほとんどは、「古本」だということです。
タグ:
posted at 20:52:56
ではゆるふわにしましょう、ラテン語を。……どうやったらゆるふわですか?例文は「マールクスは奴隷と共に公衆浴場へ向かう」みたいな感じの親しみやすいものにしたり?
タグ:
posted at 20:44:41
twitterの検索欄に「from:自分のアカウント名 殺す」とかで検索して、自分が文脈を思い出せないが切り取って反応されたら不味そうな古いツイートを片っ端から消していくという自衛の時代(?)
タグ:
posted at 20:39:21
英語ですが、軍隊の近接格闘術とかUdemyで勉強できるんですね。
別に受講するつもりはないですが(^ ^;
しかも、1万7千人も受講しています。日本語のどの講座よりも多い受講生数です。... fb.me/2JNCRYrvo
タグ:
posted at 19:46:13
商業作家がもはや商業活動といっていい頒布数をコミケで売りさばいて、委託含めると商業より儲かる(というか商業の売上が低すぎる)と言う話になっててさぁ、一方で自費出版じゃなきゃコミケはダメ企業ブース行けとかさぁ、もう意味不明だよね
タグ:
posted at 19:14:26
検定において、途中で結果をチラ見して早アガリや無効中止を行う方法の一つに群逐次法があります。それを実施するRパッケージが{gsDesign}です。例えば添付のように使います。plot(gsD)でZ値の境界をプロットします。pnormを使ってp値の境界を得ることもできます。 pic.twitter.com/O88Wc3NC7G
タグ:
posted at 19:02:19
koba@DataAnalyst @h_kobayashi1125
Kaggleほどではないが、英語に拒絶反応ある人にはこっちをお勧めしている⇒deepanalytics.jp/?tc=menu
#tokyor
タグ: tokyor
posted at 19:01:56
非公開
タグ:
posted at xx:xx:xx
TLで黒川先生の『現代三角関数論』の評判が良いので気になって来た。立ち読みで全然分からなくてパスしたままだった。紹介を見付けたけど、立ち読みでこういう粗筋はまったく把握できなかった…
d.hatena.ne.jp/hiroyukikojima...
タグ:
posted at 18:36:55
前RT 河出ブックス『1990年代論』、私の「アニメ」に続けて掲載されている渡邉大輔さんの「映像」は、テーマ的にも扱われている作家的にも照応があり、「2010年代後半」から1990年代を捉え直すという形の文章になっています。
タグ:
posted at 18:35:02
コミケに新規参入するにあたり、真木よう子陣営がやり忘れたのは文化人類学的な「参与観察」ではないかと思う。表面的なマーケティングでは不足するため、「自ら文化に飛び込み調査する」必要がある。
小林幸子は地方巡業の、叶姉妹は交遊の経験からそのようなノウハウを持っていた可能性が高い。
タグ:
posted at 18:22:27
Sota Tominaga / SNSで @sota_tominaga
個人的には政治が認知閾の最たる例かなと思っていて、反対するが対策ない、個人に責任を転嫁して気持ちよくなる、物事の原因を1つにこじつけようとするとかなり綺麗にその特徴を満たしている気がする。
その結果として、現政権を引き摺り下ろすことにしか頭がいっていない。
タグ:
posted at 18:15:12
Sota Tominaga / SNSで @sota_tominaga
認知閾というものがあって、人間にとって理解が追い付かなくなり始める社会問題の複雑度のことを差す。その時の特徴が以下。
反対はするが対策はない
個人に責任を転嫁して問題を解決したと酔いしれる
怪しげな因果関係に飛びつく
物事の原因が不明でも何か一つにこじつける
タグ:
posted at 18:13:28
「二種類の唾液が溶けたエビアンのペットボトルが朝日を通す/谷川電話」。水は愛を運ぶメディアなのだが、この短歌の反対にはこんな川柳がある。「干からびた君が好きだよ連れて行く/竹井紫乙」。竹井紫乙の川柳は主に世界が終わってから・はじまるので、こんなふうにすべてが終わって、好きになる。
タグ:
posted at 18:08:05
「○○という意見に賛否両論!」みたいなタイトルのTogetter、ちゃんと読んで調べて見てみるとかなり高い確率で賛か否のどちらかに偏ってまとめられているので、公平な報道について勉強するにはもってこいな題材という感じする。
タグ:
posted at 18:07:03
エントリー書きました。dirty hackです。
Hugoにシーケンス図を埋め込む | κeenのHappy Hacκing Blog
keens.github.io/blog/2017/08/2...
タグ:
posted at 17:25:50
メモ ムズイなアプリではない気がする。 常に充電が保証できる何か? をまず見つける必要がありそう。 Reading... 認知症の徘徊高齢者アプリはどう開発すれば良いんだろう? - はてな村定点観測所 hatebu.me/entry/2017/08/...
タグ:
posted at 16:06:05
アラサー世代で「家事は女性の役割」という偏見が無い人って、子どもの頃サザエさんとかよりCCさくらを見てたからだと思うんだけど気のせい?子どもの頃観たアニメや本の影響って大きいと思う pic.twitter.com/POrJ6A8Kpi
タグ:
posted at 15:29:39
Pythonヒッチハイクガイドを読んで学んだこと - MyEnigma
myenigma.hatenablog.com/entry/2017/08/... pic.twitter.com/vt913Fjgws
タグ:
posted at 14:45:20
しかし工学の暗黒面に落ちると、文系屋にデシベルはわかんないだろうという確信犯で「従来製品にくらべ4dBの改善になります!」とドヤ顔で言い切ったりするようになる。そこで「4dBってリニアスケールで何パーセントや?」と聞き返せるのは本当に頭の良い人だ。
タグ:
posted at 14:39:18
腐ったユーモア、隠喩の濫用など、これらはマニエリスムと呼ばれる芸術様式の典型的手法です。ノワールを「マニエリスム的悪夢」と自ら定義した監督の記述を軸に、本作をタランティーノ以降のポストマニエリスムとして位置づける、後藤護の論考です。 ecrito.fever.jp/20170729210017
タグ:
posted at 14:13:40
また「犬」死にするマッド・ドッグを演じるウィレム・デフォーの過去出演作で、ポール・シュレイダー関連を総覧すると、キリスト役と、ユダヤ人の芸人を「犬」として飼うナチの高官を演じていることが分かります。DOGの三文字が反転するとGODになるように、実はドッグはキリストの隠喩なのです。 pic.twitter.com/8YxnBV5hr1
タグ:
posted at 14:12:06
『ドッグ・イート・ドッグ』はマッド・ドッグによる妻の刺殺、娘の銃殺という残酷描写で幕を開けます。しかしここで陽気なロカビリーが流れ、部屋の壁紙は悪趣味な花柄のピンクで、母娘は信じがたいほどに肥え太っている等、黒い現実は「黒いユーモア」(A・ブルトン)で回避されています。 pic.twitter.com/f1hO684bfo
タグ:
posted at 14:10:14
記事ピックアップです #はてなブログ
Rubyでクローラー入門。はてなブログの投稿数をグラフに表示する - ブンバボーンな毎日
www.uosansatox.biz/entry/2017/08/... pic.twitter.com/kxMlfiy1RT
タグ: はてなブログ
posted at 14:05:03
非公開
タグ:
posted at xx:xx:xx
pandasってC拡張の割合がすごく少なくてほとんどnumpyで実装されてるように見えるんだけど、つまりcupyってちょっと頑張ればもうpandasの下で動くってこと?
タグ:
posted at 13:59:28
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
名刺作りで最も重要なのは「情報の整理」あるいは「自分自身について言葉に落とし込むこと」なんですよね。デザインにおいて情報を整理するスキルはめちゃくちゃ重要で、イラレができるのは「その情報を効果的に見せる」ことなので。
twitter.com/sky_y/status/9...
タグ:
posted at 13:08:17
CotEditor 3.2.1 is just released. It makes the app more stable.
CotEditor 3.2.1
coteditor.com/releasenotes/3...
タグ:
posted at 13:02:27
Google、少ない通信量で動く検索エンジン「Search Lite」を開発。インドネシアなどの新興国でテスト中 bit.ly/2veJbdh pic.twitter.com/xQfcES0iCW
タグ:
posted at 13:01:33
非公開
タグ:
posted at xx:xx:xx
50万overの、ロゴ画像のデータセット(Webサイトのfaviconから収集されている)。GANでの利用を想定しており、GAN用にロゴっぽくないものなどを除いたClean versionの提供も行われている。 twitter.com/etagust/status...
タグ:
posted at 12:54:16
音楽生成の歴史をまとめた大作ブログ。Markov ChainからRNN(LSTM)の利用、Magentaの紹介、CNNを利用したWaveNet、そこからさらにSampleRNNなど2017/8現在までの音楽生成の歴史と研究を概観できる。 twitter.com/kcimc/status/9...
タグ:
posted at 12:37:29
脳科学者の言う多様性の無い東大生の親の平均年収は1千万ですが、多様性を追求したハーバード大の親の平均年収は5千万です。
ペーパーテストによる一発勝負の公平な選定プロセスを捨てる、と言うのはそう言う事なのです。
タグ:
posted at 12:32:09
これ、凄いデータじゃないですか?
ベストセラーになっているにもかかわらず
所蔵も予約もされない書物が浮き彫り(察)!
同じ小説ジャンルでも、予約数にかなりの開きがあるという。 twitter.com/kurubushi_rm/s...
タグ:
posted at 12:24:37
読書猿『独学大全』14刷26万部、『文章 @kurubushi_rm
去年のベストセラー書について図書館での所蔵件数と予約件数を調べてみた。
大阪市立図書館蔵書検索での結果
www.oml.city.osaka.lg.jp pic.twitter.com/Xvi65L5ZAV
タグ:
posted at 12:15:52
ファッション画像のMNIST、を表したデータセット。クラス数はMNISTと同様10クラスで、画像は28x28(グレースケール)、学習:評価データ数は60,000:10,000。MNISTは簡単すぎる、濫用されているといった問題を克服するという側面も意識されている。 twitter.com/hardmaru/statu...
タグ:
posted at 12:05:14
「この人痴漢です!」と言われたら「微物検査してくれ!」と警察にすぐに言え
現在では触った痕跡の微小物を検出でき、DNAと触った強さや範囲も分かる
相手女性に賠償請求推奨(民事裁判)
これを警察に教えてもらったのは4年前、未だに全然世間に浸透してないのは警察が秘密にしてるから? pic.twitter.com/CcFKozbagZ
タグ:
posted at 11:39:20
サンガーが言及しているような外部的サイバー工作が本当に聞いているのかどうかは、今回失敗したSRBMが以前から保有しているような旧式のミサイルなのか、それとも新規開発したミサイルだったのかで違ってくるだろう。前者であれば、外科的なサイバー工作が効いている可能性が出てくるかもしれない twitter.com/show_murano/st...
タグ:
posted at 11:38:10
と報じ話題になったが、このところ北極星2型や火星12、そしてICBM級の火星14が立て続けに発射に成功してきたことから下火になっていた。だが、ここにきて北のミサイル一斉発射が失敗したことを受け、サンガーはこの手の記事をまた書くのではないか。 twitter.com/show_murano/st...
タグ:
posted at 11:34:44
そして火星12(IRBM・液体)の最初の3回、最後に3月22日に発射直後に爆発したミサイルだ。数か月前、NYTのデイビッド・サンガーが「オバマ政権は、北に対するサイバー工作による非物理的な発射阻止(Left of Launch)プログラムをはじめ、トランプ政権はそれを引き継いだ」 twitter.com/show_murano/st...
タグ:
posted at 11:32:26
いっそ世の中もツイッターみたいに「好きな人だけフォローできる」「嫌いな人はブロックできる」「嫌いだと気づかれたくない人はミュートできる」ようにしてしまえばいいラジね。みんなが自分好みのTLを作って生きるラジ。
タグ:
posted at 10:44:27
すき家はメニューが季節ものメニューとか変則的だから学習させにくいのかな…。玉ねぎを検出して比較するような感じにすればうまくいくのでは?と個人的には思う。よくわかんないし、自分ではできないけど。 twitter.com/chomado/status...
タグ:
posted at 10:43:36
非公開
タグ:
posted at xx:xx:xx
(そのような理解をしていても別に差し支えないとは思います).今は,連続性に関連して発見された「位相,と呼ばれる論理構造」が論理式の世界にも埋まっており,(歴史的には閉区間を一般化する方向性で発見された)コンパクト性がその論理式の空間にも成り立っているのだという理解をしてます.
タグ:
posted at 10:18:43
また別の例.基礎論に,たとえば完全性定理周辺の話題として「コンパクト性定理」がありますね.昔の私は,論理式の集合に人工的で奇妙な位相構造を定義してやると不思議とコンパクト空間になり,それを形式的体系の言葉に翻訳すると件の定理になるのだと,そのように理解していました.
タグ:
posted at 10:14:57
「器」は人工的,不格好にに見える場合がある.例えば解析学の級数論で正項級数を扱うけど「正の数列から得られる級数」という器の定義にはさほどの魅力を感じない.しかし,正項級数たちの関係や調和(これを別の面から見れば論理構造)によってこの器の存在意義が保証される.
タグ:
posted at 10:11:48
“ネットの基本は『公的機関≧大学>企業>>>>個人サイト』 ”信頼できる情報が欲しいなら省庁の統計データを使え” サイエンスに関してはこれが結論です。” / “研究者が実践する『信頼できる健康・ヘルスケア情報』の検索方法まとめ …” htn.to/F4ndwi7
タグ:
posted at 10:02:52
『位相「構造」』のような言葉には,本当はこの論理構造を目指した呼び名なんだと思う.しかし,(自分だけかもしれないが)位相構造が論理と関係していることはトポスについての本を眺めるまでは全く意識に上らなかったな.
タグ:
posted at 09:59:04
イデアルや(開集合系による)位相構造は,しばしば抽象的だと思われている.しかし,具体に対する抽象の立ち方が論理構造と結びつけたときによく理解されることは(少なくとも私は)いままで明確に教えられてこなかった.
タグ:
posted at 09:52:31
イデアルや位相構造は,議論の器を定義しているのであって,その器にどんな料理(実質的な数学議論)が盛りつけされるのかを理解したときに初めて「よくできた(よく定義された)器だなぁ!」ということになるのだと思った.
タグ:
posted at 09:49:53
ミルクのための器があり,ソイソースのための器がある.直火にかけて加熱料理するための器があり,客人をもてなすための華やかな器がある.慣れてくると器をみただけで「それが何を容れるためのものか」わかってくるが,逆に言うとなれるまでは難しい.
タグ:
posted at 09:48:30
イデアルは準同型定理のためにあるようなもので,商を通して「こっちとあっち」が同じになるようにするための議論の道具だと思った.話は飛んで位相だけど,これもある形式の議論が成り立つためのフレームワークだと思える.すると,どちらも内在的な論理法則の「器」を定義していると考えられる.
タグ:
posted at 09:46:42
イデアルって難しいんだなあ。定義の謎感は残りやすいけど、僕は、群における正規部分群が環におけるイデアルで納得した。つまり、環を正規部分群で割って(同値類とって)できたものが環になる条件がイデアルの条件という理解。なので素イデアルと極大イデアルも、割った環が体か整域かで最初覚えた。
タグ:
posted at 09:34:06
今はもう違うそうですけど、お絵描き🎨系の人にはお馴染みのサービス「pixiv」は昔は部品からサーバーを組み立てて運用してたんですって❗すごい‼😱 ascii.jp/elem/000/000/8...
タグ:
posted at 08:58:17
渡邊大門〔株式会社歴史と文化の研究所代表 @info_history1
人文系の学問への風当たりが強く、経費削減が求められている。人寄せパンダのようなけったいな講義科目が増え(京都文化論みたいな)、学問のベースとなる講読科目(史料講読、原書講読とか)がどんどん減っているという。そのあおりを受けて、非常勤の先生が雇い止めになる。ひどい話だ。
タグ:
posted at 07:49:37
確かに日本の公立、欧州に比べても北米に比べても桃源郷。英の場合も公立の先生はそんなに熱心に指導はしないし働かない。給料が安いし教員という職業があまり尊敬されていない。一方で私学の教育の質は日本よりはるかに良い。
タグ:
posted at 07:28:53
教育に関しても、確かに先生自身は大変だと思うけど、夏休みに部活もあり、宿題も出してくれて至れり尽くせりの日本。
普通の日にすら先生自体まともに学校に来なくて、通常しなくちゃいけない授業すら受けれなく、自分で勉強して追いつかなくちゃいけないフランスから見ると日本の方が桃源郷
タグ:
posted at 07:25:40
『心理学評論』第59巻1号 特集「心理学の再現可能性」の掲載論文はリンク先特設サイトから個別論文をDL可能でしたが,このたび全論文を一括したZIPファイルをDL可能にしました. team1mile.com/sjpr59-1/
タグ:
posted at 07:13:34
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
って感じで仮想記憶のページング方式は大体理解した気がするんだけど、主記憶とキャッシュメモリの対応付けの話は別物なんだっけ?連想メモリとかだっけか。ハードウェア関連で覚えるべきことがあり過ぎて全然OSの話に復帰できない…
タグ:
posted at 00:55:40
ページ置換アルゴリズムとしてはLRU(Least Recently Used)などがある。ページング多発により処理能力が低下する現象は(スワッピングでなく)スラッシングという。スラッシングが起こっているかどうかはページングの発生頻度をソフトウェアモニタなどで調べればよい。
タグ:
posted at 00:46:34
仮想アドレス空間の大きさを2^Lバイト、ページサイズを2^Nバイト(実際は4048バイト≒4kバイトがよく使われる)とすると、ページ数は2^(L-N)バイト。さらに、ページテーブルエントリのサイズを2^Eバイトとすると、ページテーブルに必要な領域は2^{(L-N)+E}バイト。
タグ:
posted at 00:42:20
長い間悩んだ末についに悩みを解決する事なくこの世を去った人は無数にいる。その人達に共通する事は何か。抑圧を放置してしまったミスである。なぜ自分の足かせ(ただし無意識にあるので自分では見えない)を取り除こうとはしないのか。
タグ:
posted at 00:37:28
DATの手順は以下:
①ページテーブル内を検索してページの状態を調べる。
②ページフォールトならページイン処理(データを補助記憶から主記憶に移す作業、逆はページアウト)を行う。
③ページテーブルから得た主記憶上の位置にページ内変位を加えて実アドレスを得る。
タグ:
posted at 00:32:46
非公開
タグ:
posted at xx:xx:xx
ページング方式を実現するための装置がメモリ管理ユニット(MMU)で、仮想アドレスを物理アドレスに変換する(動的アドレス変換、DAT)。DATを高速化するためのキャッシュがトランスレーション・ルックアサイド・バッファ(TLB)。ページング方式は複雑なため組み込みやDSPに向かない。
タグ:
posted at 00:26:42
ページング方式だとページが固定長だからフラグメンテーション(断片化)を解消できる。また、ページテーブルにはアクセス権限の情報も含まれるからメモリ保護機能も実現できる。ページテーブルを参照したとき対応する物理アドレスが存在しなければページフォールトって例外が返される。
タグ:
posted at 00:19:20
ページング方式は仮想記憶を実現するための方式で、プロセス毎に割り当てられた仮想アドレス空間を固定長のページと呼ばれる単位に分割して割り当てる。仮想アドレスの下位ビット列は物理アドレスのものと等しく、上位ビットはページテーブルで物理アドレスの上位ビットと対応付けられたページ番号。
タグ:
posted at 00:16:12
ページング方式の仮想アドレスと物理アドレスってIPアドレスとMACアドレスみたいなものだよね。前者はメモリ管理ユニット(MMU)、後者はアドレス解決プロトコル(ARP)によってそれぞれ変換される。理解している方でもう片方を考えればいい。まあどちらが難しいかって話だけど
タグ:
posted at 00:06:16
非公開
タグ:
posted at xx:xx:xx
Sota Tominaga / SNSで @sota_tominaga
だいたいの人は『俺はよく分からないしやめておこう』と考えるわけですが、『みんなよく分かっていないからチャンスだぞー』っていう視点はほとんどの人ができない。誰もが分かっていない段階は、少しの情報でも重要性が高い。動くメリットが考えるメリットを遥かに上回る。
タグ:
posted at 00:02:55
Sota Tominaga / SNSで @sota_tominaga
『自分が理解できる』と『全員が理解している』の2つの軸があったとして、もちろん自分が理解していればいるほどリターンは高まるのだけど、逆に全員が理解していないときもリターンは高まる。
自分が理解しているかどうかで判断するのでなく、他者がどう振る舞うかはすごい大事な基準。
タグ:
posted at 00:02:22
Sota Tominaga / SNSで @sota_tominaga
これから加速度的に複雑化する社会において、そこに食らいついて少しでも理解しようとする人により有利に働くのはもちろんのこと、分からないなりにとりあえずやってみる人に対する恩恵も大きくなる。複雑になるほど考えるより行動することが最適解になりやすい。
タグ:
posted at 00:01:48