23:55:05 @orumin@mstdn.maud.io
icon

海底撈月

23:51:40 @orumin@mstdn.maud.io
icon

断食してもリバウンドするだけですよ

23:50:25 @orumin@mstdn.maud.io
icon

まあこの時期あったかいしね

23:49:43 @orumin@mstdn.maud.io
icon

明日土曜だし夜通し歩くのも乙なのでは

23:47:46 @orumin@mstdn.maud.io
icon

@hina しってる

23:47:27 @orumin@mstdn.maud.io
icon

ておくれー

23:47:19 @orumin@mstdn.maud.io
2018-06-22 23:44:35 あいじす💫の投稿 ijs01140@mstdn.maud.io
icon

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

23:46:36 @orumin@mstdn.maud.io
icon

@hina Google Home mini がおうちに殺到してほしい

23:44:28 @orumin@mstdn.maud.io
2018-06-22 23:42:27 おさの投稿 osapon@mstdn.nere9.help
icon

Switchかよっ。

23:44:28 @orumin@mstdn.maud.io
2018-06-22 23:41:51 おさの投稿 osapon@mstdn.nere9.help
icon

Steamセール期間中で5万円分のゲーム、何本のゲームなんだ。

23:44:06 @orumin@mstdn.maud.io
icon

そろそろ髪切らねばの

23:38:40 @orumin@mstdn.maud.io
icon

感染

23:33:12 @orumin@mstdn.maud.io
icon

恐ろしい子

23:31:58 @orumin@mstdn.maud.io
icon

それ言うために五万円をドブに?

23:30:39 @orumin@mstdn.maud.io
2018-06-22 23:29:12 もぐのの投稿 moguno@social.mikutter.hachune.net
icon

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

23:30:16 @orumin@mstdn.maud.io
icon

わたしは,わたしは確かに「ここ」にいるんだ!わたしはいるんだ……。

23:28:21 @orumin@mstdn.maud.io
icon

おるみんさんはデータではない故な

23:28:08 @orumin@mstdn.maud.io
2018-06-22 23:27:40 大破の投稿 musashino205@mstdn.maud.io
icon

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

23:27:08 @orumin@mstdn.maud.io
icon

P2P の普及よりネットワークの高速化や CDN の整備が早くて,OS イメージくらいのサイズのコンテンツが平気で飛び交う世界になってしまった

23:25:39 @orumin@mstdn.maud.io
2018-06-21 20:34:07 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

23:25:38 @orumin@mstdn.maud.io
2018-06-21 20:22:45 tSU_RooT(つる)の投稿 tSU_RooT@mstdn.maud.io
icon

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

23:21:57 @orumin@mstdn.maud.io
icon

@naota344 書!?

23:11:27 @orumin@mstdn.maud.io
2018-06-22 23:10:56 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

23:10:45 @orumin@mstdn.maud.io
icon

これは箴言ですが,分割とかでがんばってすこし性能良さめのを買うほうが良いことおおい

23:09:02 @orumin@mstdn.maud.io
icon

vomit

23:07:28 @orumin@mstdn.maud.io
icon

積読が本も論文も増えつづけてる

23:05:12 @orumin@mstdn.maud.io
icon

赤髪じゃないの

23:04:21 @orumin@mstdn.maud.io
icon

デスデスデース!

23:01:29 @orumin@mstdn.maud.io
icon

前を向け

23:01:24 @orumin@mstdn.maud.io
2018-06-22 22:59:26 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

23:01:23 @orumin@mstdn.maud.io
2018-06-22 22:59:11 エセ賢者の投稿 MulticolorWorld@mstdn.maud.io
icon

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

22:55:15 @orumin@mstdn.maud.io
icon

@uzuky いいや

22:51:56 @orumin@mstdn.maud.io
icon

美しき朧月夜

22:51:35 @orumin@mstdn.maud.io
icon

@uzuky あとぴゅう太はパソコンだから

22:51:17 @orumin@mstdn.maud.io
icon

