久我山菜々+
- いいね数 883,988/891,403
- フォロー 5,000 フォロワー 3,071 ツイート 428,718
- 現在地 50.4509531, 30.52263736
- Web https://scrapbox.io/rebuild-kitashirakawa/
- 自己紹介 臼NG http://keybase.io/nona 本アカウントでの発言は所属する惑星の見解を代表するものです。★☆ サクラハッピーイノベーションを人々の生活にお届けします。
2021年09月06日(月)
オーストラリア終わったね。警察が容疑者のもつデータの破壊、監視、乗っ取りが可能になる法案が通った。その手続きを監視する仕組みもない。国内の企業は従わなければ10年以下の懲役。
twitter.com/TutanotaTeam/s...
タグ：
posted at 00:26:02
非公開
タグ：
posted at xx:xx:xx
🧵
newtype Levels a = Levels [[a]]
話題のこの↑モナドだけど、（元ネタ論文にもあるように）正確には
newtype Levels a = Levels [Bag a]
です。ここでBag aは[a]から*順序の違いを無視した*型（Haskellでは書けない！）です。
タグ：
posted at 01:52:36
Bagのような型が仮にあれば、Levelsが正しくMonadであることをざっくり説明します。
まず、Bagそれ自体もMonadになります。モナド演算はリストのものと同じです。pure aは唯一aをもつBag、joinはBagのBagをとって、中身をすべて合わせてひとつのBagにします。
タグ：
posted at 01:52:37
リストモナド[]は[a]が自由モノイドであることに由来します。すなわち、随伴FreeMonoid |- ForgetMonoidに分解されます。このBagモナドも同様に、Bag aが自由可換モノイドであることに由来します。
タグ：
posted at 01:52:38
ListT m a = ListT (m [a])は、可換なモナドmに対してはモナド則を満たすモナドになっています。これは、「可換なモナドmはモノイドの圏上のモナドになっている」ことと、「あらゆる随伴F |- GとモナドTから、モナドG∘T∘Fが作れる」という事実によります。
タグ：
posted at 01:52:38
LevelsがモナドになるのはListTと同様の理由です。Bagは自由可換モノイド関手であり、[]は可換モノイドの圏におけるモナドであり、Levels = (忘却関手)∘[]∘Bagです！
タグ：
posted at 01:52:40
進振りで学部所属したとき、学科長が挨拶で「皆さん学生相談室は気楽に使ってくださいね。この学科の学生の鬱率は5%です。教員の鬱率は8%です。」って言ってた。
タグ：
posted at 01:53:35
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
【総ザコ呼ばわり回数500回以上!】地獄のザコち○ぽ【ドM向け・メスガキトリップ】/シロイルカ 25%OFF 9/10 23時59分まで dlsite.jp/mawot/RJ339357...
#DLsite
タグ： DLsite
posted at 02:33:44
初めてジュラシックパーク見たんだけど怖過ぎて心臓止まるかと思った、ラストの畳みかけでリタイアしそうだったけど子役の演技が死ぬほど上手い、CGすげえとメタを一生懸命考えて乗り切りました、ハラハラ系ガチで死ぬほど向かない
タグ：
posted at 02:34:06
非公開
タグ：
posted at xx:xx:xx
金曜日にご指摘いただいた著作権のある素材の無断使用について、色々研究し、今画像を洗い出しています。私のウェブサイトで購入させていただく画像については、各社の手続きに従って、個別に購入し、随時差し替えなどを進めます。ご迷惑をおかけし、お詫びします。 twitter.com/yokoishikura/s...
タグ：
posted at 08:08:16
非公開
タグ：
posted at xx:xx:xx
何度目かな、詳しく説明するから記者派遣して。
世界中（日本は除く）のサイエンスプロジェクトで、小型アマチュア無線機搭載した気球を飛ばしています。
各機体はここで追えます→tracker.habhub.org/#!mt=roadmap&m...*;
青森・八戸の上空に白い球体 「正体不明」と気象台 #ldnews news.livedoor.com/article/detail...
タグ： ldnews
posted at 09:01:37
1200台分の駐車場をメガソーラーに xtech.nikkei.com/atcl/nxt/colum...
バズってたメガソーラー駐車場
どうやら懸念してた諸条件を解決してるようで
タグ：
posted at 09:09:32
報道機関の皆様へ。これをしっかり読みましょう。
→vepimg.b8cdn.com/uploads/vjfnew...
説明が必要なら連絡ください。静岡大学「ヤング・アマチュア・バルーン(体験局コールサイン8J2YAB)」チームが彼に代わってご説明するのやぶさかではないです。
タグ：
posted at 09:26:58
ペット療養食の話で、怒った獣医さんが禁止になる前に、在庫の療養食を送料無料の定価販売をメルカリで初めたので一気に値崩れ起こして転売ヤーが在庫抱えて大損こいたという痛快な話が有りました twitter.com/chilime/status...
タグ：
posted at 09:35:03
アイロンでトーストを焼いてみたところ、普段食べているトーストとまったく違う食べ物になって笑った……。 pic.twitter.com/21iXW7azMu
タグ：
posted at 09:46:50
オリエンタルラウンジ【公式】 @oriental_lounge
こちら、うちの町田店ですね…！普段はこのように店内の男女人数を表示しているのですが、なぜか雨の日にこうなってしまい😢数ヶ月前からサイネージ業者さんと何度もやり取りしているのですが、なかなか不具合が直らず😢お騒がせしてすみません🙇♀️💦 twitter.com/shsub/status/1... pic.twitter.com/9tAv9RfyWG
タグ：
posted at 10:25:17
則について気にせず書いてしまったけど、僕が論文から翻訳したときに二重リストで書いてしまったことによってLevelsはApplicative, Monad則を満たさなくなってしまっていたようです🥲記事の方も書き足しておきました twitter.com/viercc/status/...
タグ：
posted at 10:30:16
全裸中年男性(36)(小泉悠ではない) @shin_semiya
「マネージャーにならなくてもスペシャリストとしてのキャリアもあるし、昇格昇給もある」会社もあるんですけど
往々にしてスタートアップの場合初期からいる辞められると困る腕のいい古株のために作られた「特別枠」だったりするんですよね。
タグ：
posted at 10:39:29
全裸中年男性(36)(小泉悠ではない) @shin_semiya
後から来た人が「僕もマネージャーになりたくないのでスペシャリストになりたいです！」といって認められるかどうかはまた別問題ですし
認められない会社の方が多いんじゃないですかね、知らんけど。
タグ：
posted at 10:39:55
彼が引用しているのは中国大陸の電話番号でWeChatアカウントをつくった場合に適用される腾讯科技との契約で、日本の電話番号でアカウントをつくった場合に適用されるシンガポールのTencent Holdingsの規約と異なります。(WeChat Pay使うとかで無理やり中国大陸の電話番号を入れない限り)関係ないです。 twitter.com/sakai_web/stat...
タグ：
posted at 10:59:28
情報の所有権の移転については、WeChatに限らず多くの個人向けサービスで同様の項目が定められています。法人版のサービス(Google Workspace, WeChat Work など) にはそういった条項がないので業務利用の場合は適切なサービスを使いましょう。
タグ：
posted at 11:26:17
【自宅でのセルフケアを余儀なくされている方々へ】
現在、ご自宅で水分補給を必要とされる方々に、
ポカリスエット（ポカリスエット900ml×12本、ポカリスエット アイススラリー100ｇ×36個）をお送りします。
詳細はこちらからご確認ください。
krs.bz/otsuka/m/pscp
タグ：
posted at 12:00:00
非公開
タグ：
posted at xx:xx:xx
英語で "literally" が「マジで」みたいな単なる強調に使われすぎるので、本当に「文字通り」と言いたいときに "literally literally" と言う、という話を思い出しました。 twitter.com/mui_nyan/statu...
タグ：
posted at 12:43:24
Atree @ サウンドクリエイター（自 @kazuki232
のらべりの参加締切、「これを超えたら入れません！！」っていうより、「これを超えて入ると、"Twipla の情報を利用して名簿作成する" という作業から漏れる可能性がある」というだけなので、何か個別にご連絡いただくか何かでお願いします（？）
タグ：
posted at 12:46:14
シンノ-Illustrator- / V @shinno_Arts
Q:登録者が多いVtuberって何人からだと思いますか？
個人V: 「1万人」
個人Vリスナー: 「5万人」
企業V:「10万人」
企業Vリスナー: 「50万人」
企業の偉い人: 「100万人」
くらい数字感覚のズレがある気がする。
100万超えのVは現状24人で見る側からするとすでに全員は追えないくらいの数よね。
タグ：
posted at 12:53:40
「蜂蜜を1滴入れてアサリの砂出しをするとコハク酸が数倍に増える」という話が本当なのか試してみた。蜂蜜1滴以外は同条件で砂出ししたアサリを用意して澄まし汁にして比べてみたら、蜂蜜入りが圧倒的に濃厚で出汁に深い奥行きがある！！🙂これ出荷段階で蜂蜜を垂らしておくといいのでは…笑 pic.twitter.com/aecsAmmhde
タグ：
posted at 13:15:46
自分が今何歳なのか丁寧に考えると苦しみしかないのでかなりあいまいに考えるようにしている
曖昧に考えたところ だいたいもうすぐ12歳になるくらいのころだと思う
タグ：
posted at 14:07:19
OSS活動、趣味で作ったものを大勢に使ってもらえてコメントもらえるのめっちょ嬉しい！
でも、IssueやPRを捌ききれなくなった頃から「なんで無償でこの人達のサポートをしなきゃいけないんだ」みたいな思考になって投げ出した過去があるので気軽にスポンサーになってくれる個人や企業が増えてほしい。
タグ：
posted at 14:44:48
新しく会った人｢ぼくVR感度持ちなので…｣
私｢あっ、じゃあ距離を少し開けたりして撫でたりとかはやめた方が｣
新しく会った人｢たくさん撫でたりして貰えると嬉しいです｣
私｢そっちかー｣
タグ：
posted at 15:28:34
非公開
タグ：
posted at xx:xx:xx
ワクチン接種者と非接種者の致死率の比較は誤解を招きやすいと思う。極端な話、仮にワクチンが感染（確認）を95％、コロナによる死亡を90％減少させる効果があるとしたら、ワクチンがコロナ死を減らすにも関わらずワクチン接種者の致死率は非接種者と比べて2倍になる（はず）。
タグ：
posted at 15:54:01
昨年6月の仙台の時（同じ趣旨の発言をした）はほぼ無反応だったのに今回はバズってしまい驚いています。無線ネタでも初バズ。
ちなみにその仙台のはこれですね。日にちあってます。
出典→vepimg.b8cdn.com/uploads/vjfnew... 資料P24から調製 pic.twitter.com/N0GrynpK81
タグ：
posted at 16:37:09
非公開
タグ：
posted at xx:xx:xx
感染リスクに気を遣わなくてよいように，卓上が透明な仕切りで空気も行き来しないように完全に区切られていても対戦できる（したがって帰結として卓上の各コンポーネントは高々1人しか触らない）ようなルールのボードゲームを考えたい気持ちがちょっとある
タグ：
posted at 17:01:57
非公開
タグ：
posted at xx:xx:xx
ナットを固定するこの工具、てっきり「スパナ」という名前だと思ってたんだけど、AliExpだと「レンチ」のほうが検索にひっかかる。ざっと調べてみると、スパナ(spanner)＝イギリス英語、レンチ(wrench)＝アメリカ英語、だが、日本ではあまり区別がないらしい。へー。
www.haikanbuhin.com/blog/post-1437... pic.twitter.com/oWKGCizWAt
タグ：
posted at 17:09:36
「無症状でも他人にうつす可能性があるので常にマスクを着用しましょう」は、「降水確率10%ですが稀に雨が降る可能性があるので外出時は晴れていても常に傘をさしましょう」みたいな感じじゃない？
タグ：
posted at 17:38:39
【お知らせ】
お酒が好きだと公言していたら『ジムビーム』というウイスキーのCMに出演することになりました
あまり業界について詳しくないのですが、目にモザイクがついてる奴ってCMに出していいんですか？
youtu.be/Kcxi3cUatwA pic.twitter.com/FC3KXS06Qt
タグ：
posted at 18:01:00
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
Atree @ サウンドクリエイター（自 @kazuki232
今日も元気にしぃしぃしぃ
みんな仲良くハニャニャンニャン
Twi の Pla から Ctrl+C Ctrl+C Ctrl+C
SpreadSheet に Ctrl+V Ctrl+V Ctrl+V Ctrl+V
タグ：
posted at 18:35:26
肉丸@ 「アイツノカノジョ」＆「ばっどが @nikumarusuisann
虫に吸われた跡ができちゃった男の娘
#男の娘 pic.twitter.com/FLDL69NAwf
タグ： 男の娘
posted at 18:48:51
YAMAHAのRTX830をモデリングしました
実機は持ってないけど、美しいルーターです
金属板を折り曲げ加工して作った感じが出てて満足です pic.twitter.com/7HrxOQ0R2Z
タグ：
posted at 18:57:12
オーバーオールゆのっち
#odaibako_Percy_PYL pic.twitter.com/hzKNR2NTLa
posted at 19:10:00
この図だと「物凄い下がった！嬉しい！」が普通の反応みたいだが下がり方エグすぎて不安になるやつ。「デュッセルドルフこんなに高くねーぞフラットで5千円だ」とのリプがある。あくまで「MNO首位」且つ（政権が最も露骨に圧力をかけた）「20GBプラン」に絞った話 twitter.com/kantei/status/...
タグ：
posted at 19:22:30
ある日突然、あなたにd12人もの【家族表】ができたらどうしますか？
それも……とびっきり【外見的特徴表】
とびっきり【性格表】で
とびっきり【外見的特徴表】
とびっきりの【性格表】。
しかも、そのうえ……
彼女達はみんなみんな、とびっきり！【PCランダム選択】のコトが【感情表1】なんです……
タグ：
posted at 19:23:32
名の変更申し立て、家庭裁判所から質問が来たとかで、ちょっとした小論文みたいなものを書かされているんだけど、これ小論文テクニックがないやつ詰むのでは…？🤔
いやこれで通るのかどうかもまだわからんのだけどこれだけ正直実直に答えてダメなら嘘ついたほうが得な社会だと思って生きていきます pic.twitter.com/2j1bATwrua
タグ：
posted at 19:24:02
ε ω #絵かゆ #できたてころね pic.twitter.com/QXrEDoAy8K
posted at 19:26:55
サブブランドや格安SIMで実現されるべき値下げを「MNO料金プラン」の建前で比較しているのでべらぼうに安くなったように見える。消費者としては嬉しいが、行政判断を歪める不正接待とNTT再結集といった一連の総務省疑獄とも繋がってくるので手放しに喜べる話でもない
タグ：
posted at 19:27:58
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
裁判所に借金の有無とか返済の延滞を調べる能力無いだろうし、主治医にも頼み込んだら専門じゃなくても性同一性障害の診断書書いてくれるかもしれんけど、そういう欺瞞をやるしかないとか、やらせるような社会だったら、破壊してでも変える必要があると確信するしかなくなってしまう
タグ：
posted at 19:42:08
日本で研究不正がはびこり、ノーベル賞級研究が不可能である理由 www.newsweekjapan.jp/stories/techno...
論文撤回数ランキング、想像より1桁多かった pic.twitter.com/wzlSbs4Qsg
タグ：
posted at 20:18:43
バレて嬉しいのがオマージュ
バレないと困るのがパロディ
バレて困るのがパクリ
バレるも何も意図してないのがネタ被り
意図してないし被ってもないけどパロディと思われるネットミーム
食べたら美味しいのがご飯
無いと困るものが金
大事にしていきたいのが愛
俺が愛してのはお前……❤️
タグ：
posted at 20:36:29
ARuFa氏のCM出演が決まったことで「この目線の人誰だろ？」と言う母親に「確かARuFaっていう人。俺もあんま知らんけど」とだけ返し、興味ないですよ〜の顔をしながらも目だけはしっかりテレビの方に向けているときのあの空気が、全国各地で発生するんだろうな。
タグ：
posted at 20:37:36
ちょっと私用でスクレイピングするコード書いてたんだけど SSR レスな SPA だったのでどの URL 殴ってもとりあえず 200 が返ってきてお前お前お前ーッ!! ってなった（なった）
タグ：
posted at 20:38:12
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
手続きはネットでいい、店舗は全く利用しない、SIMフリー機を買ってるが、通信には高品質を求める人の受け皿がなかった。各社ネット専廉価ブランド自体は素晴らしい。より大容量/無制限のプランもネット専で提供して欲しい。問題は楽天/MVNOが育つ前に開始されたこと。 twitter.com/kempo_chang/st...
タグ：
posted at 21:37:54
20GB以降も1Mbps出るし、それ以上に広帯域のネットを必要とする人は家にきちんと固定回線を引いてほしいな、、、、 (NTT東西はフレッツを解り易くしろ) twitter.com/sm_hn/status/1...
タグ：
posted at 21:41:06
ねこます@アバター発売中！ @kemomimi_oukoku
リリエちゃん…！うっ…リリエちゃん…っ！
【VRCアバター】 Lilie (リリエ) | こここや booth.pm/ja/items/2908525 pic.twitter.com/dm9S2ew0Nn
タグ：
posted at 22:02:28
ねこます@アバター発売中！ @kemomimi_oukoku
おまりり（お前もリリエちゃんにならないか？）
booth.pm/ja/items/2908525 pic.twitter.com/HqjGJ6KUiE
タグ：
posted at 22:03:52
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
例えば役員の中の女性比率をあげると言って、なんでもいいから女性を役員にするのは違うと思うんですよ。女性でも実力に応じて役員になれるシステムを構築するのが当たり前なんですけど、なぜかこの国では前者があまりに多い
タグ：
posted at 22:46:02
公衆衛生の難しさだよね。傘を刺さない人が増えるほど雨が降りやすくなって(感染爆発)、更に激しくなる(変異種デルタ株)のだけど、それ抜きで個人のリスクだけ考えると割に合わない感じがする。 twitter.com/allimomac/stat...
タグ：
posted at 23:04:52
練習しながらDiscord通話してて「流石に弾き疲れたな〜」つったら「まだ2時間しか弾いてないじゃん」って言われてガチで楽器やってる人ってすごいんだなと思った（こなみ）
タグ：
posted at 23:56:45
