00:02:03 @lo48576@mastodon.cardina1.red
icon

型がガバガバな言語を入門用と呼びたくない派 (C も実際険しいところがある)

00:02:41 @lo48576@mastodon.cardina1.red
icon

subtyping を馬鹿にできるほど型のプロ👏ではないので何も言うまい

00:15:41 @lo48576@mastodon.cardina1.red
icon

アナログ回路(雑)→論理回路→アセンブリ(雑)→C→C++ だったので順当な人生を歩んできた(適当)

00:16:10 @lo48576@mastodon.cardina1.red
icon

C++ の次にやったのが計算論からのλ計算と Lazy K だったので、まあそれはアレという感じ

00:16:25 @lo48576@mastodon.cardina1.red
icon

や、λ計算から関数型言語に入門するのは超正道じゃないですか(適当)

01:20:35 @lo48576@mastodon.cardina1.red
icon

簡単のため(For simplicity)つぶやきまとめ - Togetter
togetter.com/li/771583

Web site image
簡単のため(For simplicity)つぶやきまとめ
01:21:24 @lo48576@mastodon.cardina1.red
02:47:30 @lo48576@mastodon.cardina1.red
icon

なるほどバージョン番号も弄れるか、その発想はなかった

09:15:18 @lo48576@mastodon.cardina1.red
09:15:27 @lo48576@mastodon.cardina1.red
icon

勉強になる

09:17:54 @lo48576@mastodon.cardina1.red
2018-01-14 22:58:01 箱山の投稿 pacochi@pawoo.net
icon

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

09:18:07 @lo48576@mastodon.cardina1.red
icon

これとても楽しかった

09:36:41 @lo48576@mastodon.cardina1.red
2018-01-15 09:35:09 unaristの投稿 unarist@mstdn.maud.io
icon

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

09:36:52 @lo48576@mastodon.cardina1.red
2018-01-15 08:58:24 unaristの投稿 unarist@mstdn.maud.io
icon

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

09:39:51 @lo48576@mastodon.cardina1.red
2018-01-15 09:37:58 unaristの投稿 unarist@mstdn.maud.io
icon

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

11:59:52 @lo48576@mastodon.cardina1.red
icon

冷や汗出てきた……

12:00:08 @lo48576@mastodon.cardina1.red
icon

とんでもない仕様バグを埋め込んで実装してしまった気がするぞ……

17:05:34 @lo48576@mastodon.cardina1.red
2018-01-15 16:59:13 めたの投稿 metalefty@social.mikutter.hachune.net
icon

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

17:06:02 @lo48576@mastodon.cardina1.red
2018-01-15 17:02:44 きゅうりうむの投稿 cucmberium@mstdn.maud.io
icon

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

17:18:22 @lo48576@mastodon.cardina1.red
icon

supermanプロセスにSIGKILLは効かない.md
gist.github.com/anonymous/6284

Web site image
supermanプロセスにSIGKILLは効かない.md
17:22:01 @lo48576@mastodon.cardina1.red
2018-01-15 17:19:57 するすすの投稿 su_rususu@mstdn.maud.io
icon

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

17:22:06 @lo48576@mastodon.cardina1.red
2018-01-15 17:21:45 8の投稿 r8_gre@mstdn.maud.io
icon

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

17:22:07 @lo48576@mastodon.cardina1.red
2018-01-15 17:21:52 あっきぃの投稿 akkiesoft@social.mikutter.hachune.net
icon

運転手
 麻薬を使用
   最上川

17:22:13 @lo48576@mastodon.cardina1.red
2018-01-15 17:21:57 ほたの投稿 hota@mstdn.maud.io
icon

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

17:22:27 @lo48576@mastodon.cardina1.red
2018-01-15 17:09:50 もゃぽゃぽゃ✅の投稿 mopopo@knzk.me
icon

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

17:44:54 @lo48576@mastodon.cardina1.red
icon

「鯁」という漢字を知った(使い道あるようでなさそう)

17:45:17 @lo48576@mastodon.cardina1.red
17:50:59 @lo48576@mastodon.cardina1.red
2018-01-15 17:26:55 上海蟹七咲@不眠の投稿 SHC7saki@mstdn.nere9.help
icon

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

