久しぶりに Haskell に手を出そうと、開発環境を整えています。17年前(！)に試した時は、Intel Macで動く正式版のGHCがなくて苦労しましたが、今はIntel Macだけでなく M1チップにも対応したバージョンもあって驚きました。今回試したのは、GHCupを使っての環境構築です。あっという間に GHC や HLS、stack、cabalなどがインストールされて、便利になりました。ただ１つ問題があって、haskell-language-server を Emacs で使おうと...
時々の記録
コンピュータとアニメ感想etc.のブログです。 ☆ゆるゆるっと更新中です☆
Top Page › Archive － 2023年01月
久しぶりに Emacs の package を更新したら、buffer一覧やファイル履歴を表示した時に「Invalid preview key:」というメッセージが表示されるようになってしまいました。いろいろと調べた結果、エラーを出しているのは consult でした。consult の内部の処理が変更されたのが、エラーの原因でした。これまでは・・・(consult-customize (中略):preview-key (kbd "M-."))))という形式で、preview-keyを設定していましたが、これから...
湊が、なぜ地方大会で敗れたのかに気づくお話でした。地方大会で敗れた風舞高校では、湊がマサさんから弓を引くことを禁じられていました。それが納得できない湊でしたが、その指導には従います。しかし湊の頭からは、弓のことが離れません。湊と同じように、海斗も悩んでいました。海斗はその原因に気づいているようですが、それを言葉に出せずにいました。しかし、七緒に背中を押されてそれに気づきました。海斗は大会中に湊の射...
ナウシカだけじゃなく、ラピュタ的な要素もありそうですね。(^^;雪海から浮かんできた王女リリハを助けたカイナは、自分の村に彼女を連れ帰ります。それを見たお婆さんたちは、カイナのお嫁さんが出来たと喜びます。(^^;目を覚ましたリリハは、自分の目的を話します。リリハが賢者を探していたのは、彼女の村が水不足に悩まされていたからでした。軌道樹の根元に、リリハたちは住んでいました。しかし天膜と同じように、リリハたち...
地方大会で、風舞高校が辻峰高校に敗れるお話でした。辻峰高校には、湊の中学時代の先輩・二階堂がいました。3回戦で風舞高校は、辻峰高校と対戦することになりました。独特の間合いで射る辻峰高校に、いつの間にか風舞高校はペースを崩されました。そして風舞高校は、辻峰高校に敗れました。しかし湊は、どうして自分たちが負けたのかわかりませんでした。大会は最終的に、愁のいる桐先高校の優勝、辻峰高校の準優勝に終わりまし...
地方大会の始まりです！湊たち風舞高校弓道部は、地方大会の日を迎えていました。大会を前に、湊はいつも以上に楽しそうです。一方、桐先高校弓道部には動きがありました。前回の大会でミスした万次は、自ら大会の出場メンバーから辞退しました。双子の千一は、それを知って考え直すように言いましたが、万次の決意は固く結局補欠のメンバーが地方大会には出場することになりました。湊のライバル愁は、湊に敗れた事実を受け入れて...
新作アニメのお試し視聴です。雪海が広がる世界を舞台にした作品です。軌道樹から広がる天膜で、かろうじて人が生活している世界。そこに住むカイナという少年は、大きな昆虫を狩って食料を調達していました。しかし、カイナと一緒に暮らしているのは、お爺さんやお婆さんばかりです。天膜にあく穴の数も年々増え、水の確保も難しくなり、年寄りたちはカイナの将来を心配しています。毎日雪海を観察していたカイナは、光が移動して...
年をまたいで、第1期の最終話です。プラント・クエタにいたスレッタたちは、シャディクが呼び寄せた地球のテロリストに襲撃されました。スレッタはミオリネと離ればなれになり、地球の魔女ソフィの攻撃を受けました。一方、ミオリネは父親と合流しました。顔を合わせる早々、デリングはミオリネがノーマルスーツを着ていないことを咎めます。ミオリネはそれに反発しますが、それはデリングなりの優しさでした。そしてデリングは、...
年明け早々に、emacsのパッケージをアップデートしたら、emacsがハングして起動しなくなりました。(^^;いろいろ試した結果、モードラインの表示に利用している doom-modeline が原因らしいことがわかりました。一時的に doom-modeline の使用を止めて、moody + minions に切り替えましたが、自分で思っていた以上に doom-modeline の表示に慣れていて、下手に入れ替えると生産性が下がることに気がつきました。アップデート前の状...
今期の新作アニメ視聴は、ツルネの第2期から。タイトルですぐ2期と気づかなかったので、危うく見逃すところでした。(^^;1期の放映から4年くらいが経過しているので、かなり内容を忘れていました。湊たちの学校では、スポーツ大会が行われていました。その日は部活も休みになりますが、忘れ物を取りに行った湊は弓道場で弓を引き始めました。それを他の部員に知られて、我も我もとなりかけましたが、静弥に止められました。湊たちは...
かなり遅くなりましたが、新年あけましておめでとうございます。今年もよろしくお願いいたします。年末年始は、特に見たいアニメがなかったので、AmazonのKindleのセールでカート・ヴォネガットの作品が安く買えたので、それを読みつつうたた寝してました。(^^;４日から仕事始めでしたが、いきなりゴタゴタして時間を取られてしまいました。それが一段落したと思ったら、Emacsの調子が悪くなって、コンソールでしか起動しなくなっ...
Re: No Subject * by 横溝ルパン
あけましておめでとうございます。
諸葛鳳雛さんは読書数91冊ですか！ 凄いですね。(^^)
私も今年は、もう少し読書量を増やしたいです。
アニメの転生系は、さすがに数が多すぎますよね。それ以外も、似たような作品が多い気がして、最初の5分くらい見て視聴を止めた作品もけっこうありました。(^^;
というわけで、今年もかなり不定期な更新になると思いますが、よろしくお願いします。
諸葛鳳雛さんは読書数91冊ですか！ 凄いですね。(^^)
私も今年は、もう少し読書量を増やしたいです。
アニメの転生系は、さすがに数が多すぎますよね。それ以外も、似たような作品が多い気がして、最初の5分くらい見て視聴を止めた作品もけっこうありました。(^^;
というわけで、今年もかなり不定期な更新になると思いますが、よろしくお願いします。
昨年は読んだ本９１冊とあと少し１００冊に及びませんでした。
今年はなるべく多く本をよみたいですね。
なろう系の転生したらなんとか、というのは私ももう飽きましたね、見る気ないです。
それでは、今年もよろしくお願いします。