Nopmine

今日

NO 06:25 projects 機能 #1003: kernel config を制約ベースで推論を入れて管理する

nop_thread さんは #note-2 で書きました:
> =y と =m が両方可能なら =m を優先したいといった preference があるため
preference 以外にも、「FOO=m のために `BAR OR BAZ` を満たす必要はあるが、片方だけで良く、しかもどちらでも良い」などの場合に勝手に決めてほしくないというのもあった。
これは非決定性の入り込む余地を減らしたいというだけでなく、たとえばデフォルトで BAR=y を選択していたのに新規追... nop_thread

NO 06:11 projects 機能 #1003: kernel config を制約ベースで推論を入れて管理する

正直 Kconfig パーサを書くのはちょっとダルいし制約の解決をやるのはもっとダルいので (言うてその辺の SAT/SMT solver とかに丸投げすれば済みそうな話ではあるが (いやこれはかなり怪しい、 =y と =m が両方可能なら =m を優先したいといった preference があるため))、一旦はパッケージ内に hint として制約の解決方法を書いておけば良いのではなかろうか。
たとえば次のような感じで。
```toml
[hints]
BAR = ... nop_thread

NO 06:07 projects 機能 #1003: kernel config を制約ベースで推論を入れて管理する

[kernel config 生成(略記)のためのシェルスクリプト - 何とは言わない天然水飲みたさ](https://blog.cardina1.red/2016/12/06/kernel-config-shellscript/#omake-next-features--dependency-resolution)
> たとえば `CONFIG_FOO` が前提条件として `CONFIG_BAR` を要求している場合、そっちも勝手に有効化してくれたら嬉しいです。... nop_thread

NO 05:52 projects 機能 #1003 (新規): kernel config を制約ベースで推論を入れて管理する

<https://mastodon.cardina1.red/deck/@lo48576/116257749290143384>
> kernel config 半手書き勢なんだけど、「tristate で m でも y でもいいので m にしておくやつ」と「tristate だが y にしておかないといけないやつ」があって管理がダルいのよね。
> ...
本来やりたいことは「FOO は =m か =y で、 =m, =y それぞれの場合で BAR も同じ値に設... nop_thread

2026/03/19

NO 21:46 シリーズ購入管理 機能 #359 (終了): 兄の嫁と暮らしています。 (ヤングガンガンコミックス, スクウェア・エニックス)

全巻入手済で、 2026-02-15 に全て読み終えた。 nop_thread

NO 21:43 生活 買い物・物欲 #47 (終了): 机が狭い

nop_thread

NO 01:56 Journal 日記 #1001 (進行中): 2026-W12

nop_thread

NO 01:55 Journal 日記 #993 (終了): 2026-W11

nop_thread

2026/03/17

NO 03:48 シリーズ購入管理 機能 #347: 異世界サムライ (MFコミックス)

7巻 (ISBN13 978-4046855312) が 2026-02-20 に発売。 nop_thread

NO 03:46 シリーズ購入管理 機能 #758: ルリドラゴン (ジャンプコミックス, 集英社)

3巻 (2025-03-04) まで所持。
最新5巻が 2026-03-04 発売。 nop_thread