00:02:03
icon

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

00:02:41
icon

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

00:15:41
icon

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

00:16:10
icon

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

00:16:25
icon

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

01:20:35
icon

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

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

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

09:15:18
09:15:27
icon

勉強になる

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

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

09:18:07
icon

これとても楽しかった

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

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

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

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

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

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

11:59:52
icon

冷や汗出てきた……

12:00:08
icon

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

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

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

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

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

17:18:22
icon

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

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

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

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

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

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

運転手
 麻薬を使用
   最上川

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

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

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

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

17:44:54
icon

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

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

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

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

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

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

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

17:52:46
icon

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

17:53:20
icon

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

17:54:35
icon

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

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

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

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

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

17:57:24
icon

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

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

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

18:04:13
icon

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

18:05:27
icon

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

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

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

18:05:38
icon

そうとも言う

18:06:51
icon

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

18:08:10
icon

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

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

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

18:09:14
icon

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

18:09:26
icon

????????

18:10:29
icon

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

18:10:58
icon

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

18:11:52
icon

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

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

18:13:38
icon

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

18:18:08
icon

なんなんだ……???

18:19:53
icon

修正ユリウス暦……

18:19:59
icon

いいやつだよ

18:20:24
icon

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

18:21:45
icon

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

これが 2017-01-11 の記事

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

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

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

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

18:46:51
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
icon

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

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

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

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

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

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

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

20:08:10
icon

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

20:08:47
icon

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

20:09:02
icon

みいそ

20:09:35
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
2018-01-15 20:09:09 おさの投稿 osapon@mstdn.nere9.help
icon

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

20:10:31
icon

みかか