2022-09-10 05:06:10 @orumin@mstdn.maud.io
icon

私の作業部屋兼書斎は窓越しに駐車場があるのですが、どうやらスマートキーを書斎に置いていたら 86 くんがずっと通信していたらしく、無事バッテリーが上がっていた。そんなことあるの……

2022-09-10 04:43:50 @orumin@mstdn.maud.io
icon

湾岸線でも流そうか

2022-09-10 04:22:15 @orumin@mstdn.maud.io
icon

ガチャの凛世に敗北しつづけている

2022-09-10 01:35:47 @orumin@mstdn.maud.io
icon

「お荷物」になったマンションの機械式駐車場、この先どうすれば?
asahi.com/articles/ASQ98413MQ9

Web site image
「お荷物」になったマンションの機械式駐車場、この先どうすれば?:朝日新聞デジタル
2022-09-10 00:23:50 @orumin@mstdn.maud.io
icon

法令整備して建前つくるのはやるんだ……

2022-09-10 00:23:17 @orumin@mstdn.maud.io
icon

北朝鮮、核兵器使用で法整備 金正恩氏「核を放棄せず」: 日本経済新聞
nikkei.com/article/DGXZQOGM090

Web site image
北朝鮮、核兵器使用で法整備 金正恩氏「核を放棄せず」 - 日本経済新聞
2022-09-10 00:21:59 @orumin@mstdn.maud.io
icon

どうせなら温泉ついててほしい

2022-09-10 00:21:50 @orumin@mstdn.maud.io
2022-09-10 00:21:40 ふぇのまー(キタカミのすがた)の投稿 Phenomer@social.mikutter.hachune.net
icon

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

2022-09-10 00:21:00 @orumin@mstdn.maud.io
icon

方舟はいらない

2022-09-10 00:19:38 @orumin@mstdn.maud.io
icon

そういえばコッドと寝袋とテントが欲しいんだった

2022-09-10 00:18:29 @orumin@mstdn.maud.io
icon

@metalefty なるほど

2022-09-10 00:18:24 @orumin@mstdn.maud.io
2022-09-10 00:18:17 めたの投稿 metalefty@social.mikutter.hachune.net
icon

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

2022-09-10 00:17:19 @orumin@mstdn.maud.io
icon

それもうスレイプニールやないんよ

2022-09-10 00:17:09 @orumin@mstdn.maud.io
2022-09-10 00:17:00 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

2022-09-10 00:17:06 @orumin@mstdn.maud.io
icon

金持ち向けもあるけどあんまそうでないのもあるくない?

2022-09-10 00:16:31 @orumin@mstdn.maud.io
2022-09-10 00:16:20 めたの投稿 metalefty@social.mikutter.hachune.net
icon

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

2022-09-10 00:15:59 @orumin@mstdn.maud.io
icon

でもべつにそれはそれでよいとおもう、あんまり疲れずに街から離れられるだけでもよい機会ではある

2022-09-10 00:15:21 @orumin@mstdn.maud.io
icon

で、グランピングもべつに BBQ やることが必須なわけではないが、そういうのが雨天の屋外でできる BBQ 場なりベランダなりが設けられてるくらいのヌルい施設がもうあるところでナンチャッテキャンプするというあたり

2022-09-10 00:13:38 @orumin@mstdn.maud.io
icon

デイキャンプとキャンプは似たようなものだけど前者は日帰り、というのと同じで、グランピングも日帰り ver. もあるよというのがさっき boost した post の趣意では

2022-09-10 00:12:29 @orumin@mstdn.maud.io
icon

認識の齟齬ではなく伝達の齟齬だとおもうけど……

2022-09-10 00:12:08 @orumin@mstdn.maud.io
2022-09-10 00:11:37 2bo :otoku: 語彙力低下中の投稿 2bo@mstdn.maud.io
icon

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

2022-09-10 00:11:34 @orumin@mstdn.maud.io
icon

焼くな

2022-09-10 00:11:28 @orumin@mstdn.maud.io
2022-09-10 00:10:31 引越挫折太郎の投稿 sota_n@social.mikutter.hachune.net
icon

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

2022-09-10 00:10:49 @orumin@mstdn.maud.io
icon

ぶっちゃけ林間学校みたいなもんだよね、グランピング。オトナの林間学校。

2022-09-10 00:10:29 @orumin@mstdn.maud.io
icon

まあそれはそう

2022-09-10 00:10:24 @orumin@mstdn.maud.io
2022-09-10 00:09:14 めたの投稿 metalefty@social.mikutter.hachune.net
icon

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

2022-09-10 00:10:09 @orumin@mstdn.maud.io
icon

ないよ

2022-09-10 00:10:04 @orumin@mstdn.maud.io
2022-09-10 00:07:46 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

2022-09-10 00:09:11 @orumin@mstdn.maud.io
icon

つまり、キャンプ真面目にやるほどいろいろ買い揃えたり計画したり移動したりまでしたくないけど、ちょっと都会の人が「自然」を感じられるぐらいのところでそれっぽさをナンチャッテで感じられるアクティヴィティはしたいというワガママコースだから……

2022-09-10 00:08:15 @orumin@mstdn.maud.io
icon

