Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @7shi
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @7shi
- Pinned Tweet
来月からニートになることがほぼ確定しました。 ※お仕事のお誘いはお断りしています。
Thanks. Twitter will use this to make your timeline better. UndoUndo -
妥協はしないことから、環境改善の交渉は一切放棄した。家庭の事情の一点張りで、直属の上司は飛ばしていきなり社長に退職を持ち掛けた。慰留される隙は作らないというか。そういえば千と千尋もそういう交渉だった…https://twitter.com/7shi/status/1177208089885298690 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
さすがに退職間際になると新規にタスクが振られることは少なくなって、残務処理に集中できるできるようになった。正直、それだけだと辞めるほどではないという気がしたけど、それはあくまで新規タスクがなくなったことによる錯覚でしかない。それを予期して妥協は一切しないと誓ったのだった…
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
ルベーグ積分は最終回で、Lᵖ空間・バナッハ空間・ヒルベルト空間の話題だった。そして次の講座は位相で、高橋先生のまさに得意とする分野とのこと。予告的に開集合と連続の話題が出た。 個人的に位相熱が高まりつつあるのだけど、東京にいないので受講できない…https://www.asahiculture.jp/course/shinjuku/a9f09e61-191e-b902-3fa7-5d2abdce8073 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
今日はヒッタイト語を受講してから、会社に片付けをしに行った。平日と違って割込みが掛からないので捗った(多重割込みが掛かると精神が破壊される)。しかしさすがに疲れてしまって、その後のルベーグ積分の受講時はグロッキーで、何が何だか分からないうちに終わってしまった…
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo - 七誌 RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
- 七誌 RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
- Thanks. Twitter will use this to make your timeline better. UndoUndo
- 七誌 Retweeted
三次元ケプラーで用いるKustaanheimo-Stiefel変換は、この前ご紹介したように四元数を用います。 この時の四元数はCayley-Dickson代数という位置付けでしたが、クリフォード代数(あるいはクリフォード代数の偶部分代数)でもあるのでその文脈での解釈もありえます。
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo - 七誌 Retweeted
話は変わって,数学の書物を読むとき,なんとなく流し読みではなく真面目に読むときには「こいつを全部自分流に書き換えよう」ぐらいの姿勢じゃないと結局読めないことがあり,大変能率が悪い.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo - 七誌 Retweeted
やっと告知できる。 物理学者・分析哲学者・ベルクソン研究者・インド哲学研究者による本気の時間論集。 告知文のとおり唯一無二と言えると思います。 平井は時間スケール論を寄稿しています。https://twitter.com/keisoshobo/status/1165813065700429824 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
本当は限界だったのだけど、交渉する気がなかったので退職は家庭の事情で済ませていた。しかしストレートに限界だと言った人が現れた。この先を見届けることはないだろう…
Thanks. Twitter will use this to make your timeline better. UndoUndo - 七誌 Retweeted
マニュアル見てみたら GNU as でも -al オプションで出すことができるみたいですね。
Thanks. Twitter will use this to make your timeline better. UndoUndo - 七誌 Retweeted
https://en.wikipedia.org/wiki/Zilog_Z80#Example_code … の Example code とか https://en.wikipedia.org/wiki/Assembly_language#/media/File:Motorola_6800_Assembly_Language.png … みたいなアセンブリ言語と機械語を併置する奴ですか? アセンブリ言語でプログラミングし、機械語を見ながらデバッグする時代には一般的でした。
Thanks. Twitter will use this to make your timeline better. UndoUndo -
RETRO UNIX 8086(UNIX V1の8086移植)でもMulticsと同じようなlist形式を見付けました。私は知らなかったのですが、どうやらこういう形式があるようですね。 https://www.singlix.com/runix/runix8086/unix.lst …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
その他、ℵ₀(自然数と有理数の濃度)の話とか、 https://ncode.syosetu.com/n0050be/8/ オープンハッシュが鉄道の特急・快速・急行・各駅停車みたいだという話をしました。https://programming-place.net/ppp/contents/algorithm/search/007.html …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
FORTRAN モニターとMulticsの記事 https://www.wizforest.com/OldGood/OS/ Multicsソースコード http://web.mit.edu/multics-history/ … MS-DOSソースコードhttps://github.com/Microsoft/MS-DOS …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Multicsのアセンブリ言語のソースコードは.listという拡張子らしいということや、詳細なコメントが付いていて(MS-DOSより詳しい)、しかもアセンブル結果の8進数バイナリが横に添えられているという発見がありました。時代(UNIX以前)を考えると豪華すぎです!
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
勉強会ではprofilingの意味でmonitoringが使われる(昔の用語だと思う)という話からマシン語モニタを経由してFortran monitorの話題になり、ついにはMulticsに行き着いてPL/Iのソースを眺めたりしました。LISP全然関係ないですが…
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
今日(正確には昨日)の勉強会では、私が目先の忙しさに囚われすぎてワインを用意するのを忘れるという失態を犯しました。それで後追いですがワインを買って帰りました。隣は全然別のマスカットです。pic.twitter.com/3c8MHIZb6t
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo - 七誌 Retweeted
[MIE音素・その13] 発音:[h] 表記:H , h ハ行の子音、つまり無声声門摩擦音です。 ハ行子音って実は母音の無声化なので、原理上は逆再生してもちゃんとハ行に聞こえるらしいですね。 44
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.