@uzuky ねぇよ

22:43:55 @orumin@mstdn.maud.io
icon

バラしてハックのチャンスなのに!

22:43:46 @orumin@mstdn.maud.io
2018-06-22 22:39:57 Balの投稿 Bal@mstdn.maud.io
icon

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

22:42:53 @orumin@mstdn.maud.io
icon

実家にあった据置型ゲームコンソールは,ツインファミコン,スーパーファミコン,ゲームキューブ,Wii,PS,PS2,PS3

22:41:52 @orumin@mstdn.maud.io
icon

元々セガハードは地元で持ってる知り合い居なかったし私も持ってなかった。

22:41:23 @orumin@mstdn.maud.io
2018-06-22 22:41:01 しきうたの投稿 siki_uta@mstdn.maud.io
icon

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

22:41:14 @orumin@mstdn.maud.io
icon

ゲームボーイアドバンス SP と PSP と PSVita と DS と 3DS もあった

22:39:11 @orumin@mstdn.maud.io
icon

メガドライブ,セガサターン,ドリームキャスト,PS2,PS4

22:38:28 @orumin@mstdn.maud.io
icon

ゲーム機はスーパーファミコン™と PlayStation® 3 しか持ってなかったんですが,東京にきてから気がついたら増えてる

22:36:44 @orumin@mstdn.maud.io
icon

いちばん欲しいのは時間

22:35:24 @orumin@mstdn.maud.io
icon

欲しいものは山程

22:34:13 @orumin@mstdn.maud.io
2018-06-22 22:33:54 KAZU34@末代の投稿 KAZU34@mstdn.maud.io
icon

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

22:30:34 @orumin@mstdn.maud.io
icon

金が無いと言ってるひとに Let's Note 勧めるの鬼かなにかか?

22:20:58 @orumin@mstdn.maud.io
icon

光学ドライヴは諦めて

22:20:46 @orumin@mstdn.maud.io
2018-06-22 22:20:35 自鯖の丼復活しましたの投稿 jnsk@mstdn.maud.io
icon

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

22:20:45 @orumin@mstdn.maud.io
2018-06-22 22:20:16 自鯖の丼復活しましたの投稿 jnsk@mstdn.maud.io
icon

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

22:00:23 @orumin@mstdn.maud.io
icon

おなかすいた

19:16:05 @orumin@mstdn.maud.io
icon

お,おう

19:15:59 @orumin@mstdn.maud.io
2018-06-22 19:14:49 VALTAXの投稿 baltan78@mstdn.maud.io
icon

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

19:15:16 @orumin@mstdn.maud.io
2018-06-22 19:15:07 こるもJS(末代)の投稿 cormojs@mstdn.maud.io
icon

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

19:14:16 @orumin@mstdn.maud.io
icon

かわいいのが好きなので語尾がゾだと「寄宿学校のジュリエット」の狛井蓮季のほうを先に連想します(訳・アニメたのしみ〜)

19:12:58 @orumin@mstdn.maud.io
icon

普通にお腹が空いたんだゾ……。

19:11:54 @orumin@mstdn.maud.io
icon

ひなさんの肉に対抗して鉄板焼き屋行ったときの写真をテロしようと思いましたが結果を申し上げますと自爆です

19:11:22 @orumin@mstdn.maud.io
2018-06-22 19:06:53 ねこてーの投稿 Cat_Kayser@mstdn.maud.io
icon

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

19:11:21 @orumin@mstdn.maud.io
icon
19:05:13 @orumin@mstdn.maud.io
icon

田中だれ

19:04:46 @orumin@mstdn.maud.io
icon

ずるいずるい!!!

19:02:59 @orumin@mstdn.maud.io
icon

PS2 ソフト眺めてたら“デビルサマナー ソウルハッカーズ”をみつけてしまい,買うならこっちでは?ってなった(セガサターン用)

19:01:30 @orumin@mstdn.maud.io
2018-06-22 19:01:09 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

