Notices by みかん (osa_k@social.mikutter.hachune.net), page 6

本屋が売ってる本について著作権絡みのライセンスを得ているとは思えないし、必要があるとも思えないので、販売してるだけの人に対してGPLでなんかやるのは難しそうな気がするが

GPLに従わない製造元から商品を仕入れて小売に回すのはどうなん？みたいな道義上の問題は確実に問えそう

ルベーグ積分やらないと合法的に積分と極限を入れ替えられないので……

去年の冬から集合論→複素解析→ルベーグ積分と進んでいます

最近は脳の回路が繋がってきて、有理数と見ると「「「弱い」」」と思うようになった

自然に思える性質スターターパックから異常な集合を引っ張り出してくる選択公理さんの話ですか

ストーリーが一応あるけど追ってもよく分からない洋パズルゲーの話か！！？

パズルゲーは自分を鍛えるために作業するゲームなのでそれで正しい説はある

かつてはそう思っていたけど、最近は寝る前にYoutubeで無限に時間を溶かしているのでイベント振り返り視聴いけるなとなった

次善の策としては、イベントを全部後から動画で見れるようにしてほしい

アトリエもイベントボイス全部聞こうとすると間延びしてだるい面があり、イベントを視聴したクオリアを文章を読む速度で手に入れたいんだよな。クエストに挟まるからだるいだけで芝居は魅力的なので……

そもそもゲームキャラの喋る速度、たいてい日常会話と比べても遅いから余計にテンポが悪く感じる

朝カレー

DBに値を読んだり書いたりしつつJSONを返し、ブラウザでJSONをいい感じのUIに変換するだけのアプリでフロントもバックもしっかりコード書いてるの何かが間違ってる気しかしない。こういうのこそノードンを繋ぐだけで作れるべきなのでは……

自分にもよく分からんからセーフゾーンに寄せろと主張するイデオロギストが鬱陶しいのはそう

問題は人、それはそう

GPLの主目的は https://mastodon.cardina1.red/@lo48576/106595083227644957 で、これを実現するためには相手が誰であろうと強制的に伝搬していくライセンスである必要があって、強制力を実現するにはコミュニティによる監視が必要なんだけど、強制力のメカニズムが複雑（というか法律の未定義動作を踏んでる）なので特に最近のソフトウェア環境に合わせた解釈を詰めきれてない感がある

アというのは単に汚いというだけでなく厳密性も微妙

WTFPLは文言がアなのでPublic DomainかCC0を使えという話が（日本では著作権の放棄が不可能なのでCC0が無難）

逆にそのへんの企業が作ってるEULAの法的拘束力はどういう仕組みになってるんだろう。単に物量で契約違反を発見できるから強いみたいな構造なのかな