まつど
- いいね数 102,851/144,366
- フォロー 1,895 フォロワー 2,964 ツイート 80,115
- Web https://scrapbox.io/education/
- 自己紹介 批評とアニメ好き/ラノベ・漫画積読リスト http://scrapbox.io/lightnovel/
2017年12月29日(金)
『Just Because!』最終回を観た。望遠だ、青春は望遠なんだという意思を感じられて興奮した。亀井幹太さんの原画がミニサプライズ。ヴェスリペリアだ……！
タグ：
posted at 00:20:44
非公開
タグ：
posted at xx:xx:xx
『Just Because!』感想まとめ
togetter.com/li/1165907?pag...
12話（最終話）「Get set, go!」関連更新。
全体に極めて巧緻な作品でキャラクターの心情、構図、視点等の描写が常に素晴らしく。
また、既読（のタイミング）やスタンプなどLINE絡みの表現でも野心的な挑戦が目立ち続けた作品でした。
#JB_anime
タグ： JB_anime
posted at 01:30:08
めっちゃいいまとめ… / 他1コメント b.hatena.ne.jp/entry/s/www.pi... “社会人百合おすすめ漫画10選。大人女子のリアルな日常が魅力！ - pixivision” htn.to/Mm4Sq5F9
タグ：
posted at 01:41:38
面接者も面接官もどちらも心当たりがあるだろうけど、先進的な技術をアピりたい場合、自分の知識ドメインの特殊性から相手が無知で知らないと仮定して、かつ凄いもののように語ってしまうこと（戦略）があり、防衛戦略としてその価値の妥当性が測れないから落とすみたいなクソみたいな文化はあると思う
タグ：
posted at 01:57:07
仲山ひふみ Hifumi NAKAYAM @sensualempire
エアリプ。構造主義再評価の必要性は僕も感じている。20世紀前半の自然科学における相対性理論や量子力学の登場、数学におけるブルバキ主義につながる流れなど、実体主義から関係主義へという知の大転換が人文学では構造主義として現れた。今日、関係主義の徹底から新しい展望が開かれる可能性はある。
タグ：
posted at 02:03:30
仲山ひふみ Hifumi NAKAYAM @sensualempire
現状では構造主義的思考のアップデート（それすなわちハイパー関係主義の「創設」（このように言うのは歴史的に前例がないほどに関係主義的とならなければこの種の試みには意味がないからだが）である）は明確な成功を収めていないように見える。結局、理系／文系分断がボトルネックでは、と疑われる。
タグ：
posted at 02:20:22
仲山ひふみ Hifumi NAKAYAM @sensualempire
『ラディカル無神論』でヘグルンドはデリダの差延や代補（に代表される諸々の概念／語）に生の運動を、さらにその生の運動のなかに死の胚種を読み込んだと僕は理解しているのだが、この論点はブラシエ『ニヒル・アンバウンド』の啓蒙（死の擬態）論やトラウマ（絶滅の真理）論にも深く通ずると思う。
タグ：
posted at 02:37:56
仲山ひふみ Hifumi NAKAYAM @sensualempire
話を戻すと、ホイ・ユク（許煜）はシモンドンやルロワ＝グーランだけでなく、デスコラやヴィヴェイロス・デ・カストロなどの人類学系もフォローしつつ理論構築を進めようとしており（これは僕には時間と意欲の都合上できないことだが）、ある種の非ヨーロッパ的超越論性の議論への飛躍も期待させる。
タグ：
posted at 02:46:30
「PCで自分でOS作ってみようぜ？」って言うと「自分には無理ですよー」ってみんな謙遜しちゃうけど、「時代の最先端のIoTのふいんき掴むためにARMボードでプログラミングしようぜ！」って誘えば、ホイホイみんなついてきて全員まとめてベアメタルプログラミング沼に沈められるのでは？僕天才かな？
タグ：
posted at 02:55:53
仲山ひふみ Hifumi NAKAYAM @sensualempire
非ヨーロッパ的超越論性、あるいは可能世界において展開される他なる奇妙な哲学の歴史、おそらくは準‐哲学素と呼ばれるべきものによって表現される諸問題のシステムをどうやって捉え記述するか、潜在的ですらないものを――というのは文化人類学の課題でもあるだろう。だから一周してつながりはする。
タグ：
posted at 02:56:44
仲山ひふみ Hifumi NAKAYAM @sensualempire
哲学と普遍学というこの前自分でツイートしたことを振り返りつつ考えているわけだが、僕が哲学という言葉に、あるいは批評という言葉にこだわるのは、たぶんそれらが時間的で非表象的なもの――つまり音楽的なもの――との絆を強く保っているように感じられるからだろう。
タグ：
posted at 03:14:10
仲山ひふみ Hifumi NAKAYAM @sensualempire
音楽という表現領域の諸規則や諸慣習を前提にして思考すると、空間的（延長的）で表象的なオブジェクトっぽいものは本質的ではないため退けられるのだが、それは初歩的段階の話であって、高度な音楽はむしろ関係的であるはずの音響的経験をいかに実体的に／オブジェクト化し操作するかに関心をもつ。
タグ：
posted at 03:19:19
仲山ひふみ Hifumi NAKAYAM @sensualempire
新ウィーン学派を通じてダルムシュタット派を通りケージ的実験音楽やクセナキスなどに派生し、現在でもグリッチやらベース・ミュージックやらに受け継がれている基本的な考え方だと思うが、なんとなくそういうことが自分の思考の好みにも表れているような気はする。
タグ：
posted at 03:23:44
仲山ひふみ Hifumi NAKAYAM @sensualempire
蛇足だが、ベルクソン的枠組みに反発を覚えるのは、彼が時間と空間を量と質の概念に対応させて分断していることに対して、音楽史のその後の展開（時間をいったん量化することで別なる質化を達成すること）を知っている者として不満を覚えるから、と一応心理的側面からは説明できるような気がする。
タグ：
posted at 03:27:49
Kubernetesのインタラクティブチュートリアルやってる。Web上でコマンド実行しながら練習できるの良いよね。技術書の未来って感じする。 / “Interactive Tutorial - Creating a Cluste…” htn.to/nnyn25
タグ：
posted at 04:51:04
めっちゃいい。たくさんコースがあるし、しかも自分でもチュートリアル作れるの #katakoda / 他4コメント b.hatena.ne.jp/entry/s/www.ka... “www.katacoda.com” htn.to/x6buMe
タグ： katakoda
posted at 04:59:25
ドライバにもsandboxがある。(よりコアなレイヤーへの)システムコールフィルター、サービスホワイトリスト、後はファイルのアクセス制限。これで悪意のあるドライバをぶち込んでも、正規の動作意外をさせるのは難しい
タグ：
posted at 04:59:54
base serviceはfs+ldr+pm+sm+splで構成。ファイルシステムとかTrust Zoneへのアクセスとかコアなサービス。 あれだ。Androidで言うSystem Serviceのもっとヘビーなやつ？(適当)
タグ：
posted at 05:02:55
Switchのブラウザのメモリダンプから、独自のSDKがリンクされてた。要するにSwitchのSVCポーティング用のライブラリだけど、こいつがシンボルを持っててC++filtで見れて嬉しい。
タグ：
posted at 05:06:32
composingとdecomposing。これがハラウェイのコンポスト主義の核にある。藤原さんの分解の思想とも共鳴するだろう。人間的自己／他者の発想の批判。個体の死と絶滅の違い。絶滅したものが生き残ったものの生体に残す痕跡とか。自他とは異なる境界、差異を再考し、新しいつながりを見つける。
タグ：
posted at 05:07:27
WebKitから次の権限昇格。pl:uというサービスにOOB-Readの脆弱性。これでモジュールダンプとかもできる。(plutoo氏のハンドルに似てて運命を感じたらしいw)
多分PS4みたくWebKit支配したらモジュールロードAPI呼ぶだけwというわけには行かないんだろうな(syscall sandbox
タグ：
posted at 05:11:25
次、"base service"レイヤーへの権限昇格。上位レイヤーのサービスを管理する"sm"モジュールに致命的なアホ仕様。「上位レイヤーがPIDをsmに報告しないまま処理を継続すると未初期化でpid=0でroot権限をくれるw」
タグ：
posted at 05:15:20
smのハックで多様なサービスが動かせるようになったが、モジュールダンプまでは後一歩必要。カーネル内のfsp-ldrを使うとダンプできるが、こいつは1サービスしか接続できない。そこで、既存の正規のローダーldrを◯す必要あり。これはldr:roに0を与えるとクラッシュして行けた。
タグ：
posted at 05:23:56
#katakode 自分のサイトにも埋め込めるっぽいから、ブラウザ上で動く日本語のコマンドチュートリアル作って、図解・マンガ組み合わせたらさいつよのドキュメントになるのでは？ 超ワクワクしてきた。
#マンガでわかるDocker
posted at 05:26:35
次、カーネルハック。Switchはマイクロカーネルゆえ、カーネルのAttack Surfaceが少ない。
カーネルサービスを使える権限高めのサービスはASLR有効で攻略が難しい。
そこでまずはシステム起動時のブートから解析してみる事に。
タグ：
posted at 05:28:29
まずNVIDIAのBootROMがBCTとstage2 loaderを読み込む。stage2 loader自体はpackage1,2というバイナリで構成。前者は平文だが後者はゲーム機固有のキーと任天堂の秘密鍵のハイブリッドで暗号化
タグ：
posted at 05:38:53
なので、package1で任意コード実行をするしかない。ただしpackage1はRSA-PSSで署名されていて、署名自体と検証用の公開鍵はBCTの中に入ってる。公開鍵はSHA-256でハッシュ化されているため偽造できない。
タグ：
posted at 05:44:14
「そこで公開鍵のハッシュチェック処理をglitching attackで回避する」(！？！？w)
eMMCのバスを監視して、BCTの検証が成功した場合と失敗した場合の時間差を計測してTiming Attack的に鍵を特定した。FPGAボードで頑張った(イカれてんな...
タグ：
posted at 05:51:54
非公開
タグ：
posted at xx:xx:xx
任天堂がミスってカーネルの一部の領域をユーザー空間にマップしてた(！w)
カーネル空間は固定領域にマップされてるので、この領域のgadgetを使うとASLR bypassができる。
タグ：
posted at 05:58:50
CPU以外のバスからのアクセスはSMMUで防がれるためDMAは無理...かと思ったら"bypass the SMMU"でNVIDIAの仕様書を検索したら何と「GPU内のGMMUを通したアクセスはSMMUを回避できる」という記述が！w
「NVIDIAは自社製品に素晴らしいbackdoorを仕込んでくれていたw」
タグ：
posted at 06:03:59
というわけでGPU driverを介せばDMAし放題。なんだけど今度はカーネルのマップされた領域だけ別のDMA carveout機能で守られてる。ただし「カーネル内のProcessHandlerの仕様により40個以上のハンドラを確保するとcarveoutで守られてないプールに確保される」
タグ：
posted at 06:11:25
そこで偽のKSharedMemoryというオブジェクトを作ってプール内のHandle Tableに設定。これで正規のshared memoryだと誤認識させられる。で、既にpwnしたプロセスとカーネルコードを共有する感じのshared memoryを作ってめでたくカーネルpwn成功！！
タグ：
posted at 06:18:25
さて最後の関門、Trust Zoneのbypass。glitching attackのおかげでセキュアモニターのバイナリは解析できる(package 1に入ってる) package2(カーネル本体等)の復号と起動、Tegra SEを使った暗号化処理、CPUコアの制御を担当。
タグ：
posted at 06:24:13
#数楽 数学におけるよく見る誤解は「同一の数式の定義が一通りに決まっている」です。
「a_1 + a_2 + a_3 +…」の定義は無数にあります。
ゼータ正規化を使っている場合に
1+2+3+… = ζ(-1) = -1/12
は普通に正しい式だとみなされます。続く
twitter.com/snuffkin/statu...
タグ： 数楽
posted at 09:43:19
#数楽
1+2+3+… = ζ(-1) = -1/12
のような普通の数学の話題を【量子コンピュータでないものを量子コンピュータと言っちゃうのと同じ事】だと言ってしまうことの背後には誤解があると思いました。
完全に同一の記号列で表された式の定義は一通りとは限らない。これ重要。
twitter.com/snuffkin/statu...
タグ： 数楽
posted at 09:47:58
tsujimotter 日曜数学者 @tsujimotter
いつも思うのですが、なぜこの手の一般向け解説に ζ(-1) = "1+2+3+..." = -1/12 ばかり取り上げられるだろう。ζ(2)でも十分面白いでしょう。ζ(-1) の場合「解析接続」という技術的に難しい話を経由しないと理解できない上、たとえ理解できたと頑張った事に見合うほど（私は）面白いとは思えないのです
タグ：
posted at 10:23:09
#数楽 添付画像は
arxiv.org/pdf/math/02061...
より。この論文ではDirichlet級数のq類似を扱っており、かなり精妙な計算を行っています。精妙な計算の背景にあるはずの数学はまだ謎のままだと思う。 pic.twitter.com/hrPJEoeotp
タグ： 数楽
posted at 10:40:31
第五世代コンピュータと第二世代AIが目覚ましい成功を収め、GoogleではなくNTTや日立がウェイウェイしてる世界線めっちゃよくないですか。AIエンジニアのための数学として一階述語論理の本が飛ぶように売れ、Kaggleでは皆しこしこPrologを書くわけです。
タグ：
posted at 10:55:23
前に講義でも言ったんだけど、もう漫画家は商業だけで食ってけるのはホントに一握りだけなので、ブログでも同人でもnoteでもなんでもやって生き残る道を探すしかないと思う 兼業も賢いと思う 「連載してるけど食えない」って作家がたくさんいる時点でもうヤバい
タグ：
posted at 11:23:05
挫折したとはいえ米国議会図書館による、SNSも収集する、個人も含めた全てのツイートを収集する、という先進的開明的民主的なチャレンジと、日本の国会図書館の保存事業による、国内ウェブサイトでよい、公的ウェブサイトで十分、民間人など論外、という硬直的官尊民卑的方針は、好対照。 twitter.com/hitokotoan/sta...
タグ：
posted at 11:43:04
積み本が崩れて来て、積み直している時に、『現代思想』の「現代思想の総展望2013」、「現代思想の転回2014」、「現代思想の新展開2015」が順に出て来て、このシリーズ（？）結構持っているんだなあ、と思った瞬間、読みたかった最新号を買っていないのを思い出して、崩れて来ないKindleで購入（学び）
タグ：
posted at 11:58:42
【速報】全国のサイゼリerのみなさん！
#saizeriya_meetup が2017年トゥギャッター30選に選ばれましたよ！
togetter.com/special/matome...
タグ： saizeriya_meetup
posted at 12:38:07
離散行動空間におけるエントロピー制約付き強化学習でのベルマン最適方程式を提案し、マルチステップで成り立つ等式を導出。従来別々に行っていた価値関数と方策の学習が、導出式から導かれる損失関数の最小化という統一的な見方で表現される。
www.slideshare.net/DeepLearningJP...
タグ：
posted at 13:00:00
まほよめ１クール目観了．いやぁ圧巻の映像美．エリアスの内面モノローグはまだ早いのではないかとか相変わらず細かく惜しく感じるのだけど、総合的にこの世界が好きだしまだ１クール浸っていられるというのが有り難い ここまでできっちりチセの成長譚がまとまってるから、純粋に先がワクワク出来る
タグ：
posted at 13:06:12
年末特集: TechRachoの2017年度人気記事リスト - techracho.bpsinc.jp/hachi8833/2017... #techracho pic.twitter.com/HWCDSngwoZ
タグ： techracho
posted at 14:26:52
Atomically thin perovskites boost for future electronics phy.so/433583473
２次元薄膜ベロブスカイト、既存のセラミックスコンデンサより３桁容量大きいとかワロタ(⌒▽⌒)
タグ：
posted at 14:30:29
Schoo の資料作りを進めているのだが、人に何かを教えようと思うと、必然的に自分自身の知識やスキルもアップするなぁ…。
知らなかったことを深掘りできてて、凄く楽しい！
（RectTransform の Blueprint Mode とか Raw Edit Mode とか知らなかったｗ）
タグ：
posted at 14:47:36
仲山ひふみ Hifumi NAKAYAM @sensualempire
最近思うのだが、思想とか批評とかそういった言語活動は狂っていないとできない。精神分析の対象となるような狂気と隣り合わせでないと遂行できない。しかしこの場合、狂気とは理由不明の元気さの謂いでもあるだろう。で、狂うことすらできないほど疲労した人々で埋め尽くされているのが現代だと思う。
タグ：
posted at 14:59:19
仲山ひふみ Hifumi NAKAYAM @sensualempire
70年代80年代の思想と批評とか文化の時代は、そういうある種の生産的狂気の時代でもあったんだろうなと思う。いま、狂気は沈黙を強いられ、疲労を通じて静かに社会的領野から排除されていっているように見える。不況＝鬱としての非狂気？ 構造としての狂気を戦略的に立て直すべきかもしれない。
タグ：
posted at 15:06:27
アニメで所謂クソアニメ作品を３つ挙げるとすると何を選びますか？ちなみに、質問者の場合は以下の通りとなりました。… — 1, Isuca
2, 一人之下
3, 聖戦ケルベロス 竜刻のファタリテ
まあこのあたりが普通はクソアニメに… l.ask.fm/igoto/45DKECN7...
タグ：
posted at 15:07:09
仲山ひふみ Hifumi NAKAYAM @sensualempire
マーク・フィッシャーの『資本主義リアリズム』の邦訳が出るのか！「Kパンク」ことマークは思弁的実在論や加速主義の言説に影響を与えたことで知られ、またUKクラブ・カルチャーとのつながりやその独特なホラー論などでサブカル的にも大変興味深い人物。夭逝した彼の主著が本書。買いですね。
タグ：
posted at 15:42:51
非公開
タグ：
posted at xx:xx:xx
でも、まぁ、ゲーデルは、不完全性定理が証明できるもっとも弱い帰納的に公理化された形式算術の体系も、モデル論的証明とウソツキのパラドックスの関係も、なにも知らなかったので、その意味では僕らはゲーデルの不完全性定理をゲーデルよりよく理解してるんですよね。 twitter.com/paulerdosh/sta...
タグ：
posted at 16:48:56
下の句を「それにつけても金の欲しさよ」に付け合うことで、どんな風雅な句も狂歌の体に収斂させてしまう言葉遊びを「金欲し付合」という[1]。江戸中期に流行した。ja.m.wikipedia.org/wiki/%E7%8B%82...
遊び方がツイッターっぽい
タグ：
posted at 16:51:38
これはご存知ない方のために敢えて言うのですが、地方の商店街は“絶滅が完了”した。記録に“遺す”ため（私のように）“気づいてる連中は既に走り回っている。” pic.twitter.com/lXVHqrfIRs
タグ：
posted at 16:52:16
コラ！カツオ！「○○をやろうと思ってる」だとか「△△を始めた」だとか「××の努力をしてる」だとか、結果ではなく単なる思いつきや過程をその都度ネットで発表してたら、そこで一時的に承認欲求が満たされていつまでたっても結果は出ないわよ～！デキる男はみんな黙って行動し、結果で語るのよ～！
タグ：
posted at 16:57:40
非公開
タグ：
posted at xx:xx:xx
『血界戦線＆BEYOND』あれ、妖眼幻視行って原作で読んであんな熱かったのにこんなあっさりしてたっけな とは思うけどそれ言い出したら１期に続き全体的に尺が足りてなくって制作そのものに問題がありそうだけど、ラストまで映像を黒く規制されるのも厭わない全力作画で目が贅沢でした
タグ：
posted at 17:13:07
『血界戦線＆BEYOND』原作の世界観を紹介する目的だった１期と同じ短縮構成を２期でもとる意味は全然わからなくって『ノラガミ』のニの轍感はあるし、『DTB』の構成とか『スペダン』のスタッフィングとかのおいしいとこ取りをすればもっと上手くってつまりボンズはもっと自社の財産を参考にして！
タグ：
posted at 17:20:50
『血界戦線＆BEYOND』サイコパスの退屈な未来都市の５兆倍魅力的な都市だと思うし、前景の人間たちはあくまでエキストラとして都市の奥行きは１期、２期と拡大し続けてると思うので、東宝さんには今後ともヘルサレムズ・ロットの映像化を宜しくお願いしたい所存 最適解のスタッフを見つけ出すまで
タグ：
posted at 17:24:23
「衒学的」という言葉は「重箱の隅をつつくような、本質的でない厳密性にこだわる」ことを第一の意味とするのか。私はこれまで「厳密な定義を述べず、専門性の高さを装ったりジンクピリチオン効果を狙っている」ことかと思ってた。学を衒うといっても、様々な衒い方があるんだなあ。どう言えばいい。
タグ：
posted at 17:44:09
非公開
タグ：
posted at xx:xx:xx
プロバイダ絶対解約したいマンにお勧めの方法ですが、まず、port8080にsquidのhttpsプロキシサーバをパスワードなしで立てて、中華系プロキシサイトに書き込むと数日でプロバイダ側から解約してもらえます
タグ：
posted at 18:20:41
グレンラガン再放送MXの電波がビリビリだったのでレンタルしてきた ２６話で涙出るの何度目だろ キタンたちの後だしニアの衝撃に備えるだけで心臓いっぱいいっぱいでブー太の意外性にやられてるのにしれっとロージェノムがさぁと思ってたらヴィラルが、、、Bパートだけで何重にATフィールド破るのか
タグ：
posted at 19:11:33
はてなブログに投稿しました #はてなブログ
はてなブログでsvg画像を表示する方法 - 哲数物を学ぶ
oviskoutar.hatenablog.com/entry/2017/12/...
タグ： はてなブログ
posted at 19:33:30
プリプリは10選で2話と8話のどちらを選ぶかで見てる人の焦点の当て方が分かれる気がするなあ。関係性を見ると2話、心情を見ると8話になるのかも。
#そして僕は2話と悩んで5話を選んだわけだが
posted at 19:58:56
N(eutral).W(-boson). @math_phys
先日のQitta Advent Calendarに投稿した記事(qiita.com/cotton-gluon/i...)の、KdV方程式パートの『進んだ注』とjupyter notebookをとりあえず公開しました。(気が向いたら改良するかも。)
タグ：
posted at 19:59:25
一つの哲学やスタイルを全適応できるわけがなくて、有機的に絡み合ったそれぞれのロジックが時代のコンピュータリソースや、スタイルの進化に応じて、可塑性を持って変化していくことを許す疎結合なシステムでないと、みずほ銀行のような悲しいことになるから、qiitaがリプレースできたのはいいこと
タグ：
posted at 20:48:26
この構図とカメラワークと背景の融合の極致は何？そこはもう既に神の宿る場所。そっちでしたか、な開幕12話。視線も想いも誘われるまま。これは体感型の映画。よかった、大丈夫、に込められた深い物。リアルな演技と描写、決心と揺らぎ。運命は悪戯だけどきっと大丈夫だよ #JB_anime #JB #justbecause pic.twitter.com/D0jAhnc3ir
タグ： JB JB_anime justbecause
posted at 21:05:25
Interpretable Machine Learning—A Guide for Making Black Box Models Explainable. christophm.github.io/interpretable-... ブラックボックス化しやすい機械学習を説明可能・解釈可能にするためのガイド．決定木使えば，とか言わない．
タグ：
posted at 22:04:33
柿並さんの紹介で佐藤良明さんを囲む忘年会に参加。『ヱクリヲ7』も無事献本。面白い話を聞いた。氏の在籍当時の東大英語教師は総じてレベルが低かったらしいが、その中で由良君美が傑出してレベルが高かったらしく、テスト問題を見ただけで「これは頭の良い奴が作ったものだ！」と分かったという。
タグ：
posted at 22:47:11
会社員を経て学生に戻ると、会社のために働くことへの関心が清々しいほどに消える。すると今度はそれが人生にとって必要な制約なのかを虚心に検証しようという気になる。やはり必要だと納得できたら文句はないし、別の道が見つかればより幸せだ。
タグ：
posted at 23:25:06