RFC 8259 - The JavaScript Object Notation (JSON) Data Interchange Format tools.ietf.org/html/rfc8259#se

[quote]
string = quotation-mark *char quotation-mark
(...)
quotation-mark = %x22 ; "
[/quote]

RFC 8259: The JavaScript Object Notation (JSON) Data Interchange Format
19:01:15 @orumin@mstdn.maud.io
icon

えらいっ

19:01:04 @orumin@mstdn.maud.io
2018-06-22 18:57:27 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

ちゃんとJSONが出力されるバージョンをgistに置いたよ
gist.github.com/omasanori/c717

Web site image
Monitor the temparture of processors on Linux
Attach image
18:54:07 @orumin@mstdn.maud.io
icon

色覚障碍者でも視認しやすい配色だったりするとか?

18:53:45 @orumin@mstdn.maud.io
2018-06-22 18:52:57 ほたの投稿 hota@mstdn.maud.io
icon

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

18:53:08 @orumin@mstdn.maud.io
icon

json.dumps() だった

18:52:32 @orumin@mstdn.maud.io
2018-06-22 18:52:04 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

アゥ

18:52:30 @orumin@mstdn.maud.io
2018-06-22 18:50:32 rinsuki@末代の投稿 rinsuki@mstdn.maud.io
icon

Pythonのprint()は""ではなく''が使われるのでJSONとしてvalidではない

18:52:23 @orumin@mstdn.maud.io
icon

そのまえに json.dump() しないといけないかもしれない

18:51:37 @orumin@mstdn.maud.io
icon

Python の dict を print すると結果として json な文字列にならなかったっけ

18:51:15 @orumin@mstdn.maud.io
2018-06-22 18:49:35 rinsuki@末代の投稿 rinsuki@mstdn.maud.io
icon

pythonのprint()はJSONではなくない?

18:49:35 @orumin@mstdn.maud.io
icon

さっき言ってた PS2 のゲーム,今わたしは中古屋で「ここは“ドラッグオンドラグーン”しかないか……?」とか言ってます

18:48:11 @orumin@mstdn.maud.io
icon

みなさんそんな上部のクイックショートカットつかうのでして?

18:46:17 @orumin@mstdn.maud.io
icon

@omasanori あー

18:44:43 @orumin@mstdn.maud.io
icon

Python 書くときは docopt 必須教徒です

18:43:21 @orumin@mstdn.maud.io
icon

@omasanori Python の引数処理は docopt 使うと良いと思う

18:43:02 @orumin@mstdn.maud.io
2018-06-22 18:41:38 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

さっきのワンライナーをもうちょっとなんかした

Attach image
18:42:20 @orumin@mstdn.maud.io
icon

