13:47:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
@babukaru 翻訳の難しさというより、英語版だと対象を選ぶこと(今回だとCR 115.1c, 601.2c, 603.d辺り?)自体が単独の文になっているわけではなく、文章中にtarget [something]が含まれる呪文や能力がスタックに乗る時点で対象を選んで宣言することがルールに定義されている(テキスト自体には対象をいつ選ぶかが書かれていない)のに対して、日本語版のテキストだと「〜を対象とする。」という単独の文があってそれが対象を選ぶタイミングを決めているかのように見えるというテンプレート由来の難しさがありそうですね
13:54:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
@babukaru 少なくとも私は解決って結局なんなんだと思ってルールを読むまでは「〜を対象にする」という文面から解決するときに行われる処理の一部だと思っていて、MTGAはやたら早く対象を選ばせるなと疑問に思っていました
13:54:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-23 22:16:21 ねくの投稿
neku_draw@pawoo.net
このアカウントは、notestockで公開設定になっていません。
13:57:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 10:45:11 かるばぶの投稿
babukaru@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:57:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 10:46:18 かるばぶの投稿
babukaru@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:57:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 10:50:42 かるばぶの投稿
babukaru@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
14:08:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 14:02:00 じんすけ(Jinsuke)の投稿
jnsk@mstdn.jnsk.info
このアカウントは、notestockで公開設定になっていません。
14:13:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Dockerで再現性がある(と信じたい)構築手順や結果をやり取りできるようになったのはとても良くて、Dockerが秘伝のレシピと化してどの部分が不可欠な部分でどの部分が選択の余地がある中で一つに定められた部分なのかがわかりにくくなるかもしれないのが悩ましい
14:15:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
インストールマニュアルにHardware PlanningやらDatabase Backend Selectionやらのセクションがあるプロジェクトは本当にえらい
14:24:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
14:24:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 14:16:07 skiaphorus(引っ越し済み)の投稿
skia@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
14:29:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
それは(観測範囲にいなかっただけで実際いるという可能性はひとまず棚上げするとして)日本語話者がどちらかというと「入っていく」側だったからで、逆の立場になることは十分にありえることだと思う
15:51:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Documentation - Type Checking JavaScript Files
Redirecting to Google Groups
16:00:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
現時点では開発ツール担当チームのメンバー(他のプロジェクトでFlowやTypeScriptの経験がある)が実験的に自分たちのコードにコメントで型注釈を付けて手元で検査している段階で、CIの過程で検査する・.tsに書き直すといった他のチームとの議論や調整が必要な作業は行っていない
16:13:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 16:10:48 t-sinの投稿
tsin@lis.pgw.jp
このアカウントは、notestockで公開設定になっていません。
16:13:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 16:12:50 t-sinの投稿
tsin@lis.pgw.jp
このアカウントは、notestockで公開設定になっていません。
16:22:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:33:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
eTLD (effective TLD) はたとえばwww.postgresql.jpにとってのeTLDはjpだけどwww.mext.go.jpにとってのeTLDはgo.jpといった感じのもので、eTLD+1は「サイトごとに」何かをするというときに実用上使いやすい単位
16:33:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 16:25:24 もぐのの投稿
moguno@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:35:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 16:34:17 sudo_viの投稿
sudo_vi@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:41:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
GNOME files defense against patent troll – The GNOME Foundation
16:42:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
GNOME user なので fund した。
16:43:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:49:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:49:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
むしろアルペジオコラボのときぐらいが一番やってた(いまは……
16:49:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:50:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:50:25
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
うっ,mikutter で艦これやったらとしぁとかいう悪い人にだまされた記憶が……
16:51:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:53:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
17:00:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
17:01:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
しかし Ruby 1.9 とか古代の Ruby すぎてビビるわ
17:03:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Ruby 1.9、いわゆる文字列のM17Nで結構影響が大きいリリースだった記憶
17:10:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
年末リリース予定のRuby 2.7、GCにコンパクション入ったのか、すごい
18:09:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
かつては日蘭学会があって,うちのどっかにもそこが出してたオランダ語の教科書があるが,日蘭学会はもう解散してしまって,日本でオランダ語関係の組織というと,先のライデン大学東京事務所と,アーツフランダース・ジャパン(http://www.flanders.jp/ )とかくらいだ…
18:09:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:09:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
日本でオランダ語をやる人は,オランダそのものの研究以外に,インドネシア史の研究で学ぶ・必要になる人も多い.
18:09:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
へー
「日本が元気だった時代は政府としても日本に触れたい人材の輩出にきちんとお金を出していました。80年代はそれが顕著でした。海外の大学に日本研究や日本史を教える人がいなければ、寄付金を出して「新しく日本コースを作ってください」と支援をしてまわっていましたから。そういった日本コースは5年ほどで軌道に乗せることを目指して後は大学に自己資金で運営させる手法が確立していました」
今、ケンブリッジ大学の日本研究が危ない⁉ 【ケンブリッジ大学日本研究教授ミカエル・アドルフソン】 https://guruli.net/community/508/
今、ケンブリッジ大学の日本研究が危ない⁉ 【ケンブリッジ大学日本研究教授ミカエル・アドルフソン】
18:09:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ヨーロッパで日本学というとレイデン大学に日本学科があって,これは世界で最初に設置された(1855年)日本学科として知られている.
ライデン大学東京事務所 http://www.luot.jp/
Leiden University Office Tokyo ライデン大学東京事務所
18:30:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:32:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
性能向上と書いた方がページビューが増えるとかあるのだろうか
18:41:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:56:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
典型的なJITコンパイラ(JITC)はまずバイトコードインタプリタ上で実行して(直接ターゲットの機械語を出力していた昔のV8は典型的なJITCではないものとする)これはコンパイルしようと判断した一部を改めてコンパイルするようになっていて、最近ではそこそこのコードを出力するベースラインコンパイラと最適化をガッツリ施すコンパイラの二段構成(直接機械語を出力していた頃のV8もこうなっていた)が主要JavaScript処理系では主流になりつつあるのですが、ベースラインコンパイラでコンパイルするのもタダではないのでインタプリタが賢くなるとうれしい
19:00:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
そもそも、JITCであってもすべてのコードが強烈な最適化コンパイラを通るわけではない(別にそうしてもいいけれど、メモリ使用量とコンパイル時間の増加で割に合わなくなる)のでバイトコードインタプリタが軽くて速いのは大事だというのは割と意見が一致するところ、だと思う
19:06:49
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:09:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
JIT の話題で思い出したけどこのまえの USENIX ATC の best paper の『A Retargetable System-Level DBT Hypervisor』はなかなかよかったよ。CPU emulator として QEMU よりこっち,なんてのも有り得るのかもなと考えたりしたぐらい(現実的には優れたアーキテクチャだからって既存のシステムを置き換えたりはしないだろうけど
19:10:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
A Retargetable System-Level DBT Hypervisor | USENIX
19:12:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
『A Retargetable System-Level DBT Hypervisor』は CPU マニュアルみるだけで記述できるような instruction の semantics を記述できる DSL が用意してあって,これを記述して offline の compiler に喰わせて unikernel とがっちゃんこする。で,unikernel なので QEMU と違って異なるアーキテクチャのゲストコードが Ring 3 ではなく Ring 0 で動かせる。しかも unikernel と VMM が協調してより深い水準で JIT する。
19:12:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
QEMU の新しい CPU target 書くのはめっちゃ大変な上にそれで OS までちゃんと動かせる system mode やろうとすると QEMU を奥深くまで知った上で target のアーキテクチャも深く知っててさらに手動で最適化できる職人でなければならなかった。それでも regression しまくって Arm64 のバグ修正 commit だけでも 100 近い。
19:15:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
dynamic binary translation割と気になるな
19:15:25
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 18:30:05 は/ね/こ/と✅の投稿
hanekoto2424@pawoo.net
このアカウントは、notestockで公開設定になっていません。
19:15:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ところがこの『A Retargetable System-Level DBT Hypervisor』ではそこまで知識なくても DSL 書くだけだし,それでいて QEMU より速い。
19:21:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
PyPy3 7.2.0はインタプリタ起動時にfortuneしてくれないので7.0.0でしてくれたのは開発版のみ有効なイースターエッグがオフにされないままリリースされただけっぽいな(あるいは完全に削除されたか)
19:23:01
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
dynamic binary translation ではないけど他にも面白かったのは x64 と Arm64 の fat binary の unikernel 作って HPC の task を VM migration(between heterogeneous ISA)やって offloading しよう!SBC な Arm64 マシン性能低いけど価格や消費電力がそれ以上の規模で低いからこれたくさんならべてうまく migrate と scheduling したらコストかけずに高速化や!というやつ
19:23:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Popcorn Linux のひとたちがやってた HEXO というやつ(名前かぶりネタかよ
19:23:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 19:21:49 ksmakotoの投稿
ksmakoto@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:24:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
それがまさに現代のJITCがバイトコードインタプリタとコンパイラの二段構えになっている理由ですね
19:25:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Popcorn Linux - HEXO - Heterogeneous-ISA EXecution Offloading of Unikernel VMs
http://popcornlinux.org/index.php/hexo
Popcorn Linux - HEXO - Heterogeneous-ISA EXecution Offloading of Unikernel VMs
19:29:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
java -clientかjava -serverかは64ビットOS上だと無視される(常にserver VMが使われる)ようになって結構経った記憶がある
19:30:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 19:24:39 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:30:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
@charsiuCat Popcorn Linux がそこらへんの先行研究になってて,まず checkpoint はユーザーがアプリ書くときに仕込む(HPC の offloading のための migrate なのでいつ migration されるかわからん live migration と違ってタイミングがハンドリングできる。で,関数呼び出しのときだけ仕込むことにしてしまえばスタックやレジスターは関数のエピローグプロローグの処理にプラスαなだけなので簡単になる
19:30:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
@charsiuCat あとツールチェインが同じでライブラリも同じの使えるので malloc のアルゴリズムは揃えられるからヒープの確保のされ方は考えなくていいし,最近世の中はリトルエンディアンに征服されたからそこも考えなくていいし,グローバル変数や TLS のレイアウトはリンカーを改造して揃えて解決
19:31:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
HPCだからASLRとかやらなくていいし考えなくていいんだよ的な発想か、まあ確かに
19:32:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:33:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:33:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Popcorn Linux の team は Live migration 文脈でも heterogeneous ISA migration ネタ出してた気がするけどあれは ASLR 諦めることにしてた気がする
19:40:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
JITless V8、ゲーム機のメーカーはゲームソフトにJITCを載せることを禁じている場合があり、またJITCを使うとコンパイル後のコードを保持する都合上メモリ使用量が増える傾向にあるので、組み込みシステムよりの環境だとJITCが禁止されていなくてもバイトコードインタプリタがうれしい場面がある(V8にバイトコードインタプリタが載ったのもAndroid向けのChromeに欲しかったからという背景がある)
19:41:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 19:36:51 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:41:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
heterogeneous ISA migration はプロセスレヴェルで弱い方から強い方に移るのはすでに研究があって,たとえばスマートフォンのタスクをクラウドで処理とかが考えられるんだけど,HEXO は逆で x64 から Arm64 に migrate させてるししかもプロセスの一部タスクとかじゃなくて VM まるごとどーんと全部移せてる(のに全体として高速化できてる)のがミソ
19:42:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2016 年の京都の HPDC の併設ワークショップで出てきた HermitCore という Unikernel を移植して使ってるしツールチェインも popcorn linux の産物の応用だからフルスクラッチよりかはかんたんなはずだけどそれでも絶対大変
19:45:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
big.LITTLEといえばEnergy Aware Schedulingって結局mainlineに入ったんでしたっけ?
19:45:29
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
HPC にとって OS は noise だけどかといって baremetal フルスクラッチはしんどい!そこで Unikernel!みたいなハナシ > HermitCore
19:46:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Linux Kernel | Energy Aware Scheduling (EAS) – Arm Developer
19:46:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:47:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:49:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 19:38:18 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:51:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
sched_setaffinity辺りでやれそうな気はするけれど
19:53:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 19:51:57 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:54:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
デュアルソケット初代Opteronサーバーとか送られてきそう
19:54:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 19:54:30 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:56:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
nearとfarの違いが分かりやすいという意味ではインターコネクトバスが遅い方が教材になる説
19:57:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 19:55:34 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
20:01:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 19:24:20 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
20:01:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:05:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 20:04:32 神楽坂らせん :elephant: 📖✏の投稿
rasen@oransns.com
このアカウントは、notestockで公開設定になっていません。
20:06:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 20:04:58 ミミゲハカセ🎨の投稿
Immigration@pawoo.net
このアカウントは、notestockで公開設定になっていません。
20:21:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
長崎の寺町通りはお寺が並んでいるんですが京都の寺町通りもそうなんでしょうか
20:23:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 20:20:51 rootYの投稿
rooty2@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
20:23:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
松江の寺町は松江藩開府のときに意図的に寺社をまとめたり他所から移らせたりしたらしいので寺ばかりだった
20:24:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:26:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 20:25:42 オガサワラペンギンの投稿
boronology@social.penguinability.net
このアカウントは、notestockで公開設定になっていません。
20:39:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ownCloudでActivitypubしゃべれるやつ、どうなったんだろうね。
20:39:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:40:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:41:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:44:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
あの手のサービスを自分で建てても完全にプライベートなものとして運用することが珍しくないのであまり見かけないのも仕方ないとは思いますし、まだ機能的に足りないというのもありそう
20:48:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Firefox Nightlyでmegabarを試してなるほどねになった
20:49:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
megabar、そこまで好きではないけれど、ひどいバグは大体直されたようで動きはする
21:01:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
megabarというのは検索したりURLを入力したりできる例のバーの新デザイン案のことで、今Nightlyで実験中の機能
21:04:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Masanori Ogino 𓀁 (@omasanori@mstdn.maud.io)
21:12:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 21:10:11 Asmodeus

の投稿
shinderuman@ding-dong.asmodeus.tokyo
このアカウントは、notestockで公開設定になっていません。
21:19:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
自分は今回も数日使っていればなれるとわかっているのであまり好きではない程度の変更なら問題ないけれど、正式版になってから不満を表明する人々が現れるだろうなという気はする
21:21:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
食べると喋るは確かに母音が同じだけど音声ベースで学習する機械翻訳システムがあるかなにかだろうか
21:21:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-24 21:19:22 🐟パワー 🔞👩❤️💋👩💉の投稿
Chihuri_Sakana@pawoo.net
このアカウントは、notestockで公開設定になっていません。
23:31:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
変数を箱に例えると同じ実体(OOPLに限らないのでオブジェクトという言葉をあえて避ける)を指す複数の変数が現れたときに意外な振る舞いに出会う(特に最初に学ぶ言語で実体の内容を書き換えることができる場合)けれど、一方で変数をラベルに例えると値として等しい複数の実体をそれぞれ指す変数が現れたときにこれらが同じ実体を指しているのかどうか悩む可能性があり、メタファーやめた方がいいんじゃないか感がある
23:37:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
変数そのものを実体として操作する機能がその言語にあったとしても変数について説明を受ける段階でその機能を必要とすることは多分ないので、箱やラベルのような実体があるものに例える必要もあまりなくて「ここで[1, 2, 4]をaと名付けます。ここのaのような名前を変数と呼びます」のような実体がなさそうな説明の方がかえってよさそうな気がしている
23:43:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
コンパイラを書かせれば変数が何かわかるだろというスパルタ式もあるのかもしれないけれど、それは教える側もコンパイラを書ける場合でないと難しい