Notices by hiromi_mi (hiromi_mi@mblg.hiromi-mi.jp), page 10

ここ最近の私の投稿からすると、#microblogpub をtDiaryなどの日記のように利用しているように思う。これの要因としては、投稿作成画面が広いことや、投稿作成中にタイムラインが見えず落ち着いて文章を考えられることがあると思っている。

このようなMastodon とは違った使い方で有益なことをしてみたいと考えているが、考えれば考えるほどどのような機構を作ればよいのか迷っている。

(togetter やモーメント機能などはあるものの) Twitter などに見られる、議論を後から見返したり後の方が参照しにくいという性質があまり好みでなく、ここの microblog.pub は日記のように使える性質を生かして後から振りかえりやすい仕組みが作れたらと考えている。

しかし、軽く microblog.pub のソースコードを読んだ限りでは、今のところ ○月○日の投稿の一覧、などとサーバーに負担をかけず一覧表示する機構を作成するのは難しいと思わされている。データベース自体の構造を書き換える必要があるが、どうしたものだろうか。

また、このアカウントでは、リプライの積み重ねではなく、チャットのようにやり取りする中でいろいろ興味深い話題を知ることが出来ているので、それらも残せないかと思っている。 しかし、関連する話題をどのようにまとめたらよいのかという疑問や、(togetter に関する様々な意見のように) そもそもリプライでない投稿を他人 (= hiromi_mi) にまとめられて、mblg.hiromi-mi.jp 上で表示する機構を作るのは問題ではという気持ちがある。中々難しい...

ウィンドウやタブの管理が複数レイヤーで並行して行なわれているのを統合したいと思ったときの方策:

• (現時点での)私の回答: 複数レイヤーでの管理を受け入れる。それぞれ区別して使う
• Emacs X Window Manager の回答: Window Manager もEmacs で管理する
• Kakoune Text Editor の回答: バッファ管理をtmux で行う。エディタをサーバーとして実行することで、tmuxバッファごとに動く kakoune のクライアント同士が連携される。

オリジナルのSKK for Android ですが、それが公開されていた Google Code のプロジェクトのライセンスが Apache License 2.0 なのでおそらくApache License 2.0 なのだと思っています. https://code.google.com/archive/p/android-apps-by-minghai/

Project Information License: Apache License 2.0