べつに新しいゲームは今要らない(ゲームこの前買ったりしたし本も読んでないのがある)のに PS2 がようやくコントローラーとメモリカード揃ったせいで意味もなく PS2 のゲームがほしい……(持ってるのは実家に置いてきてしまっている

18:39:56 @orumin@mstdn.maud.io
icon

というわけでごめんなさい……。

18:39:44 @orumin@mstdn.maud.io
icon

どこでいつ気がついたか忘れたが気がついたこととして,多くの人間は疑問を放置しておけるし質問ばかりの人間は面倒なのであまり好まれない

18:38:19 @orumin@mstdn.maud.io
icon

疑問があるとそれを解消したくなるタチなのだけどこうして質問しまくってしまうので普通に相手にとって面倒な人間になってしまうという悪癖があって,もう止めます

18:37:12 @orumin@mstdn.maud.io
icon

主語が私なのはそのとおりだけど投稿したものはバイナリではなくテキストだった,ということ?

18:36:26 @orumin@mstdn.maud.io
icon

それだったら mstdn.maud.io/@orumin/10024777 が違うって言われるのなんか不思議なんだけど

Web site image
まちカドおるみん御嬢様 (@orumin@mstdn.maud.io)
18:35:42 @orumin@mstdn.maud.io
2018-06-22 18:35:33 rinsuki@末代の投稿 rinsuki@mstdn.maud.io
icon

たぶんうごメモシアターとかそういうコミュニティで話題があったという話では

18:34:35 @orumin@mstdn.maud.io
icon

もしかして私が知らないだけで DSi ウェアの仕組み使って x86 エミュレータとか動かしてなんらかの free OS 動かすとかそういうのあったのだろうか,いやなんかそういう話ではなさそう

18:32:49 @orumin@mstdn.maud.io
icon

日本語のパースに失敗したことだけがわかった

18:32:09 @orumin@mstdn.maud.io
icon

完全に混乱をきたしており,こういう混乱はすごく個人的に気持ち悪くて解消したさがあるけど当人がもう終わりと仰ってるのでなんか気になりだけが残ってしまった

18:29:06 @orumin@mstdn.maud.io
2018-06-22 18:28:49 ぎゃりーさんの投稿 Garry050@mstdn.maud.io
icon

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

18:28:27 @orumin@mstdn.maud.io
icon

誰かが Red Star OS をオリジナル OS と称して紹介する post をしているコミュニティを垣間見たことがあって,そのときはもちろん北朝鮮製なんて知らなかった,ということか。納得したしそれならまあそういうことあるよね……。

18:27:27 @orumin@mstdn.maud.io
2018-06-22 18:26:39 ぎゃりーさんの投稿 Garry050@mstdn.maud.io
icon

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

18:27:06 @orumin@mstdn.maud.io
icon

えっじゃあないよばるたんさんはやく入院して

18:26:50 @orumin@mstdn.maud.io
2018-06-22 18:25:38 VALTAXの投稿 baltan78@mstdn.maud.io
icon

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

18:26:50 @orumin@mstdn.maud.io
2018-06-22 18:24:43 VALTAXの投稿 baltan78@mstdn.maud.io
icon

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

18:26:32 @orumin@mstdn.maud.io
icon

なるほど,私がは主語じゃなくて副詞にかかる主語で,隠れた主語があったと。なるほど。

18:24:59 @orumin@mstdn.maud.io
2018-06-22 18:24:53 rinsuki@末代の投稿 rinsuki@mstdn.maud.io
icon

もしかして: s/投稿してた/誰かが投稿してた/g

18:24:32 @orumin@mstdn.maud.io
icon

日本語難しいから読み方わからん

18:24:14 @orumin@mstdn.maud.io
icon

お,おう?

18:23:53 @orumin@mstdn.maud.io
2018-06-22 18:23:50 ぎゃりーさんの投稿 Garry050@mstdn.maud.io
icon

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

18:23:50 @orumin@mstdn.maud.io
icon

いやまあ Red Star OS なら孫コピーとかでどこかの ftp とかに置かれてたりしてたとしてもおかしくはないが

18:20:51 @orumin@mstdn.maud.io
icon

それというのは boost した toot を指す

18:20:18 @orumin@mstdn.maud.io
icon

そうじゃなくてあなたがどこからということ(北朝鮮製と知らずに入手とはどうやって?という話)

18:19:50 @orumin@mstdn.maud.io
2018-06-22 18:19:39 ぎゃりーさんの投稿 Garry050@mstdn.maud.io
icon

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

18:19:11 @orumin@mstdn.maud.io
icon

あれ一発目流出したときから北朝鮮製ってお触れで Torrent に流れてたと思うんだけどそれどこから入手したんよ

18:18:26 @orumin@mstdn.maud.io
2018-06-22 18:17:51 ぎゃりーさんの投稿 Garry050@mstdn.maud.io
icon

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

18:18:14 @orumin@mstdn.maud.io
icon

Google のアプリっぽくて報酬ってあったから AdSense しか思い浮かばなかった。額面もそれっぽかったし。

18:17:31 @orumin@mstdn.maud.io
icon

ああ,アンケート答えてお金貰うやつなんかあるんだ……。

18:17:16 @orumin@mstdn.maud.io
2018-06-22 18:13:15 ぎゃりーさんの投稿 Garry050@mstdn.maud.io
icon

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

18:16:53 @orumin@mstdn.maud.io
icon

不死ではないが。

18:16:26 @orumin@mstdn.maud.io
icon

たしかなおたさんあたりが発掘したやつ >> “『オルムルム』(Ormulum または Orrmulum)は、12世紀にオルム(Orm, またはオルミン、Ormin)という僧が著した、初期中英語による聖書の注釈である。” オルムルム - Wikipedia ja.m.wikipedia.org/wiki/%E3%82

18:14:56 @orumin@mstdn.maud.io
icon

生まれたときも必要なんだが生まれたときは親が申請するし死んだときもべつに死んだあとだれか死亡届作る人が必要なので当人関係ないまである

18:14:10 @orumin@mstdn.maud.io
icon

さっき,本籍必要なのパスポート初取得と死んだときって言ったけど結婚と離婚にも要るわ。

18:12:16 @orumin@mstdn.maud.io
icon

hi

18:12:02 @orumin@mstdn.maud.io
2018-06-22 18:11:54 ライクロフト@末代の投稿 ryecroft21@mstdn.maud.io
icon

Nim作者のGitHubページ見てたら「ormin」とあって一瞬何事かと思った github.com/Araq/ormin

Web site image
GitHub - Araq/ormin: Ormin -- An ORM for Nim.
18:11:58 @orumin@mstdn.maud.io
icon

その報酬のやつ Google AdSense のアプリかと思ってインストールしたがどこの画面かわからない

18:07:55 @orumin@mstdn.maud.io
icon

まあ関東圏に実家があって関東圏で暮らす学生とかならまだわからなくもないけど

18:06:44 @orumin@mstdn.maud.io
icon

扶養家族だったりするのに本籍変えたりするのは謎ムーヴだしそもそも本籍が必要なのってパスポートの初取得と死んだときとかくらいな気がしてくるけれど,住民票は実態に合わせてカジュアルに動かしたほうがというスタンス

17:59:30 @orumin@mstdn.maud.io
icon

@hota 選挙なり今回みたいななんらかの申請なり(たとえばがっこーの学費の免除みたいなやつ)で移してないとただただ面倒なだけな気がする

17:58:28 @orumin@mstdn.maud.io
icon

@hota というか戸籍ならともかく住民票は勝手に移しても親なんも困らん気がする……(よしんば税務署に扶養家族として確定申告してたとしても戸籍謄本でええし……)

17:56:40 @orumin@mstdn.maud.io
icon

@hota うにゃーん

17:52:18 @orumin@mstdn.maud.io
icon

はよ住民票移さんかいw

17:52:04 @orumin@mstdn.maud.io
2018-06-22 17:51:21 ほたの投稿 hota@mstdn.maud.io
icon

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

17:52:03 @orumin@mstdn.maud.io
2018-06-22 17:50:39 ほたの投稿 hota@mstdn.maud.io
icon

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

17:51:57 @orumin@mstdn.maud.io
2018-06-22 17:33:39 ほたの投稿 hota@mstdn.maud.io
icon

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

17:50:28 @orumin@mstdn.maud.io
17:50:24 @orumin@mstdn.maud.io
2018-06-22 14:57:18 大破の投稿 musashino205@mstdn.maud.io
icon

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

14:56:43 @orumin@mstdn.maud.io
icon

フレッツとかだとあんまり変わるのみにゃいんだけど大破さんちはフレッツではにゃいんだっけか

14:56:16 @orumin@mstdn.maud.io
2018-06-22 14:55:04 大破の投稿 musashino205@mstdn.maud.io
icon

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

14:56:14 @orumin@mstdn.maud.io
2018-06-22 14:52:38 大破の投稿 musashino205@mstdn.maud.io
icon

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

14:51:37 @orumin@mstdn.maud.io
icon

IPv6 prefix って半固定なんでは?

14:51:22 @orumin@mstdn.maud.io
2018-06-22 14:49:40 大破の投稿 musashino205@mstdn.maud.io
icon

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

14:51:18 @orumin@mstdn.maud.io
2018-06-22 14:48:04 大破の投稿 musashino205@mstdn.maud.io
icon

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

14:51:17 @orumin@mstdn.maud.io
2018-06-22 14:47:13 大破の投稿 musashino205@mstdn.maud.io
icon

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

14:01:02 @orumin@mstdn.maud.io
icon

大阪震度6弱:最先端の電子顕微鏡が損傷 大阪大 - 毎日新聞 mainichi.jp/articles/20180622/

Web site image
大阪震度6弱:最先端の電子顕微鏡が損傷 大阪大 | 毎日新聞
13:50:17 @orumin@mstdn.maud.io
icon

ドライヴァーやハウジングをよく壊す人 → しらん

13:49:59 @orumin@mstdn.maud.io
icon

ケーブル断線するひととかちょっと高いリケーブル出来るやつとか買えばいいのんよ

13:49:38 @orumin@mstdn.maud.io
2018-06-22 13:47:58 チチブの投稿 neso@don.neso.tech
icon

1年スパンで3kくらいのイヤホンを交換してるマンなのでノイキャン買ってもすぐ壊しそうであれ

13:49:37 @orumin@mstdn.maud.io
2018-06-22 13:47:11 チチブの投稿 neso@don.neso.tech
icon

ノイキャンほしいわね

13:46:47 @orumin@mstdn.maud.io
icon

ノイズキャンセリングヘッドフォンで仕合せに

13:46:33 @orumin@mstdn.maud.io
2018-06-22 13:45:26 rinsuki@末代の投稿 rinsuki@mstdn.maud.io
icon

ノイキャンイヤホンとかどうなんだろう

13:45:12 @orumin@mstdn.maud.io
icon

やめるめう,めうのあいでんてぃてぃを侵襲するなめう

13:44:55 @orumin@mstdn.maud.io
2018-06-22 13:44:33 大破の投稿 musashino205@mstdn.maud.io
icon

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

13:44:52 @orumin@mstdn.maud.io
2018-06-22 13:44:11 大破の投稿 musashino205@mstdn.maud.io
icon

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

13:44:23 @orumin@mstdn.maud.io
icon

ニュータイプ,富野監督作品では共感による人類の進化みたいな感じだったけど,現実に存在したらみんな悲しみが伝搬して精神やられて人類総カミーユ化して終わるんじゃ

13:43:02 @orumin@mstdn.maud.io
icon

はやくニュータイプになろうな

13:42:52 @orumin@mstdn.maud.io
2018-06-22 13:37:18 unaristの投稿 unarist@mstdn.maud.io
icon

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

13:41:43 @orumin@mstdn.maud.io
icon

RT @y71302833@twitter.com: 私の教授が言っていたのは, 怖いかららしいです. 気持ちを書くと, 人によって異なるので, 指摘される可能性がある. 証明を書くだけなら, 間違ってない限り大丈夫. 大御所の数学者の本とかだと気持ちが書いてあることが多い. 批判されにくいから.
twitter.com/y71302833/status/1

13:40:13 @orumin@mstdn.maud.io
icon

RT @adastraperardva@twitter.com: たぶん厳密性を欠いた話の危うさを怖れるからだと思うんですけど、昨今流行りのアウトリーチと割り切って書いておいてほしいものです。
twitter.com/adastraperardva/st

13:37:58 @orumin@mstdn.maud.io
icon

RT @_kohta@twitter.com: セミナーとかで議論すると気持ちの入った説明をしてくれたりするので、だったら本にも書いておいて欲しいなあと思う次第です…。
twitter.com/_kohta/status/1009

13:37:19 @orumin@mstdn.maud.io
icon

RT @_kohta@twitter.com: 数学は数学で、理論の黎明期の本とかを読むと結構「気持ち」が色々あってやっていることがわかるのに、一旦理論が完成すると気持ちが完全に排除されてしまうのがつらい。理論はきれいに整備してくれればいいけど、気持ちは消さないでfootnoteかどこかに書いといて欲しい。
twitter.com/_kohta/status/1009

13:35:39 @orumin@mstdn.maud.io
icon

今朝みた数学書の話も近いのがある

13:34:05 @orumin@mstdn.maud.io
icon

完全に真面目にやるとそれはもう教科書を書くわw みたいになりがち

13:33:43 @orumin@mstdn.maud.io
icon

Twitter や Mastodon だと文字数が限られてることもあり専門用語のほうが情報圧縮できるというのと,下手に専門用語を避けてニュアンスがズレたり誤った比喩で誤った先入観を与えることもあるため,難しい。

13:32:12 @orumin@mstdn.maud.io
2018-06-22 13:31:09 KAZU34@末代の投稿 KAZU34@mstdn.maud.io
icon

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

13:32:12 @orumin@mstdn.maud.io
2018-06-22 13:27:35 チチブの投稿 neso@don.neso.tech
icon

初学者、素人に専門用語でマウント取るのは無条件でアウトだけど、かといって検索トリガーを与えないのもなんだかなあという感じはある

13:30:09 @orumin@mstdn.maud.io
2018-06-22 13:08:30 けいまの投稿 keima@mstdn.maud.io
icon

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

13:29:31 @orumin@mstdn.maud.io
icon

そもそもシリアルコンソールが見えなくなってんなこれ

13:29:16 @orumin@mstdn.maud.io
icon

RS232C で直結するのやめて片方 ttyUSB にしといたけどよくわからない

13:28:40 @orumin@mstdn.maud.io
icon

コンソールケーブルで接続している片方の電源落としたらもう片方が再起動した,なんで???

11:54:53 @orumin@mstdn.maud.io
2018-06-22 11:50:19 ライクロフト@末代の投稿 ryecroft21@mstdn.maud.io
11:53:17 @orumin@mstdn.maud.io
icon

なんちゃらミニシリーズひとつも買ってないが実機は増えてる

11:52:21 @orumin@mstdn.maud.io
icon

KOF

11:52:17 @orumin@mstdn.maud.io
2018-06-22 11:45:11 あっきぃの投稿 akkiesoft@social.mikutter.hachune.net
icon

NEOGEOあんま馴染みがない、ゲーセンとかではよく見たけど、遊ばなかった

11:52:08 @orumin@mstdn.maud.io
icon

んふ

09:46:00 @orumin@mstdn.maud.io
icon

純正の DUALSHOCK2 高いお

09:45:41 @orumin@mstdn.maud.io
icon

DUALSHOCK2 の本物は実家にあるがこっちは PS2 の本体のジャンクだけ買ったので e-game とかいうところからパチモノ安く買いました

09:44:46 @orumin@mstdn.maud.io
icon

ざんねーん!真ん中のは DUALSHOCK2 のニセモノでした!

09:44:25 @orumin@mstdn.maud.io
2018-06-22 09:44:16 チチブの投稿 neso@don.neso.tech
icon

DS2,3,4だ

09:43:36 @orumin@mstdn.maud.io
icon

Attach image
05:43:50 @orumin@mstdn.maud.io
icon

@babukaru 不老してない

04:40:44 @orumin@mstdn.maud.io
icon

あさだね

Attach image
04:37:09 @orumin@mstdn.maud.io
icon

これはアレですか,スパイ大作戦みたいな?

Attach image
02:50:07 @orumin@mstdn.maud.io
icon

Bose、睡眠用イヤフォン「sleepbuds」を249ドルで発売へ - ITmedia NEWS itmedia.co.jp/news/articles/18

02:11:17 @orumin@mstdn.maud.io
icon

レリーズ

00:39:03 @orumin@mstdn.maud.io
icon

TV の前にカーペット敷いた