03:25:15 @AmaiSaeta@oransns.com
2020-01-03 03:24:10 特務機関NERVの投稿 UN_NERV@unnerv.jp
icon

《緊急地震速報(気象庁発表)》
千葉東方沖で地震 強い揺れに警戒
〈強い揺れが予想される地域〉
茨城 千葉 埼玉

03:29:33 @AmaiSaeta@oransns.com
2020-01-03 03:24:53 村上さんの投稿 AureoleArk@misskey.io
icon

このアカウントは、notestockで公開設定になっていません。

03:52:43 @AmaiSaeta@oransns.com
icon

E-6甲、輸送完了。
ラスト用なんで満潮と日進が主砲を積んでるけど、削りでは大発ガン積み。
航空隊は潜水Bマス、ボス直前Nマス、ボスPマス。
ネルソンタッチをNマスで。

後はギミック×2、戦力ゲージか……

Attach image
Attach image
Attach image
Attach image
02:19:49 @AmaiSaeta@oransns.com
icon

音楽で振り返る AmaiSaeta さんの一年 | Last.fm
last.fm/ja/user/AmaiSaeta/list

Viva la Vida が妙に多いのは、 Google Home で朝に目覚まし代わりに open.spotify.com/playlist/3uz1 を流してて、その1曲目がそれだから。 Google Home から、特定のプレイリストをランダム再生させる方法を誰か知ってたら教えて下しあ。

Web site image
AmaiSaeta さんの Last.year リスニング統計を見てみよう
17:51:30 @AmaiSaeta@oransns.com
icon

言葉狩り、本当に差別などから生じた言葉であれば、規制するのは百万歩譲って理解できなくもない。けれど、そういう背景がない言葉も「それを連想させるから」という理由で規制しようとする向きは、控え目に言っても死ねばいいと思う。
blacklist/whitelistの件とか。
(「より内容が分かりやすい言葉に変えよう」って提案は良いと思うよ。此処で死ねと言ってるのは「黒人差別を連想させるからケシカラン」って主張の方。)

00:24:25 @AmaiSaeta@oransns.com
icon

@genbuchan 理想的ではあると思います。というか、現実にそれを求められませんか?
型の継承に「『is-a』か否か」なんて判断基準が在るのが「意味論に従って型を使用すべし」というのを物語っていると思います。
しかし、その一方で、intだfloatだstringだという「能力的な型」も普通に「意味論的な型」と混ぜて使われているというダブスタが存在する。それは「意味論的な型のみを使用する」という理想の実現が極めて難しい、或いは不可能だからという事になるのですが。

私の主張としては、「『意味論的な型を使う』のが理想的か否か」という部分よりも、
1. 「能力的な型は止めて、意味論的な型を使いましょう」という指針が在る
2. しかし、その困難さから、能力的な型の使用も許されている現実(ダブスタ)がある
3. このダブスタについての理論的なフォローは何もない
4. 結果、(クラスベース)オブジェクト指向の定義が曖昧な物になり、捉えにくくなったり、使用が困難になっているのでは?
……という所ですね。

00:26:19 @AmaiSaeta@oransns.com
icon

よく見たら、月ごとの名前変更のIFTTTアプレットが上手く動いてないな……1月限定で入れた処理がコケてるのかな……

00:29:36 @AmaiSaeta@oransns.com
icon

のfilter、JavaScriptコードなんだけれど、これをテストする手段が無いのが困りどころ。
(そもテストが必要になる程の事をやらせるなという話なのは、まったくもって、そのとおり)

00:41:36 @AmaiSaeta@oransns.com
icon

んー、以前上手く動かなかった時に雑に修正した部分が、やっぱり修正前のコードが正しかったという話になってる???

00:41:54 @AmaiSaeta@oransns.com
icon

とりあえず、名前は手動で変更。

17:06:19 @AmaiSaeta@oransns.com
icon

今年の体育^H^Hスポーツの日って10月10日なんだな。

www8.cao.go.jp/chosei/shukujit

Web site image
国民の祝日について - 内閣府
17:08:24 @AmaiSaeta@oransns.com
icon

未だに「スポーツの日」を「体育の日」と行ってしまう勢ですこんにちは。

17:14:20 @AmaiSaeta@oransns.com
icon

blog.whatwg.org/

blog死んでるが、はて?

02:07:54 @AmaiSaeta@oransns.com
icon

アキバ冥途戦争 「萌えの果て」 - ニコニコ動画
nicovideo.jp/watch/so41559228

なるほどどう消化したら良いのかサッパリわからない……

Web site image
アキバ冥途戦争 #最終話「萌えの果て」
15:48:00 @AmaiSaeta@oransns.com
icon

30分だけやろうと思ったら、チャプターがなかなか終わらず、且つ、オートセーブのタイミングがよく分からず2時間40分位やってしまった。

20:01:11 @AmaiSaeta@oransns.com
icon

ねむ