ときどきの雑記帖 RE* (新南口)
Backdraft
GレコV
観てきた。 TV版で感じていたモヤモヤがだいぶ晴れた。 とくに最終盤の先頭の流れに関して。 まあそのモヤモヤは「ながら視聴」していたせいもあるんだろうけど😄
とは言え「完全に晴れた」ではなかったり。
ところで最近公開されたこれ
英語歌詞もあるんだけど「元気のG」は 「G in energy」なのね。 なるほど。
と思ったら「カラーリング バイ G-レコ」の方は「of」だねい。
連打ーマン
会社のエレベーターで、 乗ってくるなり「閉」ボタン連打したり フロアにつくと「開」ボタンを連打する 連打マンに遭遇して 「こいつまた(ぴー)なことをして」と思っていたら 実は知り合い(同僚)だったときの顔。
60秒チャレンジ
三択を二回失敗するというパターンに初めて遭遇した (2022.8.8 「取り舵」)。
ああ、ルイージが…!
天然
なんか 「天然たい焼き」養殖との違いは - Yahoo!ニュース で見かけたけど
たい焼きの天然・養殖については 以前書いていた。
問題とは直接関係ないんだけど、前振りで知った衝撃(?)の事実。
マジですかい。
そう言えばNHKのとある番組(カネオくん?)で 伊集院光が「およげたいやきくん」のヒット時に 「養殖用のアレ」が作られるようになったとかなんとか 蘊蓄を披露していたような。
ツクツクボウシ
今年はまだツクツクボウシの鳴き声を聞いていない。 そんなもんだっけ?
7月中旬~9月下旬(ピークは8月後半~9月初旬)。
数セミ
~電子版はじめました~
— 数学セミナー (@sugaku_seminar) August 9, 2022
2022年9月号(8/12発売)より,電子版の刊行も行うことにいたしました.https://t.co/UfSt0l2F0X
細かな数式を拡大して表示できるなど,電子版ならではの利点をご享受いただけます.
今後とも,『数学セミナー』のご愛顧をお願い申し上げます.#数学セミナー pic.twitter.com/Gp5ImazvtB
おお、これは。 ちょっと「寄り道」しないと扱っている書店がなかったりで 割と不便を感じていたのでありがたいかも。
数学セミナー2022年9月号 通巻731号 ◇【特集】積分のいろいろな顔 | 数学セミナー編集部 | 社会・政治 | Kindleストア | Amazon
プリント・レプリカ形式のKindle本は、FireタブレットおよびKindle無料アプリ (Kindle for iOS、Kindle for Android、Kindle for PC、Kindle for Mac) でのみご利用可能です。Kindle E Ink端末およびKindle Cloud Readerではご利用いただけません。
ふむ。
Why Most Unit Testing is Waste
なにかこう、書き方が格調高いというかなんというか。
Why Most Unit Testing is Waste
Unit testing was a staple of the FORTRAN days, when a function was a function and was sometimes worthy of functional testing. Computers computed, and functions and procedures represented units of computation. In those days the dominant design process composed complex external functionality from smaller chunks, which in turn orchestrated yet smaller chunks, and so on down to the level of well-understood primitives. Each layer supported the layers above it. You actually stood a good chance that you could trace the functionality of the things at the bottom, called functions and procedures, to the requirements that gave rise to them out at the human interface. There was hope that a good designer could understand a given function’s business purpose. And it was possible, at least in well-structured code, to reason about the calling tree. You could mentally simulate code execution in a code review.
DeepLってこういうのをどう訳すんだろう? というのが気になったので前述の文章の最初のセンテンス2個を食わせてみたところ DeepL翻訳:世界一高精度な翻訳ツール
ユニットテストはFORTRAN時代の定番で、当時は関数が関数であり、関数に値することもあった。 関数は関数であり、関数テストに値することもありました。 ユニットテストはFORTRANの時代の定番でした。コンピュータは計算を行い、関数やプロシージャは計算の単位を表します。 は計算の単位を表していました。
ふうむ。
ところでstaple of days
でググると
「日々の主食」とでてくるのだけど
まあそれはそれとして
stapleの意味・使い方・読み方|英辞郎 on the WEB
- 〔ある国や地域の主食となる〕食糧、食物、穀物
- 〔繰り返し使われる〕不可欠な要素、必需品
- 〔定常的に取引される〕主要商品[製品]
- 〔ある国や地域の〕主要一次産品、特産品
- 〔ある長さや太さの〕繊維、ステープル◆紡ぐ前の綿・羊毛・麻などの繊維。
なるほど。 staple→ステープル→ホチキスでしばらく悩んでしまった😄
operators in Carbon
Carbon Language、C++ の後継という割には i++ や i += 1 が NG なんだな。
— mattn (@mattn_jp) August 7, 2022
というツイートを見かけ、++
はともかく
+=
をなくすのはどうなんだろうと思って
GitHub - carbon-language/carbon-lang: Carbon Language’s main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
を見たがよくわからん。
でもサンプルのコード片 carbon-lang/snippets.md at trunk · carbon-language/carbon-lang に
if (e <= s.Last()) {
++i;
Swap(&s[i], &e);
}
とか
for (c: Circle in circles) {
area += Math.Pi * c.r * c.r;
}
とかあるよねえ… (比較のためのC++のコード片ではないはず)
その一方で
Carbon Language is currently an experimental project. There is no working compiler or toolchain. You can see the demo interpreter for Carbon on compiler-explorer.com.
のcompiler-explorer.com で試すと確かに
++
や+=
を使うとコンパイルエラーになりますね。
carbon-lang/difficulties_improving_cpp.md at trunk - carbon-language/carbon-lang - GitHub
However, over time this has resulted in significant technical debt ranging from integer promotion rules to complex syntax with “the most vexing parse”.
- Swift - A language implemented on top of the Objective-C runtime with modern type safety and functional programming support.
- Kotlin - A JVM language which integrates smoothly with Java. Surprising number of syntactic similarities with Swift.
- Elixir - Language with Ruby syntax on top of the Erlang Virtual Machine, allowing you to reuse Erlang code effortlessly.
- Zig - Drop-in replacement for C. Same layout of data as C. Similar memory management model and binary interface. C can call Zig code.
- How Carbon Fixes C++ Syntax : programming
- C++ Syntax Sucks and Carbon Fixes It | by Erik Engheim | Aug, 2022 | ITNEXT
- carbon-lang/faq.md at trunk · carbon-language/carbon-lang · GitHub
- Discussions · carbon-language/carbon-lang - GitHub
- carbon-lang/docs/design at trunk · carbon-language/carbon-lang · GitHub
- GitHub - carbon-language/carbon-lang: Carbon Language’s main repository
John Carmack
podcastとYouTubeの内容って違うものなのかな?
とか書いた件、さすがにテキストに起こしたものはないけど
OUTLINE:
Here’s the timestamps for the episode. On some podcast players you should be able to click the timestamp to jump to that time.
(00:00) – Introduction
(09:49) – Programming languages
(40:53) – Modern programming
(50:55) – Day in the life
(58:45) – Hard work
わりと序盤で出てきてそう?
夏休み
一応今日(8/11)から夏休みではあるんだけど、 ほぼなにもせずに(できずに)寝て過ごしてしまった。 なんのかんので疲れがたまっていたんだろうか。 この記事も昨日(8/10)に書き上げるつもりだったのが 一日遅れたし、それでも次回回しにしたものがあったし。