まつど
- いいね数 102,851/144,366
- フォロー 1,895 フォロワー 2,964 ツイート 80,115
- Web https://scrapbox.io/education/
- 自己紹介 批評とアニメ好き/ラノベ・漫画積読リスト http://scrapbox.io/lightnovel/
2017年12月04日(月)
かわいい｜Keynoteの図形ツールでフラットデザイン民芸イラスト描く｜transitkix｜note note.mu/hebereke/m/m64...
タグ：
posted at 23:55:40
非公開
タグ：
posted at xx:xx:xx
落合さんの本にもあったけど、バックエンドの処理はブラックボックス化してくから、人間は魔法を使うブラックボックスの中身作るか、フロントを作るかどっちかになる。だから、APIを組み合わせておもろいものつくれるのは将来的に価値があると思うし、それを仮説としていろいろやってみよう。
タグ：
posted at 23:37:40
flaskで軽量アプリを作りたい理由は、python使えば基本的なソーシャルのapi使い放題だし、ツールとしての利用可能性が高いから。airbnbやtwitterはじめ主要サービスの手が届かない便利機能をフロントで使える。そのうちAIもきそう。
タグ：
posted at 23:34:46
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
東大の航空宇宙を1年休学して全く関係ないデザインで飯を食ってる人間がキャリアについて真面目に考える話 - toyojuni BLOG (留年生Advent Calender 2017)
toyojuni.hatenablog.com/entry/2017/12/...
タグ：
posted at 23:11:01
「川上 ニコニコは何なのかっていうと「オタクが作って、リア充が見るもの」なんですよね。」←すごくネタバレ感あるインタビュー。/「ニコ厨の幸せはリア充に見られること」ドワンゴ川上量生会長 - ASCII.jp ascii.jp/elem/000/001/0...
タグ：
posted at 23:10:53
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
『科学者の網膜』著者の増田展大さんの、この論考めちゃくちゃ面白いです。顔認証技術は近々生活圏内にあまねく浸透するはずで、そこに潜在する機械の論理を、19世紀に顔写真をデータベース的に駆使しようとした試みと対比する批評文です twitter.com/ecrit_o/status...
タグ：
posted at 22:57:42
JavaScriptもブラウザさえあれば動く点で強力ですが、文法は洗練されているとは言い難いです。Pythonも統計やデータ処理には便利ですし文法も綺麗ですが、では学校教育で適当かというと疑問です。用途により最適な文法が異なる以上、選択の結果としてScratchを使うのはそう悪くないと思います。
タグ：
posted at 22:55:30
Nagさんの「邯鄲の夢と現実」。初っ端から取っつきにくそうな話だぞ、ひぇぇ……とか思ってたらまったくそんなことはなかったです。VRの技術ではなくそれを使う我々側の話。『伊藤計画トリビュート２』は以前に買ってあって積んでるので今度読んでみようと思います。
#prank_hyoron
タグ： prank_hyoron
posted at 22:52:28
macOS用の美しい縦書き対応エディタ、ついにリリースとのこと。（試したいけど、いまWindows環境しかない…） / “stoneをリリースしました。｜stone（ストーン）” htn.to/nUat2N
タグ：
posted at 20:57:52
『坩堝』よりも『緋文字』の方が読まれていない気がするので、個人的にグッとくる読み方をご紹介します。レトリックや信仰が逆に人の道徳を堕落させてしまうという皮肉で読むのも、悪くありません。恋愛小説として読むのも思います。でも、胸糞悪いが先立ってくると思います。
タグ：
posted at 20:18:27
これはライフハックですが、ツイートに自分しか使わないようなのタグを書き込んでおくと、後で検索しやすいです。あと他人がそのタグに乗っかって来るとそれはそれで楽しいです。
タグ：
posted at 20:18:24
＞RT
たとえ松本氏の名前がアナウンスされなくても、
Bパート全体の異様な緊張感はオレンジの仕事として出色の出来として
語られたはず。
宝石はオレンジの仕事が全体的に素晴らしいのだけど、
その中でもあの話数はチャレンジングであったということ。
タグ：
posted at 20:11:25
＞RT
CG作画において、プリヴィズと呼ばなくてもラフ原を原画マンが前もって描くことは多分にある。だから異例とは思わない。
今回の意義は、松本憲生氏の動きの個性を生々しい形で取り込めないかというところにある。（続く）
タグ：
posted at 20:08:50
オンライン診療を実現するための選択肢について。MEDLEYさんの初期はappear.inを使っていた。それ以外に、Google Hongout、Skype、Twilioなどが候補にあがった。 #WebRTCSkyWay
タグ： WebRTCSkyWay
posted at 20:08:39
ポリアモリーが「ラテン語のpolyとamorの合成語」ってのはあれっすよ。ポリはギリシア、アモールの方はラテンなのでポリピリアかマルチアモールの方がいいだろう、みたいなのはよく言われる。
タグ：
posted at 20:08:21
非公開
タグ：
posted at xx:xx:xx
以前から繰り返し言ってることではあるけど、ネタバレはするほうが売れることがわかっていて、例えば推理小説は犯人を教えられた本と知らない本だと、はっきり「犯人が誰か知っている本」のほうが売れる。悩む人々を俯瞰して見ることを好む読者のほうがあきらかに多いのだ。
タグ：
posted at 19:34:23
哺乳類の脳のEC（嗅内野）には空間中のグリット状の位置に対応して発火するニューロンがあることが知られているが、RNNで向きと速度を入力に自己位置推定するように学習してもグリットに対応するニューロンが自然に学習される goo.gl/kb4jUz
タグ：
posted at 19:13:42
#ブレンド・S
ひでりの場合、自分の可愛さを客観的に意識していて、それを実益につなげるための女装やらキャラ作りなんやな。ジェンダー的な部分は作中ではコミカルに描かれているけど、例えば、どっちのトイレに行くかなどというシーンは、実際問題、性的マイノリティにとって切実な一場面やと思う。 pic.twitter.com/odHDfszI0Q
タグ： ブレンド
posted at 19:13:17
これは、昔聞いた話で甚だ記憶が怪しいのではあるが、中国語版のハリーポッターは登場人物紹介でとあるネタバレがなされているが、中国ではそれが普通であり、まさに最初から分かってないと安心して読めないんだとか何とか。文化が違うと思っていたが、国関係なく、そういう人たちがいるということか
タグ：
posted at 17:30:21
高専生が、国立の工業高等専門学校生が「自由に使える3Dプリンターがない」って。。。
なにやってんだよ、俺たちの国はよ。。授業だろうが趣味だろうが、そんなもんジャンジャン使わせてやってよ。ほんとお安いんですよ。スマホ体積の部品なら材料費200円とかですよ。
いいよ、こっちでやる。待ってろ
タグ：
posted at 17:17:23
「自分の信念や立場が脅かされていると感じて、それに対して防御的に反応する」のって人間によくあることで、それをヒステリーという形で行う人だとヒステリーだと分かりやすいが、「これは討論なんだ！ヒステリーじゃない！」と言って行う人もいて、そういう場合に左になりやすいかと twitter.com/GoITO/status/9...
タグ：
posted at 16:46:36
ちょいと調べてみた結果、ラヴィニアちゃんの角らしきものは皮角と呼ばれる病気の一種で、
本来は老人とかが発病するものだけどアルビノ(先天性白皮症)の人にも出やすい症状らしい。
#FGO pic.twitter.com/iW8h4D0myV
タグ： FGO
posted at 16:39:29
お世話になってるカフェ/パン屋さんが、面白企画をやってるので支援。上下バラバラの「サンド不イッチ」。
camp-fire.jp/projects/view/...
タグ：
posted at 16:30:41
プログラミングを覚えるの最初はマジでキツくて、書いても書いてもエラーが出てやる気を失うけどそういう経験があってこそエラー出た時に「これが原因かな？」というエスパー対処が可能になって楽しくなっていくのでとにかく諦めないのが大事なんだよな。
タグ：
posted at 15:50:21
メルペイ社の技術募集Go + PHP の組み合わせ、最近熱いよね。Better Cとしてのgoが出てきて、だったらWebレイヤーはPHPでいいじゃん、という言説が聞こえるようになってきた。
タグ：
posted at 15:10:50
多変量解析だと、トキソプラズマ感染群の方がマゾヒズム的。しかし、単変量解析だと、トキソプラズマ感染群の方がマゾヒズム的でない。Does Toxoplasma infection increase sexual masochism and submissiveness? Yes and no
www.tandfonline.com/doi/full/10.10...
タグ：
posted at 14:48:50
Intrinsic approach to Galois theory of q-dierence equations
divizio.perso.math.cnrs.fr/PREPRINTS/CHAR...
グロタンディーク予想に関するもの。淡中圏、差分ガロア、マルグランジュの理論どれにも興味があるが、これらを理解する上で役立ちそうな文献 #微分ガロア
タグ： 微分ガロア
posted at 14:46:59
Backlog Advent Calendar 2017、まだ枠がいっぱいあるみたい。Backlogユーザーのみなさま、ぜひ一緒に盛り上げてくださると嬉しいです🤗私もどこかで何か書こうかしら🐹 #Backlog
adventar.org/calendars/2478
タグ： Backlog
posted at 14:26:41
ステラ女学院12話はマジで楽しくサバゲーするだけで、それまで至るまでどれだけクソだったかがマジで重要なんす
どんだけストレスがたまろうが、あの楽しいサバゲー一回でチャラなんや
タグ：
posted at 13:57:27
本当の意味で頭のいい人｜にせ物の意味で頭のいい人
知識を応用できる ｜覚えているだけ
未知の事態に対応できる｜マニュアル以外に対応できない
他人の気持ちを考える ｜人間を機械のように扱う
生きた知識を持ってる ｜知識を持ち腐れている
いい目をしている ｜目が死んでる twitter.com/manabiai/statu...
タグ：
posted at 13:47:37
“Metric-Affine Gauge Theory of Gravity: Field Equations, Noether Identities, World Spinors, and Breaking of Dilation Invariance”,
F.W. Hehl, J.D. McCrea, E.W. Mielke, Y. Ne'eman
www.sciencedirect.com/science/articl...
この論文は共変解析力学のうち、ラグランジュ形式だけを使っている
@gandhara16
タグ：
posted at 13:27:28
そういえば、エンジニアの採用になかなか応募がなくて困ってたところで求人情報に「管理職になる必要はありません」って明記したら応募数が確実に増えたという話を最近聞きましたのでエンジニアの採用で困ってる方はぜひやってみてください。（ただし実際そういう職場に限る）
タグ：
posted at 13:24:58
作品観賞の中には客観的に話ができる部分とできない部分があるのに、複雑な観賞経験全体を「美」とか「発想」とかいう言葉で曖昧にまとめてしまうので、安易な知識批判に進んでしまう。
各自で思いを語るだけなら茶話会やってればいいんだが、ビジネススキルを育成したいときにそれだけで良いのか。
タグ：
posted at 13:15:39
非公開
タグ：
posted at xx:xx:xx
サイボウズ社内での雑談の結果「コンパイラが消えた程度では大したことがないのでOSも消えた設定の方がいいのではないか」「バイナリが消えるならすべてのEEPROMに書きこまれたものも消えたことにしよう」「その設定でGCCのソースが残ってる設定って不自然じゃないか」という話になった twitter.com/rui314/status/...
タグ：
posted at 13:10:45
齊藤貴義＠サイバーメガネ@渋谷区と福島県 @miraihack
同じ会社でずっと働いているより転職してbreakした方が給与もスキルも上がってしまうのはIT業界の潜在的バグ。
タグ：
posted at 13:10:34
あれ。RGBによる光の合成って、人間の網膜をだましているだけで、物理的に等価な波長の光を生み出しているわけではない、って理解としてあってます？たとえば、「自然界の実際の色」とRGB合成された「人間には同じに見える色」って、他の生物には異なる色として認識されるかも知れないとか。
タグ：
posted at 13:06:48
アニメ「宝石の国」今ごろ捜し当てた。取り急ぎ１・２話を見る。率直な感想は「色がある，音がある、なんてすばらしいんだろう」。原作市川春子の詩心に岡田史子の面影を見て、ぼくはついて行きにくかった。でもアニメは、往年の総天然色の冒険「赤い靴」「天国への階段」を想起して素直に感服できた。
タグ：
posted at 13:06:00
絵画と写真のリアリティ表現の違いは、写真が色素の問題であるのに対して、絵画は意志の問題であるように思える。この場合のリアリティというのは「魅せとしての見え」の表現
タグ：
posted at 13:00:48
松岡@ログラス/DDD,アジャイル @little_hand_s
DDDの実コードサンプル、すごい力作っぽい。まだ細かく見れてないので後で読む。
qiita.com/turanukimaru/i...
タグ：
posted at 12:55:46
非公開
タグ：
posted at xx:xx:xx
CNNの関数形自体が強力な事前知識になっており、学習をしてないCNNを使い、与えられた画像を生成するようにパラメータを調整するだけで、画像の超解像、修復が驚くほどできる。dmitryulyanov.github.io/deep_image_prior
タグ：
posted at 12:41:46
アニメ・漫画における主人公像を比較考察する場合、ジャンル批評と合わせて見るのが分かりやすいかなと思う。各ジャンルによって、形成されるキャラクター像も変わってくるからな。ただ、最近の作品を見ていると、時間継起によるキャラクターの内面変化が激しいので、その像を一元に捉えるのは難しい。
タグ：
posted at 12:22:19
コンパイラをコンパイルするのにコンパイラがいるといのは、Ken Thompsonが書いてたみたいに、そんなに自明なことではないと思うんだよね。実際やってみると、コンパイルは通るけど間違ったコードを出力するコンパイラができるバグ（セルフホスト2回したときだけ発現）とかできてびっくりするし。
タグ：
posted at 11:47:36
シソーラス・パラフレーズは唯一無二の機能を持つ素晴らしいツールである。アイデア空間において目的周辺を探索し提案までするツールは他にない。探索をツールに任せられるという点で、あまり頭が働いていないときに特に便利だ。
タグ：
posted at 11:40:28
非公開
タグ：
posted at xx:xx:xx
Kavli IPMU @KavliIPMU の主任研究員でもあるディビッド・シュパーゲルさんが、初期宇宙の観測により宇宙の進化と構造形成の理解を進めたことに対し、基礎物理学賞を共同受賞されました。おめでとうございます。breakthroughprize.org/Laureates/1/L3...
タグ：
posted at 11:13:47
非公開
タグ：
posted at xx:xx:xx
巻き込みリプが嫌な理由は
・赤の他人1人の発言に興味無い
・通知が来てちょっとワクワクして確認したら自分宛じゃなくてがっかり
・自分宛じゃないリプで通知欄埋めないで
・自分宛じゃないけど自分に言われたようで不快
・リプ内容が不快なら通知欄に居座って欲しくない
とかかな
タグ：
posted at 10:59:34
インタプリタ・コンパイラすべて消された場合、マクロ言語が載ったものすらアウトってこと？ 少なくともEmacsはこの世から消されるし、shも消されるわけよね / “もしコンパイラを全世界で同時にうっかり削除してしまったら、元の状態…” htn.to/67gtUu4
タグ：
posted at 10:26:15
ヲタク業、何だかんだで置き場所が無くなるので、デジタルデバイドに移行すると場所も取らないし、アクセス性が向上するので、マジで最高。
それでも紙媒体を選ぶのは、本当に絞り込むようになる
タグ：
posted at 10:22:15
…これ、よく言われる「ネタバレ後の楽しみ方は２度目以降は自動的にできるけど、初見の驚きは１回きりだから最初はネタバレ無しで見ないと勿体無い」という反論が全く効かないよね。なにしろこの楽しみ方だと「先に知って安心して楽しみたい」のだから「初見の驚き」なんて無価値。むしろいらんと…
タグ：
posted at 09:55:13
＞RT 「私はネタバレが全然気にならない」という人は以前からよく見たが「ネタバレしてもらわないと面白いのかどうかわからなくてモヤモヤする」とまで言う人は初めて見た。そしてぶら下がってるリプを見ると、実はネタバレOKの人の大半はむしろネタバレ希望だったのかとカルチャーショック。
タグ：
posted at 09:54:07
柞刈湯葉が研究者やりながら横浜駅SFとか重力アルケミックとか書いてんじゃん？ 燃え殻さんテレビ制作の仕事しながらボクたちは誰も大人になれなかったじゃん？ tofubeatsがときどき「音楽だけで食ってくつもりない」とか言うじゃん？ 兼業クリエイターのレベルがやばすぎて尊い以外の言葉がねぇよ
タグ：
posted at 09:26:35
希望が無いときに殺人に走るか自殺に走るか。コロンビアや南アフリカの人は殺人に走るが、日本人は自殺に向かう、という話がある。この先ますます希望が無い人が増えたとき、日本全体の治安も悪化するかもしれないが、それよりその人達の間での自殺急増の方が顕著だろうなと予想してる twitter.com/raurublock/sta...
タグ：
posted at 09:14:24
書きました。数学とコンピュータ Advent Calendar 4日目の記事です。 / “3D CAD の内側をちょっと覗いてみませんか - Qiita” htn.to/C7urgj
タグ：
posted at 09:04:06
学生運動のこと調べるの趣味なんだか当時のビラが「お前たち中卒高卒の無知な労働者は資本家のいいなりで考える知能なんかないから大学生でちゃんと共産主義をまなんだ俺たちについてこい。おれたち労働なんかしたことないけど」みたいなこと書いてあってアメージングすぎて感動した。
タグ：
posted at 08:41:07
これは右側が本来の意味の「討論」だと思う。
左側は何と呼べばいいんだろうね？
リンク先のひとが「討論」という語の意味を捻じ曲げているという批判が出るのは当然と思うが、そもそも「討論とは左側のようなもの」と思い込んでおられたのではなかろうか？
twitter.com/manabiai/statu...
タグ：
posted at 08:32:01
.@animeli5 さんの「都会人「田舎でも駅前なら便利でしょ？」ガチの田舎民「むしろ駅前の方が何もないんだけど！」」をお気に入りにしました。 togetter.com/li/1177828
タグ：
posted at 08:30:23
ツールを作ってるとどうしても正常・異常を示すのにライトグリーンとレッドを使いがちだけど、1型色覚異常・2型色覚異常は男性だと20人に1人と極めて多く、職場にも絶対に居るので対策も絶対に要る。
タグ：
posted at 08:19:12
CNNとかRNNとかは多断層の逆伝播の微分を使っているので、この勾配の過学習や劣学習を回避する匙加減が論文となって頻出している。匙加減の話しはもう十分な気がする。
タグ：
posted at 08:14:41
Optimization for Deep Learning Highlights in 2017 buff.ly/2iJXvWc 深層学習における最適化法の2017年研究まとめ。良い！ pic.twitter.com/A3EG4QbAc4
タグ：
posted at 07:58:40
「宝石の国」08話/CGとプリヴィズ（松本憲生作画）の比較と分析 : GOMISTATION
royal2627.ldblog.jp/archives/52552...
タグ：
posted at 07:51:16
非公開
タグ：
posted at xx:xx:xx
らくからちゃ@2♂&1♀年子育児中 @lacucaracha
はてなブログに投稿しました #はてなブログ
『リスク』と『リターン』の基本 - ゆとりずむ
www.yutorism.jp/entry/Risk
タグ： はてなブログ
posted at 07:30:17
放送大学の量子化学計算の科目は大学院のオンライン科目とのことで、ラジオやテレビで視聴できる科目とは異なり、履修しないとコンテンツが見られません。また大学院科目なので学費も学部と異なりますので注意してください。大学院の選科履修生になって履修してない放送授業もネットで視聴しましょう。
タグ：
posted at 06:59:43
いわゆる論文より「評論」寄りの骨法で書かれている著作が、すべて学問的に無価値かといえばそうとも言えないのがおもしろいところで、例えば川村二郎『アレゴリーの織物』（www.amazon.co.jp/dp/4062901544/...）などはベンヤミンの先行研究として立派に通用している。スタイルだけに着目すると判断を誤る好例。
タグ：
posted at 06:01:21
どっちにしたって、作家モノカキ映像作家、所謂クリエイターで「商業的活動で収益を得、それで糊口を凌いでる人」の言う事っていうのは、必ず「自分の顧客を向いた発言｣でしかない、っていうようなことは意識しておいたほうがええんでないの、って気はする。
タグ：
posted at 05:49:40
荻野幸太郎 / OGINO, Kotar @ogi_fuji_npo
ここ数年、日本と世界で、性表現規制の最前線を見てきた感想だけど、自由な性表現を徹底的に擁護した先に待つ未来は、たぶん、「迷惑なので他人の身体を性的対象にしないで下さい」という方向にどうやらなりそうだなと、私は予測している。
タグ：
posted at 04:54:22
荻野幸太郎 / OGINO, Kotar @ogi_fuji_npo
そして、そのような認識が共有された社会では、もちろん性犯罪に関する法制も変わるはずで、他者の肉体への性的接触は原則として犯罪となり、当人の瑕疵のない明示的な同意のある場合に違法性を阻却するという建て付けになるのではないか。
タグ：
posted at 04:39:23
荻野幸太郎 / OGINO, Kotar @ogi_fuji_npo
まぁ、いずれにしろ、人類文明の向かう先は、他者の肉体を性的対象にする習慣との決別だろう。
今は、エロと暴力は違うだの、性欲と支配欲は違うだの、酷いポルノさえなければ「間違った」性を学習しないはずだのと、性愛を擁護するための玉葱の皮剥きが流行りだが、いずれ無意味だったとなるのでは。
タグ：
posted at 04:28:31
コインの政治性は面白い。このくらいの時期、どれくらい神話的なもの、神権政治的なものがリアルだったんだろうか。なかなかイメージできない。三木がミュトス的意識がどうのというように、現代においても革新をもたらすものとして現れる人物や構想は、何らかの神話的なものを纏うものだろうけど
タグ：
posted at 04:00:35
e(i(I),I). e(A+B,I): @h_sakurai
JavaScript,Erlang,C言語などの出力先言語はさまざまだけど、あるわけだけど、その言語自体が扱いやすいですかというとNoだと思う。ErlangはもしかするとPrologに似ているところがあるからマクロ作りやすいとかあるかも知れないけど。
Schemeが出力先なら楽だ
タグ：
posted at 03:47:51
荻野幸太郎 / OGINO, Kotar @ogi_fuji_npo
最近は、エロが大好きという男性諸氏たちから、女性が性嫌悪になってしまうからグロテスクなエロマンガなどを排除して欲しいという趣旨の表現規制の要望も出てきた。
でも、そのようなグロテスクな性表現は、実はある種の真実を語っているのではないか。性を嫌悪することが間違いとも思えない。
タグ：
posted at 03:40:23
e(i(I),I). e(A+B,I): @h_sakurai
Cのマクロは別に型システム関係ないでいいんだよなぁ。
PrologのDSLの型システムは勝手に作れるし、処理系はPrologで作ってると重いっちゃ重いけど、動くには動く。はやくしたければその言語のコンパイラ作ればいい。
タグ：
posted at 03:25:37
e(i(I),I). e(A+B,I): @h_sakurai
Prologが遅い理由は単一化にあるし、単一化のすべての機能をマクロ言語が実装している必要はないかも知れず、単一化だけ追加をうまくできれば、関数型言語がマクロ言語として使えれば速くていいのかなとか思って依存型とかなのだろうなとかで難しいなぁ。
タグ：
posted at 03:23:01
先日のアニマルガムで上映された大内りえ子作品がかなり良い反響を得てるついでに推しアピールなんですが前田結歌の作品を観て欲しい。メディアをひっくり返して遊ぶことにかけてサイコーに異才。
#Vimeoで「Meishi Smile "Belong" (Official Video)」を見る。 vimeo.com/198968886?ref=...
タグ： Vimeoで
posted at 03:20:35
e(i(I),I). e(A+B,I): @h_sakurai
マクロはPrologでかけるので遅いかも知れないけど、かなり強力で式を自由に操れて、実装例としてアフィン型あたりを作れたらRustっぽいことが出来て良いんじゃないかなと。
タグ：
posted at 03:19:42
e(i(I),I). e(A+B,I): @h_sakurai
ってことで、C言語の代わりとしてほしいのはPrologの表現力を上げた言語を生け垣言語とした、パターンマッチ機能と、クロージャ生成機能あたりを持ったλ計算ベースのメモリ管理は自分でやってねなC言語みたいな感じのもので、型システム用マクロシステムにPrologがいて型検査する。
タグ：
posted at 03:18:12
e(i(I),I). e(A+B,I): @h_sakurai
Prologの扱える式はエジンバラ方式とやらが主流で標準的であるけどエジンバラ方式で十分かというと不満があってmixfixなもっと自由な式の定義をしたいというのもあるとかだな。
タグ：
posted at 03:15:00
e(i(I),I). e(A+B,I): @h_sakurai
a(1,2)とa((1,2))は違うのがPrologだぞっというところで、Rustのような型システムをPrologで作ってCのレイヤーで動かせると、自動でメモリ管理をしてあげられていいのかなぁ。
タグ：
posted at 03:12:28
e(i(I),I). e(A+B,I): @h_sakurai
色々省いて最小限の機能を持ったPrologだけいてくれればいいような感じなので、Prologでいいじゃんと思うのだけど中身の言語はどうするの問題があって、λ計算ベースだけどC言語っぽい表記ができるといいのかなと。形無しλ計算でタプルとアリティは別とかがいいのかなぁ。
タグ：
posted at 03:10:47
e(i(I),I). e(A+B,I): @h_sakurai
C言語の式みたいなのを操れるマクロ言語としてPrologみたいなのがいて、Prologみたいなのが結構高速で動いたりして、証明支援機能とかかなり強力で、、、みたいなのがCoqなのだろうけど、Coqは数学的すぎて整数がペアの自然数みたいなのになってたりする。
タグ：
posted at 03:07:57
介護士女子の体に触ってくる利用者は、その後女性が入れなくなって代わりに男性介護士が入ることになるんだけど、そういう奴は男が入ると露骨に嫌がらせしてきて好みの女性とチェンジして貰おうとする。私は手持ちのノートPCとDMMアダルトでそういうブラック利用者とうまく付き合いました。
タグ：
posted at 02:46:16
Alibabaの系列が開発したというSesame Creditの恐怖を説明するアニメ。中国はネット上の振舞を全て監視し中国政府と中国ブランドへの忠実さをスコアで計り高得点者に便益をはかることで人々をコントロールする。今はまだオプトインだが2020年に義務化されるとの話。事実は小説より奇なり twitter.com/wvualphasoldie...
タグ：
posted at 02:16:12
Python初心者をやってしまった
In [11]: def gao(a=[]): return a
In [12]: t = gao()
In [13]: t.append(114514)
In [14]: gao()
Out[14]: [114514]
タグ：
posted at 01:54:58
例えば、個人的に神回だと思ってるシュタゲ２３話。あそこの面白さって、絶望に希望が見出せた時の高揚感がメインだと思うけど、その高揚感を演出するためには岡部の中二病設定、お調子者、過去どれだけ岡部が失敗してきたか、など彼のキャラによる所が大きい。彼が主人公じゃなきゃ表現できない面白さ
タグ：
posted at 01:30:12
非公開
タグ：
posted at xx:xx:xx
オレの知る「プラントハンター」という職業は、大航海時代末をスタートとした約二百年間、パトロンの財政支援のもとに、未知の土地に新たな植物種を求め探し回る職業で、その価値観は種の分類記載という学術の要素がかなり強いものだったと思う。
タグ：
posted at 00:57:22
①タイのシャム文字がとくにメリットもないのに難しい！13世紀スコータイ朝のラムカムヘーン王め！
www.tlin.jp/thaimoji01.php
という記事を読んでそんなに難しいなら識字率は？と思ったけど、94.1%とそんなに低くなかった（オチなし）
②識字率ランキングja.m.wikipedia.org/wiki/%E8%AD%98...
#ボロノイ図メモ
タグ： ボロノイ図メモ
posted at 00:49:41
ほんと現代って時間が一番重要だよね。吸収する時間、考える時間、制作する時間。学びや制作ツールのコストはめちゃくちゃ減ってきているからお金はあまり重要ではなくなっている。
タグ：
posted at 00:48:14
北朝鮮ミサイルの可視化サイト面白い nagix.github.io/nk-missile-tes... pic.twitter.com/T2xXOJl7dT
タグ：
posted at 00:47:08
『正法眼蔵随聞記』を読んでいると、安易に叱ってはいけない、論戦で勝ち負けをつけてはいけないと執拗に書かれているのだが、そう言っている道元本人が「仏教界の何故何坊や」だったことを考えると非常に味わい深いというか、その手の失敗を何回やったんだと想像せざるを得ない。
タグ：
posted at 00:36:14
0時になったのでWebRTC Advent Calendar 4日目書きました！ ／ WebRTCの入門書を書いた話 mzsm.me/2017/12/04/web...
タグ：
posted at 00:09:42