日本語プログラミング言語クロガネについて、作者の論文に記されていた公式サイトは CodePlex 上 ( https://archive.codeplex.com/?p=kurogane )にあり、サービス終了後もWebサイトの内容が CodePlex Archive として zip ファイルの形にて残っている。 CodePlex 上ではライセンス必須であったとの記憶のもと zip ファイルを確認したところ、以下の2点が分かった。

• CodePlex 上の subversion リポジトリの最新コミット trunk/ と GitHub: https://github.com/irxground/kurogane 上の最新コミットのソースコードは一致している。diff -r を実行すると .git のみが差分である模様。
• CodePlex 上のライセンス欄には「Apache License 2.0」と記されている。展開した zip ファイルの license/license.json 参照。

(Apache License 2.0 をきちんと適用するためには著作権者の表示が必要なものみあたらない。(Issue を書込めないため) LICENSE.txt を追加して Pull Request を出すのもありえるかもしれないが、今のところ私のほうから行うつもりはない。)

日本語プログラミング言語クロガネについて、作者の論文に記されていた公式サイトは CodePlex 上 ( https://archive.codeplex.com/?p=kurogane )にあり、サービス終了後もWebサイトの内容が CodePlex Archive として zip ファイルの形にて残っている。CodePlex 上ではライセンス必須だったのではと思いzip ファイルを確認したところ、以下の点が分かった。 * CodePlex 上の subversion リポジトリの最新コミット trunk/ と GitHub: https://github.com/irxground/kurogane 上の最新コミットのソースコードは一致している。diff -r を実行すると .git のみが差分である模様。 * CodePlex 上のライセンス欄には「Apache License 2.0」と記されている。展開した zip ファイルの license/license.json 参照。

(Apache License 2.0 をきちんと適用するためには著作権者の表示が必要なものの見当たらない...)

#Guix 環境での日本語入力機構として KKC (ibus-kkc) もかろうじて動作するようになった. 本家に出すべきと思いつつ、自分には原因が手に負えないでいる問題がいくつかあり実力不足を実感している.

• ibus-skk の設定を変更しても保存されない. ibus-daemon のログには org.freedesktop.IBus.Config.SetValue: GDBus.Error:org.gtk.GDBus.UnmappedGError.Quark._dconf_5ferror.Code2: The operation attempted to modify one or more non-writable keys などと表示される.
• ibus-skk で変換候補のうち2つ目以降を確定すると、数秒間の待ち時間が発生する.

また、KKC は何とか動作するものの、libkkc と libkkc-data を分けてしまった影響で LIBKKC_DATA_PATH="$HOME/.guix-profile/lib/libkkc/:$HOME/.guix-profile/share/libkkc" ibus-daemon と明示的に指定する必要があり、それを統合するのに難儀している.

https://gitlab.com/hiromi-mi/hiromimi-nonguix

考えすぎに思えてきた..... ある程度きちんとしたソースコードを出した上で Code of Conduct を守って対話すれば何とかなるかな、という気持ち

私自身はごった煮な人間で、私は Windows も macOS も Arch Linux も GNU Guix も全て利用しているし、プログラミング言語やテキストエディタでも特性や背景の相反するものをともに好んで使っている。しかし Guix を見ていると、特定の考え方一筋の方も多いのだなと感じされられて、雑多な私がどの程度なじめるのかなと思わされた。

手元の libskk や ibus-skk などが安定的に動くようなら本家に送ってみたいと思い調べていたが、もしも特定の思想に純粋であることをパッチや Pull Request を送る際に要求されると、私には合わないかもしれない、などとと考えていた。

厳密には Rust はFSFの自由なソフトウエアではないという見方があることを知りおどろいた。

具体的には、Hyperbola GNU/Linux-libre ではRust が除外されており、Hyperbola ではRust 言語を使ったソフトウエアの IceCat や Tor さえ除外していた。具体的には次の記事に記されている。

• https://wiki.hyperbola.info/doku.php?id=en:main:rusts_freedom_flaws
• https://e-yuuki.org/docs/rusts_freedom_flaws/index.html (榎本さんによる翻訳)

問題点を要約すると、Rust や Cargo が商標登録されており "Rust" を名乗った改変版の配布に Mozilla の許可が必要であることが、FSFの自由ソフトウエアの要件のうち3つ目 ("The freedom to distribute copies of your modified versions to others") を満たしていないとしている。 この問題はFirefox と Iceweasel の関係と同様に思われるので名称変更で対処することが考えられるが、Rust は プログラミング言語なので、名称変更版を使う際には、Rust を使ったソフトウエアのMakefile (や Cargo.toml も?) なども書き換える必要があり難しいとしている。

なお、Hyperbola の記事をもとに商標の扱いなどが Rust 側でも議論されていたようだが、曖昧なまま終了していた。また、Debian や Gentoo などのパッケージでは "Rust" の名称のままパッチが当てられているが、それも曖昧な状況に見受けられる。

https://internals.rust-lang.org/t/rust-s-freedom-flaws/11533

なお、いわゆる "FSFが推奨するディストリビューション" であっても対応は分かれており、Guix や Parabola などではRust パッケージは導入されている模様。

IBus 上にて SKK 文字入力をしたかったので、Guix に libskk と ibus-skk のパッケージを手元で作成した。

Guix 自体のパッケージ作成や ibus-skk のビルドが初めてなので少し手間どったが、2時間半程度で何とか動作するようになり、この投稿もSKK で入力できている。

Guix の依存関係管理が厳密なのは完成するととても良かったものの、Scheme 上で (gnu packages gnome) などどのパッケージがどの Scheme Module に存在するのかを調べることは慣れるまで手間がかかった。

また、依存関係の依存関係を見つけるのにはログファイルだけでは見つけだせなかったのが難しいと思わされた。 ( ibus-skk は libskk に依存していて、libskk は libgee に依存している。パッケージ記述の際に、 inputs として ibus-skk の直接の依存関係である libskk だけを記していたが、それでは configure で libskk が見つからないというエラーがログファイルに記録され失敗していた。 pkg-config を直接操作して調べたところ、 libskk ではなくその裏のlibgee が不足しているのが原因で、間接的依存関係 の libgee も inputs に加える必要があった。)

ユーザーごとにパッケージ一覧などのプロファイルを作成する構造なので、 guix pull や guix package -u は root ユーザーと自分のユーザーとを別々に実行しないといけないものの、理解するのにしばらく時間がかかった。

Arch や Debian のように sudo pacman -Syu や sudo apt update && sudo apt upgrade などと root 権限で実行するわけではないのは斬新。

GNU Guile、別のプログラミング言語で書かれた既製のソフトウェアに埋め込んで拡張できるように設計されているんだけど、OSS活動と自由ソフトウェア活動の目指す先の違いが浮び上ってきて面白いな。

@hiromi_mi@mblg.hiromi-mi.jp

去年のセキュリティキャンプでは、あと、関係する講師の方や事務の方とのコミュニケーションが不十分だったことも少し後悔している。

一つは、滅多に見られない方や遠方からの参加者などに直接尋ねてみたいことがあったのに気後れしてしまったことが一つだった。

もう一つは、「Cコンパイラにクラス機構実装したい」っていう発言が「C++コンパイラ自作してる」に解釈されてセキュリティキャンプ Twitter に書かれて拡散され、一部の方に強すぎて怖いと思われてしまったことだった。

私自身は自分が"強い人"だと思っていないし、ましてや他の方を煽るようなことは避けたいと思っている。

正直事務の方は純粋な気持ちで書かれたのだろうしその対応で正しかったとは思っているものの、自分自身の正確な考えを伝えるのは難しいと思わされた。

関係する講師の方や事務の方とのコミュニケーションが不十分だったことも少し後悔している。 滅多に見られない方などに直接尋ねてみたいことがあったのに気後れしたことが一つだった。 あと、もう一つは、「Cコンパイラにクラス機構実装したい」っていう発言が「C++コンパイラ自作してる」に解釈されてセキュリティキャンプ Twitter に書かれて拡散され、一部の方に強すぎて怖いと思われていたらしい。 私自身は自分が"強い人"だと思っていないし、それで他の方を煽るようなことは避けたいと思っている。 正直事務の方は純粋な気持ちで書かれたのだろうしその対応で正しかったとは思っているものの、自分自身の正確な考えを伝えるのは難しいと思わされた。

去年のセキュリティキャンプでは最初からセルフホストCサブセットコンパイラが出来た状態で応募して、期間中はそれを拡張する形で開発した. 有意義ではあったものの、今では一旦0から作り直したほうが良かったと思っている.

元々セルフホスト時点で2000-3000行程度あり、講師の方のソースコードレビューなどを受けにくかったことや、ソースコードを(意図的に)小さくして拡張性などを犠牲にしていたものを無理に拡張したので、最後のほうはバグだらけになった. 作り直すとそのあたりが回避でき、より有意義だったのではと思っている.

そういえば、サイボウズラボユース採択されてましたので、関係各位よろしくお願いします

オンライン講義なら受けやすいかもとは思う、去年みたいに対面での集中開発コースだと他の講義が聞けなかったのでもったいないと思っていた...

@hiromi_mi@mblg.hiromi-mi.jp なお、セキュリティキャンプ2015までに参加した方でも今年は応募できる模様で、かつ今年参加しても来年度以降 (クロスウェーブ府中に戻ったとして) 参加を妨げないとのことです。 #seccamp

セキュリティ・キャンプ全国大会2020 オンラインの詳細が出てます.

https://www.ipa.go.jp/jinzai/camp/2020/zenkoku2020_index.html

#seccamp

手元の Arch 環境で入ってないだろうなと思いつつ $ guile と打つと REPL が起動しておどろいた. 調べてみると Make の依存関係パッケージとして Guile がインストールされていて、どうやら Make の拡張言語として Guile が使えるかららしい.

https://www.gnu.org/software/make/manual/html_node/Guile-Integration.html