宿泊もしますよ(しなければただの BBQ でおわるので。というかべつに BBQ しなくたってグランピングはグランピングですが、基本的にアクティヴィティとして本来のキャンプはとくにこれと決まったものはなく読書でもなんでもいいけど、グランピングとわざわざ言うときは BBQ なり川遊びなりもセットでいろいろラクチンに味わえるようになってる印象

2022-09-10 00:05:51 @orumin@mstdn.maud.io
icon

語源何かと思ったら glamorous + camp で、glamorous なサーヴィスをサーヴィサーとして受けるキャンプ、ということらしい。本義的にはゲルのような施設で宿営してギリギリキャンプの体裁を取ろうとしてたらしいけど

2022-09-10 00:02:20 @orumin@mstdn.maud.io
icon

ホテルというより山ん中のコテージでみんなでわいわい屋外 BBQ とかそんなんですね。あれはあれでたのしい。

2022-09-10 00:01:57 @orumin@mstdn.maud.io
2022-09-09 23:48:52 2bo :otoku: 語彙力低下中の投稿 2bo@mstdn.maud.io
icon

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

2022-09-10 00:01:55 @orumin@mstdn.maud.io
2022-09-09 23:45:00 2bo :otoku: 語彙力低下中の投稿 2bo@mstdn.maud.io
icon

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

2022-09-09 22:18:17 @orumin@mstdn.maud.io
icon

なつかしすぎ

2022-09-09 22:18:00 @orumin@mstdn.maud.io
2022-09-09 22:08:24 かーの投稿 otakan@hota.hirachon.otakan.jp
icon

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

2022-09-09 22:00:49 @orumin@mstdn.maud.io
icon

永野護監督「ゴティックメード」が公開10周年を記念したリバイバル上映! 全国約50館で - ねとらぼ
nlab.itmedia.co.jp/nl/amp/2209

Web site image
永野護監督「ゴティックメード」が公開10周年を記念したリバイバル上映! 全国約50館で
2022-09-09 21:51:53 @orumin@mstdn.maud.io
icon

“元はIT大手「ヤフー」の社員。オークション関連の新規事業立ち上げなどしてきたが、10年勤めた後に自治体などが構成する「日本忍者協議会」に転職”

ヤフーから「忍者」に転職した男性 キャリアを捨ててもやりたかったこと|社会|地域のニュース|京都新聞 kyoto-np.co.jp/articles/-/8730

お探しのページが見つかりません|京都新聞
2022-09-09 21:50:40 @orumin@mstdn.maud.io
icon

ヤフーから「忍者」に転職した男性 キャリアを捨ててもやりたかったこと|社会|地域のニュース|京都新聞
kyoto-np.co.jp/articles/amp/87

お探しのページが見つかりません|京都新聞
2022-09-09 21:25:43 @orumin@mstdn.maud.io
icon

Attach image
2022-09-09 19:24:51 @orumin@mstdn.maud.io
icon

またこんどにするか

2022-09-09 19:24:20 @orumin@mstdn.maud.io
icon

昭和洋食的な気分なのに行こうとした喫茶店もう閉店時間なのだわ。ちくせう

2022-09-09 18:41:07 @orumin@mstdn.maud.io
2022-09-09 18:40:19 No Goldの投稿 aiwas@yysk.icu
icon

本星におけるあらゆるモータルオブジェクト(いわゆる生命体だ)には、おるみんさんが任意のタイミングで起動することにより対象のオブジェクトをおるみんさんの忠実なる尖兵へと転換することができるトリガー・コードが仕込まれていることが明らかになったが、ヴァティカンによりそれを発見した学者ごと抹消されたといわれている。

2022-09-09 18:40:51 @orumin@mstdn.maud.io
2022-09-09 18:36:21 unaristの投稿 unarist@mstdn.maud.io
icon

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

2022-09-09 18:30:06 @orumin@mstdn.maud.io
icon

いかにも洋食っぽい洋食たべるために近所の喫茶店行こかおもったけど近くの喫茶店いまやってるっけ……

2022-09-09 18:29:21 @orumin@mstdn.maud.io
icon

やりこみ要素。

2022-09-09 18:29:16 @orumin@mstdn.maud.io
2022-09-09 18:29:04 アカハナの投稿 akahana@fla.red
icon

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

2022-09-09 18:26:57 @orumin@mstdn.maud.io
icon

@akahana ???

2022-09-09 18:26:49 @orumin@mstdn.maud.io
icon

Amazon Basic 消える前に自称 Amazon Basic のエルゴトロンアーム買うべきか?

2022-09-09 18:26:22 @orumin@mstdn.maud.io
icon

(2022/07/26) アマゾン、プライベートブランド事業を縮小か?…理由は売上の減少と規制圧力 | Business Insider Japan businessinsider.jp/post-256876

Web site image
アマゾン、プライベートブランド事業を縮小か?…理由は売上の減少と規制圧力
2022-09-09 18:25:57 @orumin@mstdn.maud.io
2022-09-09 18:24:03 moko256の投稿 moko256@mstdn.maud.io
icon

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

2022-09-09 18:23:04 @orumin@mstdn.maud.io
2022-09-09 18:22:55 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

@akahana やっぱりってなによ!

2022-09-09 18:22:56 @orumin@mstdn.maud.io
2022-09-09 18:19:16 アカハナの投稿 akahana@fla.red
icon

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

2022-09-09 18:22:55 @orumin@mstdn.maud.io
icon

@akahana やっぱりってなによ!

2022-09-09 18:22:47 @orumin@mstdn.maud.io
2022-09-09 18:17:39 zgock999の投稿 zgock999@mstdn.maud.io
icon

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

2022-09-09 18:22:29 @orumin@mstdn.maud.io
icon

@cmplstofB ないかなあ。小売りが自社ブランドで製品出すのは PB なの言わずもがななところもありますし

2022-09-09 18:21:10 @orumin@mstdn.maud.io
icon

@cmplstofB こういうのはデカい小売りがまとめて発注・納品するので、メーカーは売上確保しやすいしユーザーはマスの原理でよいものを安く手に入りやすい、という理屈で am͜a͉zon に限らずスーパーやコンビニ各社など様々な小売で流行ってる手法ですね

2022-09-09 18:19:52 @orumin@mstdn.maud.io
icon

@cmplstofB am͜a͉zon のプライヴェートブランド。イオンの「トップバリュ」が自社開発だけしかないというよりは OEM 製品ばかりなのと同じで、ロゴが Amazon Basic なだけで中身は某有名製品と同じ、とかありがち

2022-09-09 18:17:31 @orumin@mstdn.maud.io
icon

新しいおるみんのコピー(2)_20220909※※令和4年最新版※※【編集注意】.xlsx

2022-09-09 18:15:04 @orumin@mstdn.maud.io
icon

自我崩壊するやつやん……

2022-09-09 18:14:53 @orumin@mstdn.maud.io
2022-09-09 18:14:46 ほたの投稿 hota@mstdn.maud.io
icon

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

2022-09-09 18:14:41 @orumin@mstdn.maud.io
icon

刃牙と戦いたくなさすぎる

2022-09-09 18:14:26 @orumin@mstdn.maud.io
2022-09-09 18:13:52 ちゃーしゅーねこの投稿 charsiuCat@social.mikutter.hachune.net
icon

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

2022-09-09 18:14:17 @orumin@mstdn.maud.io
icon

ローグ方式かよ

2022-09-09 18:14:04 @orumin@mstdn.maud.io
2022-09-09 18:13:40 上海蟹七咲の投稿 SHC7saki@mstdn-bike.net
icon

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

2022-09-09 18:14:00 @orumin@mstdn.maud.io
icon

もしかしてわたしってコンテキストメニューからワンクリックで作られたりした?

2022-09-09 18:13:32 @orumin@mstdn.maud.io
2022-09-09 18:13:25 ぴけ@Skeb1件作業中の投稿 pikepikeid@mstdn.maud.io
icon

新しいおるみん

2022-09-09 18:13:21 @orumin@mstdn.maud.io
icon

白亜紀に人類の化石が出土するの世紀の大発見すぎる

2022-09-09 18:12:56 @orumin@mstdn.maud.io
icon

それ出土してたらここに居る私は一体……?死んで復活したやつ?

2022-09-09 18:12:32 @orumin@mstdn.maud.io
2022-09-09 18:12:03 上海蟹七咲の投稿 SHC7saki@mstdn-bike.net
icon

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

2022-09-09 18:12:28 @orumin@mstdn.maud.io
icon

食べログのはあれか、最寄り駅で書いちゃうから微妙に変わっちゃうだけか

2022-09-09 18:11:59 @orumin@mstdn.maud.io
icon

なるほど、そゆことね

2022-09-09 18:11:48 @orumin@mstdn.maud.io
2022-09-09 18:11:44 ほたの投稿 hota@mstdn.maud.io
icon

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

2022-09-09 18:10:47 @orumin@mstdn.maud.io
icon

わたし江戸時代にはまだ生まれてませんの!

2022-09-09 18:10:22 @orumin@mstdn.maud.io
icon

ぐえーおなかすいた

2022-09-09 18:09:56 @orumin@mstdn.maud.io
icon

長崎まだ行ったことなくて地名からなにもわからない

2022-09-09 18:09:30 @orumin@mstdn.maud.io
icon

なんかお店複数あるのかな

2022-09-09 18:09:01 @orumin@mstdn.maud.io
icon

ニッキー・アースティン - めがね橋/洋食 | 食べログ
s.tabelog.com/nagasaki/A4201/A

2022-09-09 18:08:51 @orumin@mstdn.maud.io
icon

移転している……? >>【移転】ニッキー・アースティン 浜町店 - 浜町アーケード/洋食 | 食べログ
s.tabelog.com/nagasaki/A4201/A

Web site image
ニッキー・アースティン 浜町店 (浜町アーケード/洋食)
2022-09-09 18:08:14 @orumin@mstdn.maud.io
icon

s/オー/アー/

2022-09-09 18:07:37 @orumin@mstdn.maud.io
2022-09-09 18:07:29 ほたの投稿 hota@mstdn.maud.io
icon

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

2022-09-09 18:07:09 @orumin@mstdn.maud.io
icon

トルコライスみてたら洋食たべたくなってきた

2022-09-09 18:05:23 @orumin@mstdn.maud.io
icon

いいわねー

2022-09-09 18:05:18 @orumin@mstdn.maud.io
2022-09-09 18:04:34 上海蟹七咲の投稿 SHC7saki@mstdn-bike.net
icon

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

2022-09-09 18:05:17 @orumin@mstdn.maud.io
2022-09-09 18:04:31 ほたの投稿 hota@mstdn.maud.io
icon

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

2022-09-09 18:05:13 @orumin@mstdn.maud.io
icon

もしかしてニッキー・オースティンがトルコライス発祥なのかしらと思ったらそういうわけではないらしい?(というかそもそも発祥不明っぽそう

2022-09-09 18:03:29 @orumin@mstdn.maud.io
icon

なるほど洋食屋 >> ニッキー・アースティン | フロアガイド | アミュプラザ長崎 amu-n.co.jp/floorguide/detail/

Web site image
ニッキー・アースティン | フロアガイド | アミュプラザ長崎
2022-09-09 18:02:38 @orumin@mstdn.maud.io
2022-09-09 17:56:36 ほたの投稿 hota@mstdn.maud.io
icon

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

2022-09-09 18:02:18 @orumin@mstdn.maud.io
icon

小籠包いいな

2022-09-09 18:02:03 @orumin@mstdn.maud.io
icon

長崎、横浜、神戸が日本の三大中華街かなあ。どれも江戸時代までで外圧に負けて開港したやつ

2022-09-09 13:45:33 @orumin@mstdn.maud.io
icon

凍らせないで

2022-09-09 13:38:37 @orumin@mstdn.maud.io
2022-09-09 13:03:16 もちゃ(あと-16.45Kg)の投稿 mot@mastodon.motcha.tech
icon

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

2022-09-09 13:38:36 @orumin@mstdn.maud.io
2022-09-09 13:02:42 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

2022-09-09 12:12:47 @orumin@mstdn.maud.io
icon

@mot まあそういうことですね。そもそも葬式でないので昭恵夫人は何か言えるものでもない

2022-09-09 12:10:31 @orumin@mstdn.maud.io
icon

@mot 葬式自体はもう増上寺で営まれてるので、国葬儀とはちょい話が違う気が(国葬儀は葬式ではなく国家儀式でしかないので)

2022-09-09 11:55:08 @orumin@mstdn.maud.io
icon

ミチチチ

2022-09-09 11:25:32 @orumin@mstdn.maud.io
icon

エネメス

2022-09-09 11:11:30 @orumin@mstdn.maud.io
icon

逆にゼネラルは見覚えあると思って松江石油(株)経営のスタンドの写真みたら、例の記事のせいでイッパツで元ゼネラルという確信を得てしまった。

2022-09-09 11:07:34 @orumin@mstdn.maud.io
icon

というか今もサウンドロゴ変えてないんだ! youtu.be/unqxH-goRwA

Attach YouTube
2022-09-09 11:05:24 @orumin@mstdn.maud.io
icon

日石灯油(三菱)だもんネ!はたぶん松江じゃ流れてなかったんじゃないかという気すらするけど、ココロを満タンに コスモ石油はかなり覚えしかない

2022-09-09 10:58:23 @orumin@mstdn.maud.io
icon

昭和シェルも出光とがっちゃんこしちゃったから、再来年ぐらいまでにはみんなアポロステーションになっちゃって V-Powerもサヨナラっぽい

2022-09-09 10:57:21 @orumin@mstdn.maud.io
icon

懐かしのハイオクCM | ブロゲリラ BLOGUERRILLA ameblo.jp/hibikorekakutou/entr 現代では Shell V-Power 以外はみんな油槽所でまぜまぜされててオクタン価 100 あるかあやしければ清浄剤が入ってないようなハイオクガソリンのみんな同じやつを同じように元売りが売っていることが明かになったわけですが、当時はちゃんと別々だったはずなんだよな

2022-09-09 10:53:26 @orumin@mstdn.maud.io
icon

めっちゃ若者やんけ

2022-09-09 10:53:17 @orumin@mstdn.maud.io
2022-09-09 10:47:39 藤敷菰八 🏇の投稿 FS5@uma.milkey.homes
icon

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

2022-09-09 10:52:19 @orumin@mstdn.maud.io
icon

あのファストバックスタイルのタルガトップはグッとくるものがある

2022-09-09 10:51:28 @orumin@mstdn.maud.io
icon

コスモスポーツに乗り換えるなら ND ロードスターの RF 買います

2022-09-09 10:51:10 @orumin@mstdn.maud.io
icon

言ってない言ってない

2022-09-09 10:51:01 @orumin@mstdn.maud.io
2022-09-09 10:49:18 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

2022-09-09 10:48:43 @orumin@mstdn.maud.io
icon

ロゴと色使いは JOMO かなりすきです

2022-09-09 10:46:38 @orumin@mstdn.maud.io
icon

ところで日石三菱ポッカポカはまったく記憶にない(実感のちかくにあったの JOMO、コスモ、出光あたりだった気がする

2022-09-09 10:45:27 @orumin@mstdn.maud.io
2022-09-09 10:43:22 藤敷菰八 🏇の投稿 FS5@uma.milkey.homes
icon

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

2022-09-09 10:44:54 @orumin@mstdn.maud.io
icon

語呂わるすぎるやつや

2022-09-09 10:44:39 @orumin@mstdn.maud.io
2022-09-09 10:44:20 遊佐こずえの投稿 kozue@yysk.icu
icon

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

2022-09-09 10:44:35 @orumin@mstdn.maud.io
icon

ところで三井石油も三井物産の石油部門(ゼネラル)もどっちもエネオスなのもうわからんね

2022-09-09 10:43:06 @orumin@mstdn.maud.io
icon

あとそれ三井抜けてる!

2022-09-09 10:42:32 @orumin@mstdn.maud.io
icon

ENEOS 元ブランド鑑定士たぶん銀行支店の元銀行鑑定士もやれる

2022-09-09 10:41:48 @orumin@mstdn.maud.io
2022-09-09 10:41:26 遊佐こずえの投稿 kozue@yysk.icu
icon

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

2022-09-09 10:40:10 @orumin@mstdn.maud.io
icon

s/Quenn/Queen/

2022-09-09 10:39:15 @orumin@mstdn.maud.io
icon

崩御二日前に首相任命の大命を受けた Liz Truss 首相、Liz は nickname でフルネームは Elizabeth らしく、Quenn Elizabeth II が最後に王命を下したのは Elizabeth、ということに。

2022-09-09 10:35:32 @orumin@mstdn.maud.io
icon

@akahana twitter.com/RoyalFamily/status 崩御から一時間も経たないうちに「His Majesty The King」から声明が出てるからね

2022-09-09 10:30:33 @orumin@mstdn.maud.io
icon

ハノーヴァー朝時代、ステュアート王朝の裔であるチャールズ殿下がジャコバイト派に擁立されて「チャールズ三世」を僭称し王位への復位を目指した事件があったそうで >>
チャールズ・エドワード・ステュアート - Wikipedia
ja.wikipedia.org/wiki/%E3%83%8

Web site image
%E3%83%81%E3%83%A3%E3%83%BC%E3%83%AB%E3%82%BA%E3%83%BB%E3%82%A8%E3%83%89%E3%83%AF%E3%83%BC%E3%83%89%E3%83%BB%E3%82%B9%E3%83%86%E3%83%A5%E3%82%A2%E3%83%BC%E3%83%88
2022-09-09 10:25:50 @orumin@mstdn.maud.io
icon

チャールズ三世新王陛下は王名としてジョージ七世を望んでらしたという風説も過去流れたのですが、王室が否定した通り風説でしかなく王名はそのままチャールズとして王位に就かれたようですね

2022-09-09 10:24:19 @orumin@mstdn.maud.io
2022-09-09 03:34:47 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

御歳 73 のチャールズ殿下が王位を継承しチャールズ三世としてウィンザー朝第五代王位に即位

2022-09-09 10:23:50 @orumin@mstdn.maud.io
icon

フィリップ王配殿下は 99 歳であられましたからね。王座にあった身としてはエリザベス二世女王陛下が在位も御年齢も最長ですが。

2022-09-09 10:22:05 @orumin@mstdn.maud.io
icon

“エリザベス2世が死去した後にイギリスで執り行われる各種行事などの計画のことで、「ロンドン橋が落ちた」(London Bridge is Down)というコードネームでも知られる。具体的には、女王の死の公表、公式な服喪期間、国葬の詳細などがそこで検討されている。”

ロンドン橋計画 - Wikipedia
ja.wikipedia.org/wiki/%E3%83%A

Web site image
%E3%83%AD%E3%83%B3%E3%83%89%E3%83%B3%E6%A9%8B%E8%A8%88%E7%94%BB
2022-09-09 03:42:04 @orumin@mstdn.maud.io
icon

今上陛下は 62 歳であられるので、仮にエリザベス女王陛下と同じ歳で崩御されてしまったとき宮殿下がご健在であれば次代天皇は 91 歳で即位なんてことになりかねない(仮にそうなりかけたら即位拒否となりそうだけど

2022-09-09 03:39:06 @orumin@mstdn.maud.io
icon

不謹慎なことを言うと新王が 73 歳というのは激務で再来年ぐらいに「英国王の死」なんてこともかなり可能性があるのだけど、本邦とて今上陛下の皇嗣は御歳 56 歳の秋篠宮殿下なので他人事でもなさそう

2022-09-09 03:35:28 @orumin@mstdn.maud.io
icon

God Save the Queen でもなくなるのよね

2022-09-09 03:34:52 @orumin@mstdn.maud.io
2022-09-09 03:33:41 ふぇのまー(キタカミのすがた)の投稿 Phenomer@social.mikutter.hachune.net
icon

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

2022-09-09 03:34:51 @orumin@mstdn.maud.io
2022-09-09 03:25:40 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

ああそうか、 His Majesty になるのか

2022-09-09 03:34:47 @orumin@mstdn.maud.io
icon

御歳 73 のチャールズ殿下が王位を継承しチャールズ三世としてウィンザー朝第五代王位に即位

2022-09-09 03:23:59 @orumin@mstdn.maud.io
icon

チャールズ皇太子、新国王に即位 | 共同通信 nordot.app/940673723659354112

2022-09-09 02:43:56 @orumin@mstdn.maud.io
icon

Queen Elizabeth II has died, Buckingham Palace announces - BBC News
bbc.com/news/uk-61585886

Web site image
Queen Elizabeth II has died
2022-09-09 02:04:05 @orumin@mstdn.maud.io
icon

エリザベス女王の健康「懸念を抱かせる状態」 英王室が発表
asahi.com/articles/ASQ9875P9Q9

Web site image
エリザベス女王の健康「懸念を抱かせる状態」 英王室が発表:朝日新聞デジタル
2022-09-09 01:04:14 @orumin@mstdn.maud.io
icon

“ところで、この記事を書くために数百枚のガソリンスタンドの写真を短時間に見比べていたせいか、不思議なことに一目で元のブランドが分かるようになってきた。どこで使うんだこんな能力。”

あのエネオスは元々どのブランドだったのか - 電車待ちに読むブログ bassa2015.hatenablog.com/entry

Web site image
あのエネオスは元々どのブランドだったのか
2022-09-09 01:03:05 @orumin@mstdn.maud.io
icon

あのエネオスは元々どのブランドだったのか - 電車待ちに読むブログ
bassa2015.hatenablog.com/entry

Web site image
あのエネオスは元々どのブランドだったのか
2022-09-09 00:49:26 @orumin@mstdn.maud.io
2022-09-07 22:50:28 @orumin@mstdn.maud.io
icon

これ大好き

2022-09-07 22:50:15 @orumin@mstdn.maud.io
2022-09-07 22:45:22 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

時間あたりの出力は締切に近づくほど増大するのでそのまま締切を過ぎれば無尽蔵の出力を得られるという結論に至った論文なかったっけ

2022-09-07 22:41:49 @orumin@mstdn.maud.io
2022-09-07 22:36:36 あいざわの投稿 nao@mstdn.maud.io
icon

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

2022-09-07 22:35:36 @orumin@mstdn.maud.io
icon

締切直前にどうせなんとかなると開き直ることでゲームやる手法もある

2022-09-07 22:35:06 @orumin@mstdn.maud.io
2022-09-07 22:34:46 あいざわの投稿 nao@mstdn.maud.io
icon

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

2022-09-07 22:34:56 @orumin@mstdn.maud.io
icon

ぼろんじさんの謎ポイントシステム

2022-09-07 22:34:05 @orumin@mstdn.maud.io
icon

わたしそもそも $HOME/.ssh/ 以下にそのまま鍵ファイル置いてるなあ。ディレクトリ掘ってうれしいことあんまないし

2022-09-07 22:31:09 @orumin@mstdn.maud.io
2022-09-07 19:21:46 𒀭🍊🎨の投稿 hassaku@pawoo.net
icon

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

2022-09-07 22:30:46 @orumin@mstdn.maud.io
icon
Web site image
スルガベイ インペリアル IPA - Baird Beer
2022-09-07 22:28:00 @orumin@mstdn.maud.io
icon

こわ

2022-09-07 22:27:57 @orumin@mstdn.maud.io
2022-09-07 22:21:14 かーの投稿 otakan@hota.hirachon.otakan.jp
icon

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

2022-09-06 23:54:49 @orumin@mstdn.maud.io
icon

LLVM 15.0 Released With Security Features, Experimental DirectX Back-End, New AMD GPUs - Phoronix
phoronix.com/news/LLVM-15.0-Re

Web site image
LLVM 15.0 Released With Security Features, Experimental DirectX Back-End, New AMD GPUs
2022-09-06 22:09:27 @orumin@mstdn.maud.io
icon

ヤマト運輸がスマホ決済「にゃんPay」を発表 宅急便運賃12%割引も - ITmedia Mobile
itmedia.co.jp/mobile/spv/2209/

Web site image
ヤマト運輸がスマホ決済「にゃんPay」を発表 宅急便運賃12%割引も
2022-09-06 22:03:58 @orumin@mstdn.maud.io
icon

RT @OKB1917@twitter.com: 何から何までが「俺たちの知っている全裸中年男性」で本当にすきtwitter.com/zerojirou/status/1

twitter.com/OKB1917/status/156

2022-09-06 22:02:12 @orumin@mstdn.maud.io
icon

RT @zerojirou@twitter.com: 家庭菜園に侵入し野菜を食い漁っていた全裸の中年男性(46)、駆けつけた警官隊に貝殻で殴りかかる 米・ペンシルバニア州
cbsnews.com/pittsburgh/news/ma

twitter.com/zerojirou/status/1

Web site image
Police: Naked man attacks troopers with seashell in backyard of Mt. Pleasant home
2022-09-06 21:37:54 @orumin@mstdn.maud.io
icon

Fusion 360 を 3D プリンタのためにしか使ったことなかったからテクスチャとかあるんだあってなった(それはそう

2022-09-06 21:35:56 @orumin@mstdn.maud.io
icon

Fusion 360 個人利用かつ私的利用であれば無償で使えるのはありがたいけど、一年前に無償ライセンスで入れたはずのものが試用ライセンス切れたから買ってくれとかいって死ぬの謎だった(アンインストールして最新無償版インストールしたら普通に使えました)

2022-09-06 21:30:07 @orumin@mstdn.maud.io
icon
Web site image
黒白のアヴェスター - 正田崇作品 @ ウィキ
2022-09-06 21:29:15 @orumin@mstdn.maud.io
icon

シナリオライターのひとたしか諦めてとらのあなとかに同人で書いた文章だしてなかった?

2022-09-06 21:28:10 @orumin@mstdn.maud.io
icon

死にかけた、まで知ってたけど立ち直れてたんだ

2022-09-06 21:28:00 @orumin@mstdn.maud.io
2022-09-06 21:17:48 unaristの投稿 unarist@mstdn.maud.io
icon

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

2022-09-06 21:27:57 @orumin@mstdn.maud.io
2022-09-06 21:15:09 unaristの投稿 unarist@mstdn.maud.io
icon

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

2022-09-06 21:12:44 @orumin@mstdn.maud.io
icon

@6hs1 まあ純粋な計算機科学史はいろいろつらそうではある。私もそこらへんの歴史の蒐集は好きだけど、知ったそれらを整理、体系化して分類しなおして史学・通史として編纂するようなことはぜんぜんやる気がないし、できる気もしない

2022-09-06 21:09:45 @orumin@mstdn.maud.io
icon

@6hs1 でもこの方の専門も computing 技術による社会変容、文化史というところが重きがありそうなので、計算機科学史はまた別かも

2022-09-06 21:08:31 @orumin@mstdn.maud.io
icon

@6hs1 twitter.com/mk95_hoc 元科学コミュニケーターというところみるに、研究者キャリアはもう結構積まれてるけど博士号のために院に入りなおされてるとかなのかも?

Web site image
K.Maeyama /電子計算機の日本史(@mk95_hoc)さん | Twitter
2022-09-06 21:06:07 @orumin@mstdn.maud.io
icon

@6hs1 ところで確認したら先生じゃなくてまだ研究員/院生だった

2022-09-06 20:56:11 @orumin@mstdn.maud.io
icon

複数の独立したアクターが互いにメッセージパッシングし、そのメッセージに作用されてアクターが振舞いを決めることに OOP の本質をみるのか、C で言う構造体型に振舞いとしての関数も一緒くたにしてしまい、さらにアクセス制限を導入することでカプセル化すること(そしてそれを継承などで多態性を持たせること)に本質を見るかの違い

2022-09-06 20:52:51 @orumin@mstdn.maud.io
icon

後者、語が被るのをカプセル化の、で回避してるのはみたことある

2022-09-06 20:52:27 @orumin@mstdn.maud.io
2022-09-06 20:52:03 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

抽象データ型、代数的データ型と略称が被るんだよな

2022-09-06 20:52:26 @orumin@mstdn.maud.io
2022-09-06 20:51:33 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

代用的にメッセージパッシングと抽象データ型みたいな言われかたをすることはある

2022-09-06 20:50:50 @orumin@mstdn.maud.io
icon

みたことはない

2022-09-06 20:50:19 @orumin@mstdn.maud.io
icon

すげー。つかえないね……

2022-09-06 20:50:12 @orumin@mstdn.maud.io
2022-09-06 20:50:00 えあい:win98_shrimp::win98_shrimp::straight_shrimp:の投稿 Eai@stellaria.network
icon

ジッターも10倍以上になる

2022-09-06 20:50:11 @orumin@mstdn.maud.io
2022-09-06 20:48:35 えあい:win98_shrimp::win98_shrimp::straight_shrimp:の投稿 Eai@stellaria.network
icon

おnuro夕方になるとpingがぐんぐん上がっていく

Attach image
2022-09-06 20:48:36 @orumin@mstdn.maud.io
icon

utilization で今一歩、なのもそうなんだけど、それ以上にそこまで高度な部品化してもどうせそこまで分解して再利用しないじゃん、もありそう(ライブラリの再利用はあってもクラスをアクターとして部品化するほど細分化した再利用しない上にそこまでやると overengineering になりがちとかそういう

2022-09-06 20:47:12 @orumin@mstdn.maud.io
2022-09-06 20:44:14 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

前者はハイパフォーマンスなコンピューティングと相性悪いのかなあという感もなくはない

2022-09-06 20:46:43 @orumin@mstdn.maud.io
icon

@6hs1 それを専門にしてる先生はいなくもないけどね

2022-09-06 20:46:13 @orumin@mstdn.maud.io
icon

あれは Macintosh プロジェクトを創始した(そして後に Steve Jobs に乗っ取られ Apple を去った)Bill Atkinson の HyperCard とそのための HyperTalk 言語に少なかれ Jobs が影響を受けたのではないかと思わなくもない(Macintosh 初代発売直後 Jobs も追い出されて、すぐに大学向け科学計算ワークステーションビジネスに飛び付いてうまれたのが NeXTSTEP なので)

2022-09-06 20:43:53 @orumin@mstdn.maud.io
2022-09-06 20:42:42 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

Obj-C (というか NeXTSTEP を源流とするシステム?)がけっこうちゃんと前者のそれをやっててなるほどなあとなった

2022-09-06 20:42:26 @orumin@mstdn.maud.io
icon

@6hs1 まあでも、どの言語がどの言語から influence されたものか図でマッピングしてみる、みたいな試みをしたことある人はこれまでたくさんいる(はず

2022-09-06 20:41:36 @orumin@mstdn.maud.io
icon

@6hs1 やってほしい

2022-09-06 20:41:20 @orumin@mstdn.maud.io
icon

Objective-C/C++ の再発明といわれればそこまででもあるけど

2022-09-06 20:40:52 @orumin@mstdn.maud.io
icon

こまるのがべつに C++ でも pure な C でも前者のそれを書けてしまえることなんだよな

2022-09-06 20:40:21 @orumin@mstdn.maud.io
2022-09-06 20:40:01 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

イマドキの言語は大体後者だと思う

2022-09-06 20:40:19 @orumin@mstdn.maud.io
2022-09-06 20:40:17 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

Ruby のそれは前者寄りだね

2022-09-06 20:40:00 @orumin@mstdn.maud.io
icon

計算機科学分類学なるジャンルをひとつデッチ上げないことには将来にわたって解決されることはなさそう

2022-09-06 20:39:25 @orumin@mstdn.maud.io
2022-09-06 20:37:43 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

@6hs1 ようは先に実装があって、誰かが複数の製品の classification の terminology として何かしらの語彙を考えついたとして、分野が若いのもあってそこに taxonomy や哲学を与える人がほぼいない。机の上で辞書こねくりまわすより現実的に直面している問題を解決したいからね。

2022-09-06 20:39:20 @orumin@mstdn.maud.io
icon

「わかってる」人はわざわざ Alan Kay 流の、Bjarne Stroustrup 流の、と補足を入れるけど、大抵の場合教える人も教えられる人も区別があること自体に気付いてないのでとっちらかるという

2022-09-06 20:38:02 @orumin@mstdn.maud.io
2022-09-06 20:37:43 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

プログラミング言語の思想が散り散りになるといえばオブジェクト指向という語が指すパラダイムが実は 2 つあって混同されやすいみたいな話がありますね

2022-09-06 20:37:43 @orumin@mstdn.maud.io
icon

@6hs1 ようは先に実装があって、誰かが複数の製品の classification の terminology として何かしらの語彙を考えついたとして、分野が若いのもあってそこに taxonomy や哲学を与える人がほぼいない。机の上で辞書こねくりまわすより現実的に直面している問題を解決したいからね。

2022-09-06 20:34:52 @orumin@mstdn.maud.io
icon

@6hs1 工学、というか実学的なところで、語法が製品の宣伝文句とかで容易に拡張される上にそれに引っ張られて論文とかも書かれることもあるので、論理的枠組みから出発したものでない概念はみんなとっちらかる。

2022-09-06 20:27:39 @orumin@mstdn.maud.io
icon

@6hs1 それはそうだけど計算機科学分野の用語は工学的に発達した分野の用語の定義は正直不可能というところもある(たとえば「OS」の厳密な定義を私は語れない、オレオレ流解釈をもって騙ったり哲学したりはできるとしても

2022-09-06 20:26:12 @orumin@mstdn.maud.io
icon

インプットに対しニューロンをスパークさせ「意思決定」をし生体電気で筋肉を稼動させる人類はなぜ計算機ではないのかとか言い出すともはやただのデカルト哲学

2022-09-06 20:23:58 @orumin@mstdn.maud.io
icon

結局言語哲学の問題に終始することになりそうな気がしてきた

2022-09-06 20:23:04 @orumin@mstdn.maud.io
icon

もうこれで FA で、結局形式言語でないプログラミング言語はありえない、でよい気はしてきたんだけど、なんか悔しいから「舞台の台本のト書は役者に対する脚本家にとってのプログラミング言語たりうるか」みたいなトンチを考えはじめた(完全なトンチでしかないので戯言にしかなりません)

2022-09-06 20:19:52 @orumin@mstdn.maud.io
icon

まあでも機械学習したってなにしたって DB なり switch-case なり学習モデルなり分岐の方法は違えどパラメータに対するアウトプットは一意にしか作れないんだから、汎用知性のない現在において曖昧に言語を解釈し得るコンパイラないしインタプリタというのは現時点で存在し得ない?

2022-09-06 20:17:23 @orumin@mstdn.maud.io
icon

音声云々はあのときパッと思いついたから書いちゃっただけで直近の数 toot はべつに音声にかぎらず考えています

2022-09-06 20:13:51 @orumin@mstdn.maud.io
icon

こんなところかな。

1. プログラミング言語の出発点は形式言語の理論からきていない
2. いま現在実用(実用とは?)に足るプログラミング言語は形式文法を備えるため、形式言語と言えなくはない。
3. 過去、現在、未来にわたって、あるいは現在世界中全てを見渡したときに形式文法のない(あるいは文法と呼べるもの自体を備えない)プログラミング言語ないと断言はできない(悪魔の証明)
a. 1. の事項により、この点を厳密に明かにできない(そのような定義から出発しなかったため)
b. ただし文法と呼べるような構文のないただのコマンド列はそもそも「プログラミング言語」足り得ない可能性はもちろん存在する

2022-09-06 20:07:48 @orumin@mstdn.maud.io
2022-09-06 20:04:33 @orumin@mstdn.maud.io
icon

個人的には、プログラミング言語というもの自体からして計算機への命令列を適度に人間に解釈し得る文字列ないしトークン列に置換して作ったものが五月雨式で拡張・高機能化する過程として形式言語の理論背景の支援を得てより強力な表現力を獲得した、というものだと思っているので、形式言語かどうかという分類するべきではない気がしている(直交し得るので

2022-09-06 20:01:23 @orumin@mstdn.maud.io
2022-09-06 19:55:27 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

音声認識システムに一意性がなくても、そいつが吐くであろうトークン列に対しての解釈は一意性があるから形式的なシェル言語でしかないと言い張れる?

2022-09-06 20:01:13 @orumin@mstdn.maud.io
2022-09-06 19:59:32 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

音声認識によって得られたトークン列に対しては(意図的にそういうことをしなければ)解釈は一意になりそう

2022-09-06 20:01:04 @orumin@mstdn.maud.io
icon

まあ「現実にプロダクト開発や研究に利用される言語は解釈が一意になる形式文法を備える言語であるため、ここを出発点としプログラミング言語とはそのような言語のことを指すとして定義する」ぐらい断言してしまってもいい気がしなくもないけど、わからん

2022-09-06 19:59:12 @orumin@mstdn.maud.io
icon

ここのプログラミング言語の定義が曖昧、という話に帰ってきてしまった。

2022-09-06 19:58:56 @orumin@mstdn.maud.io
2022-09-06 19:30:34 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

そもプログラミング言語というものの定義に曖昧性があるところがある

2022-09-06 19:58:13 @orumin@mstdn.maud.io
2022-09-06 19:57:17 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

チューリング完全ではないが世間的にはプログラミング言語の扱いを受けている言語もあるし

2022-09-06 19:58:11 @orumin@mstdn.maud.io
2022-09-06 19:56:54 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

何をもってプログラミング言語とするかという問題が出そう

2022-09-06 19:55:51 @orumin@mstdn.maud.io
icon

そう

2022-09-06 19:55:27 @orumin@mstdn.maud.io
icon

音声認識システムに一意性がなくても、そいつが吐くであろうトークン列に対しての解釈は一意性があるから形式的なシェル言語でしかないと言い張れる?

2022-09-06 19:52:58 @orumin@mstdn.maud.io
icon

ここらへんが、さっき出したような音声対話システムみたいなものもプログラミング言語に含められるんじゃないかとか考え出すとどうなんだろうと思っていたところでした

2022-09-06 19:52:18 @orumin@mstdn.maud.io
2022-09-06 19:47:59 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

まあこれはふんわりとしたお気持ちであって実際の定義がどうなのかは別の話なので、あまり真に受けないでください……

2022-09-06 19:52:17 @orumin@mstdn.maud.io
2022-09-06 19:47:18 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

formal language であるか否かは、定義というよりは解釈の一意性がプライマリな懸案事項なのかなという感じがする。
「一意な解釈 (←構文解析含む) が可能である」という性質を求めると、必然的にアルゴリズムやいい感じの定義が生えてくる、みたいな。

2022-09-06 19:50:16 @orumin@mstdn.maud.io
icon

Lisp はともかく Fortran に関しては言語学からチョムスキーの理論など輸入したり理論的体系を持つ前の時代の研究だから微妙だよねというかんじ

2022-09-06 19:48:56 @orumin@mstdn.maud.io
icon

ちなみにドイツ語でくしゃみをした人に対して英語で God bless you と言うのと同じ用法の間投詞に gesundheit があるらしいですが、これは古英語 gesund と同じとこから来てるそうで、現代ドイツ語では healthy の意味で gesund という語彙をつかうらしい

2022-09-06 19:47:07 @orumin@mstdn.maud.io
icon

sound (adj.) も sound (n.) も *swen- から来てるっぽいが、前者は古英語 gesund、ゲルマン祖語 *sunda- から来ていて、後者は古フランス語 son、ラテン語 sonus から由来しているらしい。あと sound (adj.) はインド・イラン祖語やバルト・スラヴ祖語にも通じているとか。

2022-09-06 19:38:07 @orumin@mstdn.maud.io
icon

unsound とか書かれたりする

2022-09-06 19:37:24 @orumin@mstdn.maud.io
2022-09-06 19:37:00 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

言語(の構文)そのものの話なら sound とか regular とかそういう話になりそう

2022-09-06 19:35:32 @orumin@mstdn.maud.io
2022-09-06 19:34:40 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

妥当な XML というときの妥当は valid の意味で、構文解析器が受理できるかみたいな話であって言語の構文そのものとはレイヤーが違う気がする

2022-09-06 19:34:35 @orumin@mstdn.maud.io
icon

たとえば現代の音声対話エージェントは現実に実用される自然言語の文法や意味論を読み取って汎用に解釈し得るというよりは、ある程度は認識したトークン列から形態素解析から品詞分解などするかもしれないが、基本は認識したトークン列が DB にあるコマンドの特定の品詞を実引数として埋めるコマンド実行命令になっているときにそのコマンドを実行する、シェルスクリプトの音声版だとするとこれは妥当なプログラミング言語と言えるのではないかという気がしなくもない。制御構文がないからだめ?

2022-09-06 19:30:34 @orumin@mstdn.maud.io
icon

そもプログラミング言語というものの定義に曖昧性があるところがある

2022-09-06 19:28:38 @orumin@mstdn.maud.io
icon

妥当なプログラミング言語、の「妥当」というのがかなり恣意的な基準になるように思われるのでなんともだけど、直感的にはまともに作ったら形式言語になるでしょぐらいには思うけど、断言できるかというとそれはどうかな?と思ってしまう

2022-09-06 19:24:17 @orumin@mstdn.maud.io
icon

形式言語は形式文法で規則的に定義可能な言語だと思うので、言語学分野での分類であってプログラミング言語が形式言語であるかというとどうなんだろ。現代ではコンパイラ技術が熟成・定式化されてるから形式的に文法を定めることをまずやると了解しているのでそのように定義するところから出発はするだろうけど、たとえば (生まれた直後の)Fortran や Lisp がそこから出発して設計されていたかというと微妙な。ただまあ、計算機が決定論的に解析できる時点でどう作られたにせよ逆説的に形式言語に必ずなる、と言えなくもない?

2022-09-06 18:34:26 @orumin@mstdn.maud.io
icon

『ふたりソロキャンプ』の絵柄、『華麗なる食卓』のふなつ一輝先生の系譜をかんじるなあって前から思ってる。アシとかされてたのかも。

2022-09-06 18:33:37 @orumin@mstdn.maud.io
2022-09-06 18:26:46 抑圧の投稿 Niceratus@pawoo.net
icon

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

2022-09-06 18:27:30 @orumin@mstdn.maud.io
icon

RT @tomoshibi6o6o@twitter.com: ハプスブルク家後嗣フェルディナント・ハプスブルク大公、秋葉原を訪れる。

しかしタクシーで危険行為(窓外セルフィー)に及んだり、男性器の名前を連呼する曲を流す。

※この曲はわいせつな歌詞じゃないそうだが、これはちょっと…大公殿下マジでなにしてんの? 世が世ならオーストリア皇太子なのに
twitter.com/tomoshibi6o6o/stat

2022-09-06 18:02:21 @orumin@mstdn.maud.io
icon

Gawk 5.2.0 released [LWN.net]
lwn.net/Articles/907278/

Gawk 5.2.0 released
2022-09-06 12:40:55 @orumin@mstdn.maud.io
icon

ロシア、ビザなし交流を一方的破棄 領土問題で日本揺さぶり:時事ドットコム
jiji.com/jc/article?k=20220906

2022-09-06 12:40:34 @orumin@mstdn.maud.io
icon

独VW、ポルシェ上場を計画 評価額11兆円超も:時事ドットコム
jiji.com/jc/article?k=20220906

2022-09-06 12:39:24 @orumin@mstdn.maud.io
icon

初代ウォークマン価格高騰 「昭和」カセットプレーヤーブーム - 産経ニュース
sankei.com/article/20220905-U6

Web site image
初代ウォークマン価格高騰 「昭和」カセットプレーヤーブーム
2022-09-05 07:13:06 @orumin@mstdn.maud.io
icon

漢字つよいってはなしだ

2022-09-05 06:32:21 @orumin@mstdn.maud.io
icon

羽田にいたやつ

Attach image
2022-09-05 01:54:29 @orumin@mstdn.maud.io
icon

私の車ね

2022-09-05 01:54:15 @orumin@mstdn.maud.io
2022-09-05 01:54:10 rootYの投稿 rooty2@mstdn.maud.io
icon

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

2022-09-05 01:54:13 @orumin@mstdn.maud.io
icon

@miwpayou0808 それはそう

2022-09-05 01:53:45 @orumin@mstdn.maud.io
icon

2.10 出たのか

2022-09-05 01:53:32 @orumin@mstdn.maud.io
2022-09-05 01:47:22 アカハナの投稿 akahana@fla.red
icon

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

2022-09-05 01:44:15 @orumin@mstdn.maud.io
icon

@miwpayou0808 事故っとるやんけ

2022-09-05 01:44:04 @orumin@mstdn.maud.io
icon

いまの赤城、速度出せない工夫めちゃくちゃしてあるよね。前冬登山しに行くときめっちゃ思った

2022-09-05 01:43:42 @orumin@mstdn.maud.io
2022-09-05 01:43:38 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

2022-09-05 01:43:40 @orumin@mstdn.maud.io
icon

側転煽りとは……

2022-09-05 01:42:55 @orumin@mstdn.maud.io
icon

車におるみん党ステッカーとか貼ってあったら最悪な気持ちになりそう

2022-09-05 01:42:40 @orumin@mstdn.maud.io
icon

謎概念すぎる

2022-09-05 01:42:31 @orumin@mstdn.maud.io
2022-09-05 01:42:28 miwpayouの投稿 miwpayou0808@miwkey.miwpayou0808.info
icon

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

2022-09-05 01:42:17 @orumin@mstdn.maud.io
icon

冷奴へのアツい思いが流れてきた

2022-09-05 01:40:21 @orumin@mstdn.maud.io
icon

@6hs1 わろた

2022-09-05 01:39:22 @orumin@mstdn.maud.io
icon

@6hs1 権力発生してがんばって

2022-09-05 01:39:09 @orumin@mstdn.maud.io
icon

純正でどうなってるかという話で、86 に不等長エキマニいれるつもりはないよ

2022-09-05 01:38:55 @orumin@mstdn.maud.io
2022-09-05 01:38:37 六橋の投稿 6hs1@mstdn.maud.io
icon

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

2022-09-05 01:38:27 @orumin@mstdn.maud.io
icon

@6hs1 はやく音きかせて

2022-09-05 01:30:17 @orumin@mstdn.maud.io
icon

羽田空港第二ターミナル

Attach image
Attach image
Attach image
2022-09-04 16:12:43 @orumin@mstdn.maud.io
icon

Amazon|お遺骨をゆうパックで郵送する場合の送骨キット (~4寸用)|送骨キットスタンダード|送骨箱専用箱|外装は上品な白色の箱です|骨壺 オンライン通販 amazon.co.jp/dp/B01MXS40A9

Amazon.co.jp: Bone Fascia Kit (Small Size); Bone Fascia Kit for mailing cremains in Yu Pack (for ~4 sizes)| Bone Funnel Kit Standard | Special Bones Box | The exterior is an elegant white box : Home & Kitchen
2022-09-04 16:12:08 @orumin@mstdn.maud.io
icon

どちらかというと遺骨はゆうパックでしか送れないっぽい >> 遺骨を郵送したい人必見!送り方と梱包の方法 | 霊園・墓地検索なら【お墓さがし】 ohaka-sagashi.net/news/ikotuok

Web site image
遺骨を郵送したい人必見!送り方と梱包の方法 | 霊園・墓地検索なら【お墓さがし】
2022-09-04 16:08:17 @orumin@mstdn.maud.io
icon

半導体って昔からある製造業と違って作れば作るほど売れたと思うので生産調整とか需要読みとかの技術ぜんぜん発達してなさそう、半導体不足もある意味そこから来てたりして。

2022-09-04 16:07:06 @orumin@mstdn.maud.io
icon

NVIDIA 5〜7月期決算、過剰在庫が重荷、次世代製品やゲーミング新市場にも言及 | マイナビニュース news.mynavi.jp/article/2022082

Web site image
NVIDIA 5〜7月期決算、過剰在庫が重荷、次世代製品やゲーミング新市場にも言及
2022-09-04 16:06:31 @orumin@mstdn.maud.io
icon

NVIDIA はいま「GPU つくりすぎた……どしよ」って言ってた気がする

2022-09-04 16:06:03 @orumin@mstdn.maud.io
icon

遺骨をゆうパックで送付するのは合法なのか

2022-09-04 15:44:57 @orumin@mstdn.maud.io
icon

改行コード(CR/LF)と改行文字と標準C - yohhoyの日記 yohhoy.hatenadiary.jp/entry/20

Web site image
改行コード(CR/LF)と改行文字と標準C
Attach image
2022-09-04 12:16:44 @orumin@mstdn.maud.io
icon

“2015年にISISによって日本人2人が拘束、処刑される事件が発生した際、日本のネット空間ではISISが公開した動画を元に「ISISクソコラグランプリ」が行われた。

[..]

[..]ISISのイメージを毀損し、その影響力を弱めることに役立った可能性があると、アメリカのシンクタンクである海軍分析センター(CNA)の報告書の中で好意的に評価”

(3ページ目)ウクライナ国防省が「柴犬兵士」の雑コラに感謝を表明? 注目される「NAFOの戦争」とは何か | 文春オンライン
bunshun.jp/articles/-/57123?pa

Web site image
(3ページ目)ウクライナ国防省が「柴犬兵士」の雑コラに感謝を表明? 注目される「NAFOの戦争」とは何か | 文春オンライン
2022-09-04 12:13:49 @orumin@mstdn.maud.io
icon

ウクライナ国防省が「柴犬兵士」の雑コラに感謝を表明? 注目される「NAFOの戦争」とは何か | 文春オンライン
bunshun.jp/articles/-/57123?pa

Web site image
ウクライナ国防省が「柴犬兵士」の雑コラに感謝を表明? 注目される「NAFOの戦争」とは何か | 文春オンライン
2022-09-04 05:27:31 @orumin@mstdn.maud.io
icon

「13Bロータリーターボを搭載したカプチーノの衝撃」完全公認の超絶モンスタースペック! | web option(ウェブ オプション)
motor-fan.jp/weboption/article

Web site image
「13Bロータリーターボを搭載したカプチーノの衝撃」完全公認の超絶モンスタースペック!
2022-09-04 00:21:56 @orumin@mstdn.maud.io
icon

わろた

2022-09-04 00:21:36 @orumin@mstdn.maud.io
2022-09-04 00:17:28 抑圧の投稿 Niceratus@pawoo.net
icon

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

2022-09-04 00:05:49 @orumin@mstdn.maud.io
icon

あきさんの toot、2つの boost だけずっと残ってるのなんでなんだろ

2022-09-04 00:04:54 @orumin@mstdn.maud.io
icon

戦争を公共事業って言い換えるタイプの出身のかた?

2022-09-04 00:04:31 @orumin@mstdn.maud.io
2022-09-04 00:04:26 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

2022-09-04 00:02:38 @orumin@mstdn.maud.io
icon

いま住んでるところ駐車するとこと道の間に段差あるとろに大家がスロープいれてて駐車するのにバックでやや踏まないと停められないし、家から出るときも道に出たあとバックで移動しないと普通の道に出られないヘンなところなので困る

2022-09-04 00:00:04 @orumin@mstdn.maud.io
icon

そういえばフジツボかどっか 86 向けで、手元のスイッチで開閉制御できるマフラーだかエキマニだか売ってた記憶あるけどああいうのだといいんかな