メノン (対話篇)
· ☕ 1 min read
「人間は, 自分が知っているものも, 知らないものも, 探求することができない. 第一に, 知っているものを探求することはありえない.知っている限り, 探求する必要はないからである. また, 知らないものを探求することもありえない. その場合には, 何を探求するべきかも知られていないからである.」 → 探求のアポリア ...

ジョジョ5部・円環・過程・内部分裂 メモ
· ☕ 2 min read
→ 生命を与える=未来=時間をすすめる → “エクスペリエンス”=過去=時間を巻き取る → 時間を円環に投げ込み, 結果を宙吊りにする. (円環というか螺旋の射影) → 過程 vs 結果 の対立 (過程側) → エピローグ「眠れる奴隷」 ディアボロ → “キング・クリムゾン”=時間を止め, 知覚不能にする → 過程 ...

Hooked
· ☕ 1 min read
Trigger → Internal / External Action Eyal draws on B.J. Fogg’s work regarding persuading users to perform a desired behavior, as follows: The user must have motivation (M). The user must have the ability to complete the action (A). A trigger (T) must be present to activate the behavior. In short, Fogg’s formula is B = MAT. Variable Reward Rewards of the tribe is a social rewards fueled by connectedness with other people. Rewards of the hunt is the search for material resources and information. Rewards of the self is the search for intrinsic rewards of mastery, competence, and completion. → 社会(外的)・物理・内的 Investment → “a bit of work” (not passive but active) For example, in the onboarding processes for Pinterest, Facebook, and LinkedIn. In the case of LinkedIn, the application presents users with a graph that illustrates the strength ...


角川俳句 2021 10月号
· ☕ 1 min read
二物衝撃 → 「子を殴ちしながき一瞬天の蟬」 秋元不死男 → 好き (西村和子) 「林檎剥き分かつ命を分かつべく」 ...


テストについて
· ☕ 1 min read
#開発 #テスト テストケースを如何に作るか ・EP-BVA手法 ・ペアワイズ法 → → 各属性の全パターンを網羅しようとすると計算量爆発するので, 任意の二項間のみでテストケースを作るようにする → 「ソフトウェアのバグの多くが1つまたは2つの因子の組み合わせによって発生している という事実に基づいてテストケースを作成する方法」 ・状態遷移 ...


Lattie
· ☕ 1 min read
https://airbnb.io/lottie/images/logo.webp Lottie is a mobile library for Android and iOS that natively renders vector based animations and art in realtime with minimal code. Lottie loads and renders animations and vectors exported in the bodymovin JSON format. Bodymovin JSON can be created and exported from After Effects with bodymovin, Sketch with Lottie Sketch Export, and from Haiku. 引用: https://github.com/airbnb/lottie-ios Bodymovinとは, After Effectsのプラグインのことらしい. → https://github.com/airbnb/lottie-web ...


OCamlとTail Call
· ☕ 2 min read
末尾再帰について一度整理しておく. → OCaml, Haskell, Scala など多くの関数型言語の処理系は末尾再帰を最適化. 末尾呼び出し 1 2 3 4 5 6 7 8 fn f(x: T){ifisTrue(hoge){// not 末尾呼び出し returng();// 末尾呼び出し }else{returnx*h();// not 末尾呼び出し }} 末尾再帰 1 2 3 4 5 6 7 8 fn f(x: T){ifisTrue(hoge){returnf(x);// 末尾再帰 }else{returnx*f(x);// not 末尾再帰 }} → 末尾再帰はコールスタックを食いつぶさない コールスタック 通常のプログラムの実行モデルでは、関数を呼 ...

アイデアの作り方 (ジェームズ・W・ヤング)
· ☕ 3 min read
「アイデア作成の基礎となる一般原理」 → 1. アイデアとは既存の要素の新しい組み合わせ以外の何ものでもない。(p28) → 2. 既存の要素を新しい一つの組み合わせに導く才能は、事物の関連性を見つけ出す才能に依存するところが大きい (p29) 1について → 「アイデアは、製品と消費者に関する特殊知識と、人生とこの世の種々様々な出来事についての一般 ...


中動態の世界
· ☕ 7 min read
p32.「能動と受動の区別は、責任を負うために社会が必要とするものだったからだ。」 p41. 「中動態とはかつてのインド=ヨーロッパ語にあまねく存在していた態である」 p34. ヴァンニエスト曰く、もともと「中動態 ─ 能動態」という枠組みがあって、後から「能動態 ─ 受動態」の構図が生まれた p50. 「ある研究者は、近代英文法の教科書はほとんどトラクス ...