投稿者「mod_poppo」のアーカイブ

自宅に10ギガの光回線を導入した

自宅のインターネット回線については前(2020年5月)に記事を書いた:

が、その後(2021年初頭)引っ越しをして、引越し先の集合住宅では無料のインターネットが使えるのでそれを使っていた。ただ、これは建物内の配線が謎で、最大100Mbpsしか出ない。IPv6も使えない。しかし、光回線を別に契約すると月に数千円かかること、実測で数十Mbpsは出るのでオンラインのビデオ会議にもそんなに支障はないことから、無料インターネットを使っていた。この辺の事情は今年の2月にも記事を書いた:

しかし、その時と比べると状況が変わった。

まず、勤め先から「在宅勤務手当」が出るようになった。月に数千円という程度で、光回線の料金を賄うのにぴったりである。

そして、NTT東のフレッツ光クロス(10Gbps回線)のエリアが広がって居住地をカバーするようになった。

さらに、携帯回線で使っているIIJmioのmio光も10Gbps回線に対応するようになった(9月4日から申込開始)。

これはもう「在宅勤務手当を使ってmio光で10Gbps回線を契約しろ」というお告げでは?(安さを目指すなら他の回線業者も調べてみるべきだったかもしれないが)

続きを読む

Macで試すBinary Hacks Rebooted その1:イントロダクション

去る8月28日に、私が執筆に参加した「Binary Hacks Rebooted」が無事に発売されました。

「Binary Hacks Rebooted」はLinuxを前提に書かれたHackが多いです(特に前半)。しかし、読者の中にはMacを使っているという方も一定数いるのではないかと思います。というか、Macを使っている人にも読んでもらいたいです。

もちろん、Mac上でもDocker, multipass, QEMU等を使ってLinuxを動かせば、本の内容は再現できます。しかし、バイナリアンの気持ちとしては、マシンでネイティブに動いているOSを使ってHackしたいものではないでしょうか。少なくとも私はそうです。(まあMac上でネイティブにLinuxを入れるという手もありますが、それだと機材がMacである必要がないのでは?と私は思ってしまいます。)

また、x86-64 Linuxであれば本の内容がそのまま動くのは当たり前(※)なので、違う環境でどうなるか試行錯誤することによって圧倒的成長💪💪💪が見込まれます。(※と言いつつ、Linuxでもディストロによって、あるいはUbuntuであってもバージョンが違うと無変更で動くかはわからないわけですが。本に載っている実行例はUbuntu 22.04のものが多いと思います。)

というわけで、MacでmacOSを使ってBinary Hacks Rebootedの内容を試したいです。

続きを読む

Magic Trackpadの顛末

私はMacのトラックパッドが好きです。トラックパッドをノートパソコン(MacBook)だけではなくデスクトップでも使いたいと考えるのは自然な発想です。そういうユーザー向けに、AppleはMagic Trackpadという製品を販売しています。

2017年ごろの私はMacBook Pro (Late 2013)をメインで使っていましたが、自宅のデスクで使う時に外付けキーボードに加えて外付けトラックパッドがあると便利だと考え、Magic Trackpadを購入しました。

その後、2020年にMac miniを買ってからはMac miniに接続して使うようになりました。

続きを読む

LunarML/Standard MLのブートストラップ問題

LunarMLを含む多くのStandard MLコンパイラーはStandard ML自身で記述されています。すでに動くStandard ML処理系があればSMLで書かれたコンパイラーを動かせますが、Standard ML処理系のない新しいプラットフォームでStandard MLコンパイラーを動かしたい場合はどうすればいいでしょうか?

続きを読む

最強の数学文書システムを作りたい

数学の文書を書いてWebで公開したい時にはどうするのが良いでしょうか。私がこれまでにやってきたのは、

です。

しかし、PDFという形式はあまりWebには適しません。一方、Markdownでは数学の文書を書くうえで足りないものが多すぎます(定理環境や相互参照など)。

LaTeXは数学の文書を書くための語彙が豊富なので、LaTeXで原稿を書いて何らかの方法でHTMLに変換できると良さそうです。そのためのシステムを作りたいです。

続きを読む