ときどきの雑記帖 RE* (新南口)
科学する野球
科学する野球
わたしが高校生くらいの頃だったと思うのですが、「科学する野球」という本に出会いました。 その頃はもう草野球でちょっとプレイするくらいになっていたのですが 「この本がもっと早くにあれば」と思ったのでした。
ってまあ、小学生でこの本読んでも…という面もあるのですが、 「うさぎ跳び」とか「炎天下の練習でも水分補給禁止」とか 少年野球でも全盛の時代でしたからねえあの頃は。
タブレットと電子書籍と歴史群像
電子書籍、どんな端末(環境)で読んでますか?
最近も2/25日まで翔泳社の電子書籍で50%ポイント還元セールとかやってましたし、 雑誌なんかも後々の処分にあまり悩まずに済むということで 購入するものの電子書籍化をもうちょい進めたいとは思うものの、 たとえば歴史群像、 歴史群像 2021年2月号 [雑誌] | 歴史群像編集部 | 趣味・その他 | Kindleストア | Amazon こうやって出してもらえるのはありがたいのだけど、 紙の本(一言で表せるいい単語はないものか)にはあっても 電子版には載っていない記事があったりするんですね。 そういうのがあると電子版には手を出しにくくなるよなあ という感じになります。
また、Kindle版だとほぼKindle(今はOASIS使用)で読むのですが、 元の本が大きめの本で固定レイアウトだと 読むのがちいとばかしつらい(笑)
で、ちょっと前にも書いた新しいタブレット買って…という流れになるんですが どうせならA4 PDFのドキュメントも読みやすいものに、と考えるとなかなか決まらない。
ノート
ダイゴー、ノートパソコン手前のデスクスペースに置ける「isshoni.ノートデスク」を発売 - デザインってオモシロイ -MdN Design Interactive- これ、使ってみたけどなかなか良い。 普通のノートだと小さめのものでもわりとどこにどう置いて使うか悩んでしまうのだけど これは「隙間スペース」に無理なく置ける。 横長の短辺綴じなので、ページめくりのときも安心。
大きさと表紙の色、中のフォーマットで以下のようなバリエーションがある。
型番 | 大きさ | 種類 | 色 |
---|---|---|---|
R1712 | PC13インチ対応 | 方眼 | グレー |
R1713 | PC13インチ対応 | 方眼 | ブラック |
R1714 | PC13インチ対応 | リスト | グレー |
R1715 | PC13インチ対応 | リスト | ブラック |
R1716 | PC15インチ対応 | 方眼 | グレー |
R1717 | PC15インチ対応 | 方眼 | ブラック |
R1718 | PC13インチ対応 | 横罫 | グレー |
R1719 | PC13インチ対応 | 横罫 | ブラック |
R1720 | PC13インチ対応 | デイリー | グレー |
R1721 | PC13インチ対応 | デイリー | ブラック |
R1722 | PC15インチ対応 | 横罫 | グレー |
R1723 | PC15インチ対応 | 横罫 | ブラック |
R1724 | PC15インチ対応 | デイリー | グレー |
R1725 | PC15インチ対応 | デイリー | ブラック |
小さい方だとメモ書きには問題ないけど、 ポンチ絵みたいなものを描くには使いづらいかも。
具体的な大きさは、メーカーのページによれば以下の通り。
製品仕様
ページ数 48ページ
サイズ 90×150mm
製品仕様
ページ数 32ページ
サイズ 124×180mm
発売日になってすぐに東急ハンズに買いに行ったのだけど、 ノート類が置いてあるエリアにどうしても見つからない。 サイトの情報ではその店舗にあるはずなのに… そこで店員さんに尋ねたら、モバイル用品コーナーにあったというオチ。
確かに「モバイル用品」ではあるか🤔
カプセル化とかカリー化とか
昭和の末期頃だったと思うのだけど、 単語の後ろからひける辞書(という説明でわかってもらえるだろうか)があって… ってこれも「逆引き」でいいのか
逆引き(ぎゃくひき、ぎゃくびき)とは、辞典などで通常とは反対方向に引く(探す)行為や結果である。具体的には以下の2つに分類できる。
- 見出し語を後から前へ読む方式で引くこと(#逆引き辞典)
- 意味や事柄などから見出し語を引くこと(#逆引き (DNS)、#逆引き(リファレンス))
こういうやつですね。
オンラインでつかえるものはあったかなと探すと goo国語辞書 があった。試しに「化」でやってみたところ
ううむ。何ページも追いかけるの面倒だなあ。
カリー化 ボックス化 カプセル化 メモ化
ところで昨年末にreddit “A damn stupid thing to do”—the origins of C : programming 経由で知った記事に “A damn stupid thing to do”—the origins of C | Ars Technica というのがあったのだけど
In 2020, some of the key players in the origin story of C - like Dennis Ritchie and Christopher Strachey - are no longer with us.
という記述を見つけそこから
クリストファー・ストレイチー - Wikipedia に行くと
「カリー化」(currying) という用語もストレイチーが考案したものである(概念そのものはそれ以前からある)。
なんてのが。
ここから「化」で話を広げて書こうと思っていたのだけど 面倒になったのでいずれの機会に。
- Christopher Strachey - Wikipedia
- Computer Pioneers - Christopher Strachey
- The CPL Manual, available online of course.
- Origin of C Language
む、この人も拾ってたかこの記事😄
この記事、めっちゃお勧め!
— 高梨陣平 (@jingbay) February 10, 2021
C言語の歴史だけど、英国で開発されていたCPLがコンパイラもなくてBASIC CPLに縮小されてBCPLがKen Tompsonに偶然発見されてSMALGOLと組み合わされてBとなりNBとなりCとなっていく過程が御本人達の証言で語られている。 https://t.co/JiCR9p9LuN
Sealed Class
Sealed Class って訳語とか表記とかどうなるんですかね。 そのままカタカナ書きするわけにも行かないだろうし、 これもカタカナ書きにできなかった(?) boxing/uboxing → ボックス化/ボックス化解除みたいに 珍妙な単語をひねり出す?
今回は14のJEPが取り込まれました。ただ、deprecateやremoveが4つ、すでにプレビューで出ていたものが6つあり、 今回新たに取り込まれたのは実質4つとなります。
JEP 339: Edwards-Curve Digital Signature Algorithm (EdDSA)
JEP 360: Sealed Classes (Preview)
JEP 371: Hidden Classes
JEP 372: Remove the Nashorn JavaScript Engine
JEP 373: Reimplement the Legacy DatagramSocket API
JEP 374: Disable and Deprecate Biased Locking
JEP 375: Pattern Matching for instanceof (Second Preview)
JEP 377: ZGC: A Scalable Low-Latency Garbage Collector (Production)
JEP 378: Text Blocks (Standard)
JEP 379: Shenandoah: A Low-Pause-Time Garbage Collector (Production)
JEP 381: Remove the Solaris and SPARC Ports
JEP 383: Foreign-Memory Access API (Second Incubator)
JEP 384: Records (Second Preview)
JEP 385: Deprecate RMI Activation for Removal
Java 15正式版が登場。スケーラブルかつ低レイテンシなガベージコレクタ「ZGC」が正式版に - Publickey だと英語表記そのまま。
そのほかUnicode 13.0のサポート、Hidden Classesの導入(JEP 371)、Sealed Classesがプレビューとして採用(JEP 360)などの新機能も追加されました。
イマドキのJava徹底入門(19) Java 15の新機能 - Records/instanceofのパターンマッチ/Sealedクラス | TECH+ ではクラスだけカタカナ書きですな。
手入力 → ヒストリー → エイリアス/シェルスクリプト → プログラム
プログラマーって3時間かかれば人力でできることを1秒でこなすために12時間コードを書いてるような悲しい生き物みたいなとこあるよね - Togetter
何が悲しいのかぜんぜんわかんないんだけど、これに共感/同意している人たちを啓蒙していく必要があるのだろうなあなどと思ったりはしました。 / “プログラマーって3時間かかれば人力でできることを1秒でこなすために12時間コードを書いてるような悲しい生き物みたいなとこ…” https://t.co/ViwgAytlVA
— どみにをん525 (@Dominion525) February 6, 2021
これに関するようなことで、シェルのコマンドライン上のある一連の操作に関して
- 一度だけなら手入力する。
- 数回ならシェルのヒストリー機能を使う
- さらに回数が多ければ(シェルの)エイリアスを活用したりシェルスクリプトを書く
- さらに多ければ(Cで)プログラムを書く
という感じのことを確かkernighan 大先生が言っていた(書いていた) と記憶していたのだけど
- Brian W. Kernighan Quotes (Author of The C Programming Language)
- Brian Kernighan - Wikiquote
- Brian Kernighan Quotations (37 Quotations) | QuoteTab
- Quotes by Brian W. Kernighan | def programming
見当たらない……
V8 regexp
これもちょっと前の記事から。
An additional non-backtracking RegExp engine · V8
Starting with v8.8, V8 ships with a new experimental non-backtracking RegExp engine (in addition to the existing Irregexp engine) which guarantees execution in linear time with respect to the size of the subject string. The experimental engine is available behind the feature flags mentioned below.
The fallback mechanism does not apply to all patterns. For the fallback mechanism to kick in, the RegExp must:
not contain backreferences,
not contain lookaheads or lookbehinds,
not contain large or deeply nested finite repetitions, as in e.g. /a{200,500}/, and
not have the u (Unicode) or i (case insensitive) flags set.
GNU grepみたいな感じだろうか>正規表現エンジン二個持ち
Young men should prove theorems, old men should write books.
Everyday Data Science - Andrew Carr blog
の冒頭に
“Young men should prove theorems, old men should write books.”
- G.H. Hardy
という引用があって、前提なしでの日本語訳はまあできるだろうけど この言葉が出てきた背景が気になったので (この手の言葉は往々にしてその背景を失った形で字面に引きずられて 意味が変わっていくしね) ちょっと調べてみた。
そもそも不勉強で G.H. Hardy という名前で 「誰だっけそれ」 という状態だったのだけど ある数学者の生涯と弁明 - Wikipedia の著者でした。
例によって 日本語版Wikipedia ゴッドフレイ・ハロルド・ハーディ - Wikipedia よりは 英語版に詳しい情報があって、 G. H. Hardy - Wikipedia にいくつかHardyによる警句(aphorisms) が載っている。
が、今回のものはなし。
Hardy’s aphorisms
It is never worth a first-class man’s time to express a majority opinion. By definition, there are plenty of others to do that.
A mathematician, like a painter or a poet, is a maker of patterns. If his patterns are more permanent than theirs, it is because they are made with ideas.We have concluded that the trivial mathematics is, on the whole, useful, and that the real mathematics, on the whole, is not.
Galois died at twenty-one, Abel at twenty-seven, Ramanujan at thirty-three, Riemann at forty.[a] There have been men who have done great work a good deal later; Gauss’s great memoir on differential geometry was published when he was fifty (though he had had the fundamental ideas ten years before). I do not know an instance of a major mathematical advance initiated by a man past fifty.Hardy once told Bertrand Russell “If I could prove by logic that you would die in five minutes, I should be sorry you were going to die, but my sorrow would be very much mitigated by pleasure in the proof”.
ただ、英語圏のサイトには色々な人の言葉(quotes)を集めたものがいくつもあって、 Hardyのものを収めているところが複数あった。
- Godfrey Harold Hardy quote Young men should prove theorems, old men should write books. - medium image 500 x 350 px
- G. H. Hardy - Young men should prove theorems, old men…
- G.H. Hardy Quote: “Young men should prove theorems, old men should write books.” (7 wallpapers) - Quotefancy
で、肝心の「背景」については直接わかるような記述は見つけられなかったけど、 彼のキャリアと業績を見たらなんとなくわかったので(そうか?) さらに調べを進めることはしないでおく。
🖖