17:51:00 @lo48576@mastodon.cardina1.red
2018-01-15 17:27:15 上海蟹七咲@不眠の投稿 SHC7saki@mstdn.nere9.help
icon

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

17:51:01 @lo48576@mastodon.cardina1.red
2018-01-15 17:27:48 上海蟹七咲@不眠の投稿 SHC7saki@mstdn.nere9.help
icon

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

17:52:46 @lo48576@mastodon.cardina1.red
icon

大正0が1911
昭和0が1925
平成0が1988
このくらい覚えておけば問題なし

17:53:20 @lo48576@mastodon.cardina1.red
icon

つまり2018年は118-25で昭和93年ってわけ

17:54:35 @lo48576@mastodon.cardina1.red
icon

元年じゃなくて0年を覚えるというのが重要で、これらを覚えておくと楽に計算できます(和暦はクソ、原始人の暦)

17:54:37 @lo48576@mastodon.cardina1.red
2018-01-15 17:54:17 金具✅の投稿 cobodo@mstdn.kanagu.info
icon

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

17:56:54 @lo48576@mastodon.cardina1.red
2018-01-15 17:56:40 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

和暦,歴史上の事象をふんわりと把握しやすいという利点もある。

17:57:24 @lo48576@mastodon.cardina1.red
icon

それ「カンブリア紀元年」みたいなもので、歴史は歴史として現代の公的書類に持ち込まないでくれという気持ちがとても強い

18:03:25 @lo48576@mastodon.cardina1.red
2018-01-15 18:00:26 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

西暦にしても西暦 0 年を起点にしちゃってるからわりと紀元前の共和制ローマとかのトピックでも紀元前と紀元後で断絶感じてる人が多い気がする(ローマについては紀元を跨いでスムーズに接続された歴史を持つよね)。べつにこれは皇暦でもそうなのだけど,結局人為的に起点を決めてる以上それ以前について認識しづらいのは全ての暦の缺點なので,和暦だけみて原始人の暦とか言うの単純に文化に不理解な原始的な意見では?

18:04:13 @lo48576@mastodon.cardina1.red
icon

起点がどこにあるかには全く興味がなくて、とにかく連続で安定していてくれという気持ちです(グレゴリオ歴のズレについては、まあ……(や、これもどこかを基準にして遡って適用してほしさはある))

18:05:27 @lo48576@mastodon.cardina1.red
icon

なんなら特に歴史的に意義のあるわけでもない何の変哲もない1日が基準であっても、安定してさえいればそれでいいんですよね、私からすれば。

18:05:32 @lo48576@mastodon.cardina1.red
2018-01-15 18:04:50 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

公的書類に強制するな,はまあ理解できるけどそれだけですね。和暦が悪いんじゃなくてそれを公的書類にも強制する現行の法制度が悪い。

18:05:38 @lo48576@mastodon.cardina1.red
icon

そうとも言う

18:06:51 @lo48576@mastodon.cardina1.red
icon

でもそれは結局「王様の足の長さ」とかと大差ない水準の単位なわけで(メートル法で再定義されたヤードポンドより劣悪)、公的に利用したり剰え強制されたりするのは許しがたい

18:08:10 @lo48576@mastodon.cardina1.red
icon

ヤードポンド法だってサイズを固定化したうえで結局生き延びているわけで、まあそういうのはもうどうしようもないのではと思いますね。決して関わりたい領域ではないけど。
でも王様の足の長さとか即位期間とかを使わせたり解釈させるのは本当に勘弁してほしい

18:08:59 @lo48576@mastodon.cardina1.red
2018-01-15 18:06:24 金具✅の投稿 cobodo@mstdn.kanagu.info
icon

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

18:09:14 @lo48576@mastodon.cardina1.red
icon

公文書の年表記に関する規則
www1.g-reiki.net/minoh/reiki_h
> 公文書の年の表記については、原則として元号を用いるものとする。ただし、西暦による表記を適当と認める場合は、西暦を併記するものとする。

18:09:26 @lo48576@mastodon.cardina1.red
icon

????????

18:10:29 @lo48576@mastodon.cardina1.red
icon

ヤードポンド法でさえ計量法で規制されているのに、和暦ときたら……

18:10:58 @lo48576@mastodon.cardina1.red
icon

