23:26:04 @orange_in_space@mstdn.nere9.help
2019-12-08 23:23:47 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

たとえば
```S`KxIy
があったとして、 ``Sabc → ``ac`bc の規則で
```Kxy`Iy
になり、 ``Kab → a と `Iy → y の規則から
`xy
になる、みたいな感じ。
単純な部分式の抽出と規則的な式の置換のみで評価が進むしチューリング完全。

23:16:35 @orange_in_space@mstdn.nere9.help
2019-12-08 23:16:02 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

mstdn.nere9.help/@orange_in_sp

Unlambda とかが近い感じになりそう。
先頭から解釈可能で、かつ単純な規則のみから成り立つ項書換え系の言語と相性が良さそう

Web site image
orange (@orange_in_space@mstdn.nere9.help)
23:13:28 @orange_in_space@mstdn.nere9.help
icon

ふと思ったけどほんとのほんとに文字列型しかない言語というか環境というか計算機ってあったらどんな感じになるんだろう?><;

23:12:32 @orange_in_space@mstdn.nere9.help
2019-12-08 22:12:29 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
icon

文字列型しかないので型アノテーションが全く不要な超静的型付きスクリプト言語、最高!!!!!

23:12:29 @orange_in_space@mstdn.nere9.help
2019-12-08 22:11:15 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red
23:02:55 @orange_in_space@mstdn.nere9.help
icon

カルマンギア、スプリンター、三菱レオ(等々、レトロぶーぶ館)、いすゞヒルマンミンクス、S600
に昭和から長く乗ってる人の話やってた><
mstdn.nere9.help/@orange_in_sp

Web site image
orange (@orange_in_space@mstdn.nere9.help)
21:33:35 @orange_in_space@mstdn.nere9.help
2019-12-08 21:04:44 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

昭和のクルマといつまでも | BS朝日 bs-asahi.co.jp/car_forever/

Web site image
昭和のクルマといつまでも | BS朝日
21:04:44 @orange_in_space@mstdn.nere9.help
icon

昭和のクルマといつまでも | BS朝日 bs-asahi.co.jp/car_forever/

Web site image
昭和のクルマといつまでも | BS朝日
13:19:20 @orange_in_space@mstdn.nere9.help
icon

他は1954年に開始、箕面+旧豊川村だけ2年遅れで1956年に別団体として参入した経緯が今でも続いてるっぽい・・・?><

13:10:40 @orange_in_space@mstdn.nere9.help
icon

競艇事業について - 部長ブログ@箕面市役所 blog.goo.ne.jp/butyoublog/e/67

Web site image
競艇事業について - 部長ブログ@箕面市役所
13:06:27 @orange_in_space@mstdn.nere9.help
icon

どういうことなの・・・・><

"大阪府都市競艇企業団(堺市・岸和田市・豊中市・東大"(略><;)"の16市で構成する一部事務組合)と箕面市が主催施行者として別々に開催している"

住之江競艇場 - Wikipedia ja.wikipedia.org/wiki/%E4%BD%8

Web site image
%E4%BD%8F%E4%B9%8B%E6%B1%9F%E7%AB%B6%E8%89%87%E5%A0%B4
13:04:09 @orange_in_space@mstdn.nere9.help
2019-12-08 12:58:35 おさの投稿 osapon@mstdn.nere9.help
icon

市内に海も湖も競艇場もないけど競艇事業で儲けている箕面市(市の予算からしたら20億円ぐらいはアレなんだろうけど)
平成29年度競艇事業会計決算/箕面市
city.minoh.lg.jp/kyotei/h29kyo

12:56:31 @orange_in_space@mstdn.nere9.help
icon

ベルリンでやってほしかった><(ソ連じゃ無い)

"スイスで交換されたと伝えています。"

アメリカとイラン それぞれが収監していた相手国の市民を釈放 | NHKニュース www3.nhk.or.jp/news/html/20191

11:21:57 @orange_in_space@mstdn.nere9.help
icon

Galaxy Noteシリーズ(スタイラス)と、2in1-Win8.1タブ(ポインティングデバイスがタッチパネルのみ)と、Dellの巨大ラップトップ(タッチパネル無しでトラックパッドついてるけどトラボ繋げて使ってる) の3つを並べて使うと超混乱する><;

11:06:35 @orange_in_space@mstdn.nere9.help
icon

5大装置、謎の概念で日本独特すぎて、特に制御装置とか言うものがなにを指してるのかさっぱりわからない><
(数年前に「その分け方おかしいからやめよう」って話題になった時に初めて聞いた言葉><)

11:03:53 @orange_in_space@mstdn.nere9.help
2019-12-08 10:59:18 酸性雨の投稿 acid_rain@amefur.asia
icon

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

10:57:23 @orange_in_space@mstdn.nere9.help
icon

マイクロカセット使うタイプって携帯電話が一般人に普及し始めの時点でも既にかなり少数派になってたような気が・・・><

10:55:31 @orange_in_space@mstdn.nere9.help
2019-12-08 10:53:39 sublimer@あすてろいどん鯖管の投稿 sublimer@mstdn.sublimer.me
icon

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

10:51:14 @orange_in_space@mstdn.nere9.help
icon

スマホ持ってるけど固定電話一回も使ったこと無い人とか増えてそう?><;

10:49:57 @orange_in_space@mstdn.nere9.help
2019-12-08 10:49:37 酸性雨の投稿 acid_rain@amefur.asia
icon

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

10:49:32 @orange_in_space@mstdn.nere9.help
2019-12-08 10:48:06 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

10:48:04 @orange_in_space@mstdn.nere9.help
icon

こういうのもあったね><

サムスンGalaxy Note にBluetooth対応Sペン、通話機能をスタイラスに内蔵 - Engadget 日本版 japanese.engadget.com/2012/08/

Web site image
サムスンGalaxy Note にBluetooth対応Sペン、通話機能をスタイラスに内蔵 - Engadget 日本版
10:44:51 @orange_in_space@mstdn.nere9.help
icon

テレビの主に旅番組でタレントの人がやってるみたいに、手にもってハンズフリー通話?するか、そうじゃなければ何らかの分離された受話器を用意するしか無くない?><;

10:42:21 @orange_in_space@mstdn.nere9.help
2019-12-08 10:37:40 くりむ -1.0/Cの投稿 klim0824@mstdn.nere9.help
icon

スマホで通話しながらスケジュールやメモを確認できないの本当に不便だよね

10:42:13 @orange_in_space@mstdn.nere9.help
2019-12-08 10:36:22 酸性雨の投稿 acid_rain@amefur.asia
icon

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

10:23:42 @orange_in_space@mstdn.nere9.help
icon

お勉強で書いてみるシチュエーションじゃなく、『自分でソート書かないとソート出来ない環境なので実用のために自分で書いた』に限ればバブルソートしか書いたこと無いと思うしそれは自分で発明(?)した><;(MSXのROM BASICでゲームつくって遊んでるときに><)

10:17:13 @orange_in_space@mstdn.nere9.help
icon

オレンジ今「なにも見ずソート自前で書け」って言われてまともに書く自信全く無い><; ソート出来ればなんでもいいなら書けるけど><;

10:07:16 @orange_in_space@mstdn.nere9.help
icon

ていうか、デジタル回路を教えてたらリテラルも理解できそう?><;(その為だけにちゃんとデジタル回路を教えるのは効率悪すぎだけど><;)

10:04:12 @orange_in_space@mstdn.nere9.help
icon

なので、ずっとずっと辿っていけばデジタル回路どうやって作るか?に突き当たるし、リレー計算機とかおもしろい><
例えば何らかのソートアルゴリズムだって頑張ればリレーをとんでもない数集めれば作れる><

10:00:21 @orange_in_space@mstdn.nere9.help
icon

それはそうだけど各命令が具体的にどうやってるのか?>< を低レベルに向かって理解していかないとあれだろうから意味はあるかも><
例えば除算命令が無い計算機で除算が必要なアルゴリズムを実装したければ、その制限のなかで除算するアルゴリズムが必要になるみたいな><
で、必要な場面(と面白そうな場面)を学べばいい><

09:55:57 @orange_in_space@mstdn.nere9.help
2019-12-08 09:49:37 酸性雨の投稿 acid_rain@amefur.asia
icon

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

09:53:29 @orange_in_space@mstdn.nere9.help
icon

これはプログラミングできる人向けで、既存のライブラリやコピペコードで済ませちゃってる人が、その読んでもいまいちわからないコードが具体的に何してるのか理解するための本では?><

09:50:58 @orange_in_space@mstdn.nere9.help
2019-12-08 09:46:03 酸性雨の投稿 acid_rain@amefur.asia
icon

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

09:50:53 @orange_in_space@mstdn.nere9.help
2019-12-08 09:44:23 酸性雨の投稿 acid_rain@amefur.asia
icon

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

09:48:16 @orange_in_space@mstdn.nere9.help
icon

『出来るようにする』のと『理解させる』で大きく違う事になる場面かも><
単にリテラルでも書けるって教えたら『出来るように』だけにしかならないかも><

09:43:28 @orange_in_space@mstdn.nere9.help
icon

習ってるはずなのに!はあれだけど、でも、PythonやらRubyやらでしか書かなくて型システムを理解してないプログラマ(※1)山ほどいるんだから、特に強調して型システムを教えるって感じで教えられなければ無理かも?><;
(※1 動的型つけ静的型つけ論争で特に動的型つけ陣営にそういう人よく見るでしょ?><;)

09:37:29 @orange_in_space@mstdn.nere9.help
icon

C# は幸いなことに、型推論を全く使わないコードで教えればその辺り教えるの向いてると思うけど、PythonやらRubyやらで教える人はどうやって教えるのか謎><

09:34:22 @orange_in_space@mstdn.nere9.help
icon

リテラルにも型があるということにいきなり気づける初心者まずいないと思うし、ていうか型とはなにか?って理解してないと丸暗記になっちゃうかも><

09:29:31 @orange_in_space@mstdn.nere9.help
icon

リテラルとは?っていうのを型システムとセットで教えてあげないとアレかも?><;

08:03:56 @orange_in_space@mstdn.nere9.help
icon

小さな旅「じょっぱりの林檎(りんご)~青森県 津軽~」 - NHK www4.nhk.or.jp/kotabi/

01:31:18 @orange_in_space@mstdn.nere9.help
2019-12-08 01:24:41 HUSH!💵大台酒煙草夢豚中年の投稿 psinet@mstdn.beer
icon

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

01:13:16 @orange_in_space@mstdn.nere9.help
icon

カスタマーレビューのアル中の面々がヤバすぎてすばらしい><(すごく駄目)

01:12:27 @orange_in_space@mstdn.nere9.help
icon

そういえば、ペットボトル安酒ってお店とかでどうやって注いでるんだろう?>< ってぐぐったらサントリー純正(?)でこんなものがあったのか><

Amazon|ワンプッシュ定量ディスペンサー 一押くん(いちおしくん) 103-20|ソープ・シャンプー用ディスペンサー - ホーム&キッチン オンライン通販 amazon.co.jp/dp/B004SEV2KQ

ワンプッシュ定量ディスペンサー 一押くん(いちおしくん) 103-20がワイン・酒・バー用品ストアでいつでもお買い得。お急ぎ便対象商品は当日お届けも可能。アマゾン配送商品は通常配送無料(一部除く)。
01:10:47 @orange_in_space@mstdn.nere9.help
icon

安酒も高級酒もおなじくお酒、誰かに望まれて生まれてくるものに貴賤などありませんわ

shindanmaker.com/949656

Web site image
酒クズお嬢様
01:00:47 @orange_in_space@mstdn.nere9.help
icon

PS2、コンポーネント出力のケーブルあればなんかあれじゃなかったっけ?><(雑すぎる情報)

00:48:14 @orange_in_space@mstdn.nere9.help
2019-12-08 00:47:37 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

00:47:04 @orange_in_space@mstdn.nere9.help
icon

寒すぎてホットバタード黒霧島><(報告)

00:26:04 @orange_in_space@mstdn.nere9.help
icon

これっぽい?><

機体記号 : A6-EPK (エミレーツ航空) 徹底ガイド | FlyTeam(フライチーム) flyteam.jp/registration/A6-EPK

Web site image
機体記号 : A6-EPK (エミレーツ) 航空機体ガイド | FlyTeam(フライチーム)
00:25:28 @orange_in_space@mstdn.nere9.help
icon

中村哲さん 帰国の途に カブールの空港を出発 | NHKニュース www3.nhk.or.jp/news/html/20191