ときどきの雑記帖 RE* (新南口)
The Coldest Place
cygwin
「Cygwin 3.4」が公開、Windows Vista/Server 2008と32bit OSへの対応を終了 - 窓の杜
32bit対応終了ですか。 まあそうなるよなあ。
映画大好きポンポさん
メモメモ。
はーい
— 杉谷庄吾 「映画大好きポンポさん」 pompothecinephile (@pompothecinema) December 5, 2022
1月1日夜8時
BS11にて
劇場版
「映画大好きポンポさん」
放送決定されました!!
お正月ポンポさんです
おめでとうございます#pompothecinephile pic.twitter.com/WOCXPg6nZX
閉店
あら。
【閉店のお知らせ】
— DevelopersIO CAFE (@deviocafe) December 8, 2022
いつも当店をご利用いただき誠にありがとうございます。
当店は2022年12月20日の営業を持ちまして閉店する運びとなりました。
これまでご利用頂きました全ての皆さまに、改めまして深く感謝申し上げます。
残り少ない期間ではございますが、最後の最後まで精一杯営業いたします! pic.twitter.com/nAZelHf6n4
三省堂@池袋
数日前に池袋のジュンク堂に行ったときに ついでに(失礼)池袋西武の三省堂にもよったのだけど、 2F/3F/4Fがなくなってる?
調べたら今年の3月辺りにフロアを縮小していたらしい? 3月以降この日までの間にも行ったことはあるはずだけど気がつかなかった (工学書は以前4Fに置かれていたのでそこに行こうとして今回気がついた)。
※以前は大型店舗だった「三省堂池袋店」は2022年3月のリニューアルオープン時に売り場面積を縮小、
ところでこの10選にある店舗ではさらに
- 八重洲ブックセンター本店(東京駅)1,800坪
- MARUZEN&ジュンク堂書店 渋谷店(渋谷)1,100坪
が(一時的なものかもしれないけど)なくなりますな。
池袋本店は下記期間において売場改装を実施させていただきます。 それに伴いまして誠に恐縮ではございますが、書籍館1階「神保町いちのいち池袋店」と「おふくわけカフェ」 に関しましては2022年1月31日(月)の営業をもちまして閉店させていただくことになりました。
ああそう言えば以前行ったときには見なかったような>神保町いちのいち池袋店
シビックテックをはじめよう
たしか高橋会長がツイートしてて知った本。 買うかどうかはわからんけど一応チェック。
Ruby
WebAssembly/WASIサポートの「Ruby 3.2.0 RC1」リリース | TECH+(テックプラス)
バージョン3.2.0 RC1は正規表現で用いるRegexpのマッチングアルゴリズムを最適化し、 Ruby 3.1.0で10秒を要したマッチング処理を0.003秒に短縮させた。 ただし、現時点では正規表現の内容に応じたメモリー消費が発生する可能性があるため、 何らかのトラブルが発生した際はRubyコミュニティーへの報告を求めている。 また、適用範囲を拡大するためにタイムアウト機能も導入した。
タイムアウト機能は知っていたけど 「マッチングアルゴリズムの最適化」 はどんなんだろう。
Python
メモ。
「Python」にセキュリティアップデート ~CVE番号ベースで5件の脆弱性を修正 - 窓の杜
FORM
いつものアレと言えばそれまでだけど GIGAZINEが微妙な翻訳をしていて、 さらに元記事読まずに微妙なコメントがついたという。
GIGZINEの記事 には
FORMの開発に取り組む若手の物理学者もいないわけではありませんが、実績作りやキャリアのためには自分の研究を優先せざるを得ません。 そうしている間にもFORMはどんどん陳腐化が進んでおり、古い機器でしか動かない使い勝手の悪いソフトウェアになりつつあります。
こうあるんだけど、原文を見ても「古い機器でしか動かない」に該当するような部分は見当たらなかった
(old
、machine
、equipment
などで検索した)。
上記の文章に一番近いと思われるのは
While a few younger physicists like Ruijl work on FORM sporadically, for their careers’ sake they need to spend most of their time on other research. This leaves much of the responsibility for developing FORM in the hands of Vermaseren, who is now mostly retired.
Without ongoing development, FORM will get less and less usable - only able to interact with older computer code, and not aligned with how today’s students learn to program. Experienced users will stick with it, but younger researchers will adopt alternative computer algebra programs like Mathematica that are more user-friendly but orders of magnitude slower.
この辺りなんだけど、 「FORMはどんどん陳腐化が進んでおり」、「古い機器でしか動かない」 とは読めないよなあ。 自分もQuanta Magazineの記事はざっと読んだレベルなので 勘違いしている可能性はあるんだけど 新しい環境(という書き方が適切かはさておき)で それを活用できるようにするのが…という話のような。
んでまあGIGAZINEが取り上げたのはどこかで紹介された(取り上げられた)からだろうと思って調べたら (少なくとも)Hacker NewsとRedditでスレッドが立っていた (/.もあったかもしれない)。
- Crucial Computer Program for Particle Physics at Risk of Obsolescence | Quanta Magazine
- Crucial Computer Program for Particle Physics at Risk of Obsolescence | Hacker News
- GitHub - vermaseren/form: The FORM project for symbolic manipulation of very big expressions
- form not working after installation ・ Issue #335 ・ vermaseren/form ・ GitHub
- FORM (symbolic manipulation system) - Wikipedia
- Crucial Computer Program for Particle Physics at Risk of Obsolescence | Reddit
redditのコメントに興味深いものがあった。
Crucial Computer Program for Particle Physics at Risk of Obsolescence : programming
The article mentions Mathematica as a (bad) substitute for FORM. Is there anyone who can show me a concrete example where FORM is indeed the much better tool?
It can handle equations with millions of terms or variables. Mathematica isn’t going to do that in a reasonable time, if memory even permits. Usually these are handled numerically, not symbolically.
Crucial Computer Program for Particle Physics at Risk of Obsolescence : programming
PS What counts as unimportant, imo, is often what the old guard is not good at. And it’s not just in physics: we even have prominent category theorists (math) who can’t code but who advise language designers.
PPS Obsolescence seems not the right word. Things become obsolete when something better comes along; FORM right now is the best they have.
Quanta Magazine のページには例のイラストもあって、 まあそういうことなんだろうけど…というこなみかん。
Quanta Magazine
ところでブラウザーの履歴にQuanta Magazineのアドレスが引っかかったので 過去にも何か見ていたっけ? と確かめたら 過去記事 でも触れたこれだった。
- Computing Expert Says Programmers Need More Math | Quanta Magazine : programming
- Computing Expert Says Programmers Need More Math | Quanta Magazine
Leslie Lamport (チューリング賞受賞、TLA+, Paxos開発者) インタビュー。
— 新山祐介 (Yusuke Shinyama) (@mootastic) May 19, 2022
「ほとんどのプログラマはただコードを書くだけで、アルゴリズムについて考えない。分散並行システムでそれをやったら、バグだらけになるのは目に見えている。プログラマは数学的に考える必要がある」https://t.co/QRqdQjq8qs
TIOBE Index
本日の重箱の隅その2。
2022年プログラミング言語アワード、Python・C・C++のどれが受賞するか? | TECH+(テックプラス)
C++の上昇はJavaの下落と関連している。
「関連」は違うんじゃないかなあ? C++ が↑、Javaが↓というのがあったとして、 片方の上昇(下降)はもう片方の下降(上昇)の 理由や原因とはならないような。 自分の「関連」の解釈が違っている?🤔
ということでTIOBEのサイトでそれっぽいのを探してみると
The rising popularity of C++ goes at the expense of Java.
ふむ?🤔
Javaの減らした分をC++が「食った」と見ればまあ。
Zig
- Goodbye to the C++ Implementation of Zig | Hacker News
- Goodbye to the C++ Implementation of Zig ⚡ Zig Programming Language
ZigコンパイラをZigそのもので書けるようになったけどという話で
- Don’t self-host - This is the approach taken by Odin, for example.
- Use a prior build of the compiler - This is the approach taken by Rust as well as many other languages.
- Compile the compiler to C code - This is the approach taken by Nim, for example.
- Compile the compiler to C code exactly once, but clean it up and maintain it directly from then on - This is what I planned to do for years
- Compile the compiler to a simple virtual machine - Occasionally, I talk shop with Drew DeVault since he’s working on Hare.
思ったよりやり方があるのだなあ。などと。
あとページの最後にある動画にちょっとウケた。
はてブにもあるのに気がついたけどコメントはまだついてないな (12/10 22時時点)
[B! Zig] Goodbye to the C++ Implementation of Zig ⚡ Zig Programming Language
FORTRAN Compiler on IBM 704
quote
前回のクォートネタの続き。 新山さんが
これまでに印刷されたLispコードの展示。1958年のMcCarthyによるメモから1975年の Sussman & Steele による Scheme、2011年の Clojure本まで。https://t.co/Oo3ssQK4nd
— 新山祐介 (Yusuke Shinyama) (@mootastic) November 26, 2022
というツイートをしていたことを思い出し、リンク先 Kazimir Majorinc, A few examples of Lisp code typography をざっと眺めてみると最初の方に
DEFINE
(((RVRSE, (LAMBDA, (L),(COND,((NULL,L),NIL),
(T,(CONS,(RVRSE,(CDR,L)),(CONS,(CAR,L),NIL)))))),
(RVDE,(LAMBDA,(L),(REV,L,NIL))),
(REV,(LAMBDA,(J,K),(COND,((NULL,J),K),
(T,(REV,(CDR,J),(CONS,(CAR,J),K))))))))
()
RVRSE ((A,B,C,D,E)) ()
RVSE ((A,B,C,D,E)) ()
というのがあった。最後の二行とか今ならクォートがつくよねという感じ。 んでクォートが最初に登場したのは1972年のこれか。
(COND ((CSETQ ITER (PRESENT '(EXIST 5-CENT CIGARS)
YESTERYEAR))
(COND ((UNREAL ITER)
(DPUT+ ITER
'BY-GONE
'CURRENT-STATUS
YESTERYEAR)) )) )
まあサンプルプログラムそのものの問題もあるので、 いつクォートが使われるようになったのかの回答にはならないけど
Lisp
しばらく寝かせていた(謎)Lisp関連ネタをこのタイミングで
Lispが流行らない理由、やっぱりエディタの支援無しに括弧の対応を見極めるのが難しいからな気がするな…
— ぼり (@bori_so1) November 14, 2022
1ページに収まるくらいの大きさだと確かに、YAMLもJSONも(他の多くのプログラミング言語も) Notepad程度で何とかなるけど、Lisp系は数行でも支援ないときついっすね。
— Shiro Kawai (@anohana) November 18, 2022
わたしがLispを初めて使った(入門した)のは 8ビットパソコン上の 雑誌に掲載されていた処理系 (ダンプリストを自分で打ち込んだ)でなのだけど、
- カッコの対応がよくわからない
- (前項に関連して)編集環境が貧弱
- まともにデバッグができない(デバッガがなく、printデバッグをやるのも面倒)
等々の理由でとても使い続ける気にはならなかったなあ。 後年Emacsを使うようになって以下略。