@cobodo や、これは発行する文書の方であるように読めるので、一般市民が記入する方が和暦必須なのかはわからないです

18:11:52 @lo48576@mastodon.cardina1.red
icon

計量法 - Wikipedia
ja.wikipedia.org/wiki/%E8%A8%8

まあ暦自体は SI とかで定義するものでもないから仕方ないのか……

18:13:38 @lo48576@mastodon.cardina1.red
icon

@cobodo たしかに不思議ですね、なんで検索結果の先頭に出てくるんだろう……

18:18:08 @lo48576@mastodon.cardina1.red
icon

なんなんだ……???

18:19:53 @lo48576@mastodon.cardina1.red
icon

修正ユリウス暦……

18:19:59 @lo48576@mastodon.cardina1.red
icon

いいやつだよ

18:20:24 @lo48576@mastodon.cardina1.red
icon

365.2425 と 365.2422 の違いをどれだけの人が気にするのか

18:21:45 @lo48576@mastodon.cardina1.red
icon

大阪・松井知事「文書表記の一部、西暦に」 万博に備え:朝日新聞デジタル
asahi.com/articles/ASK1C4VXHK1
> 府法務課によると、元号を使う規則はないが、府の公文書は現在、根拠法などの表記にあわせ、ほとんどが元号で記されている。

これが 2017-01-11 の記事

Web site image
大阪・松井知事「文書表記の一部、西暦に」 万博に備え:朝日新聞デジタル
18:22:18 @lo48576@mastodon.cardina1.red
icon

改元を機に、法律文書「元号」表記を西暦に変えるべきか、そのまま使い続けるべきか? - 弁護士ドットコム
bengo4.com/c_1018/n_5572/

Web site image
改元を機に、法律文書「元号」表記を西暦に変えるべきか、そのまま使い続けるべきか? - 弁護士ドットコムニュース
18:23:08 @lo48576@mastodon.cardina1.red
icon

どうも、法令とかがあるのかは不明瞭というかなさそうな感じだけど、公的機関のローカルルールとして、法律とかに合わせて和暦を使うケースが多いらしいという雰囲気?

18:46:51 @lo48576@mastodon.cardina1.red
icon

NHK BS1などBS放送の解像度が横1,440ドットに。新4K/8K放送に向け帯域削減 - AV Watch
av.watch.impress.co.jp/docs/ne

BS の解像度落ちたの、マジか……

Web site image
NHK BS1などBS放送の解像度が横1,440ドットに。新4K/8K放送に向け帯域削減
19:08:19 @lo48576@mastodon.cardina1.red
icon

チケットや乗車券が「札」なの、トランジスタや CPU が「石」なのと似たような感じだなと思った >ダフ

20:07:25 @lo48576@mastodon.cardina1.red
2018-01-15 20:04:59 りょうごの投稿 Ryogo@pawoo.net
icon

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

20:07:35 @lo48576@mastodon.cardina1.red
2018-01-15 20:04:37 りょうごの投稿 Ryogo@pawoo.net
icon

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

20:07:49 @lo48576@mastodon.cardina1.red
2018-01-15 19:29:01 おったぺの投稿 opptape@mstdn.maud.io
icon

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

20:08:10 @lo48576@mastodon.cardina1.red
icon

鼻毛鯖といい NTT ってそういうキャラなんです?

20:08:47 @lo48576@mastodon.cardina1.red
icon

鼻毛鯖は NTT じゃなくて NEC だったわww

20:09:02 @lo48576@mastodon.cardina1.red
icon

みいそ

20:09:35 @lo48576@mastodon.cardina1.red
icon

1000万円台のローコスト高気密・高断熱住宅って? | So-netブログ - kappasan.blog.so-net.ne.jp/201

や、やっぱり NTT-X でした

鼻毛鯖はPCの夢を見るか -NEC Express5800/S70 タイプRB -:1000万円台のローコスト高気密・高断熱住宅って?:So-net blog
20:09:38 @lo48576@mastodon.cardina1.red
2018-01-15 20:09:09 おさの投稿 osapon@mstdn.nere9.help
icon

何かとイベントにかこつけてUPSを買わせようとする会社だからなぁ。>NTT-X

20:10:31 @lo48576@mastodon.cardina1.red
icon

みかか