はてなブログを持っていれば、誰でも参加できます。
ABC460 E - x + y ≡ x + y 上記の問題を本番AC失敗したことを受け、合同式の基本に立ち返ることを決意。\[ab \equiv ac \pmod M \tag{1} \label{godokihon} \]が成り立っている時、\[b \equiv c \pmod M\]も成り立つという主張は一般には誤りであるという事実だけを機械的に暗記しただけで終わらせ、本質に一切踏み込んでい…
趣味で開発をしていたプロジェクトの認証部分について右往左往してしまった。 NextAuth.jsを使う Supabaseを使おうと思ったのでSupabase Authをつかう 実装が複雑になりすぎたので別DBとNextAuth.jsにする そもそもNextAuth.jsはもうちょっと古いらしく、かつ使用ユーザーはほとんどいないのでClerkを使う という流れで紆余曲折ありClerkにたどり着いた。…
「x軸と0、2kで交わり解の中央となるxでy=1を通る上に凸な2次関数の方程式」の方程式を求めるとき、2次関数の性質を使えば楽をできます。正攻法で計算してから気付いたので、今後のために記録します。 正攻法で計算する。上に凸な2次関数が3点(0,0), (2k, 0), (k, 1)を通ることからa, b, cを求めて元の式に代入します。なお、前提より、3点目のx=kはと計算しています。 2次関数の…
みなさんこんにちわ! いぇきです。 今回のアニメ解説は「アルドノア・ゼロ」です。 2014年夏に放送されたアニメとなっており、ジャンルはSF/ファンタジー・ロボット/メカです。 それでは早速解説の方に参りたいと思います! どうぞ!! 目次 「アルドノア・ゼロ」のあらすじ 「アルドノア・ゼロ」の登場キャラ・他担当声優 「アルドノア・ゼロ」の主題歌 「アルドノア・ゼロ」のアニメ解説(全24話) 「アル…
エアコンを 24 時間動かす季節になってきたなぁ Claude Code のための仮想環境整備 sandbox 機能がしっくりこなくて、 --dangerously-skip-permissions を安全に使い倒すために Docker コンテナを立てることにした。 --dangerously-skip-permissions を気軽に使いたくなって、今更ながら Claude Code をコンテナ…
github.com You: astroは独自のhtmlレンダーを使ってサイトを作れるか ChatGPT: はい、Astroはかなり自由に独自HTMLレンダーを使えます。 Astro自体が: 「HTMLを生成する仕組み」 「コンポーネントを静的HTMLへ変換する仕組み」 なので、通常のMarkdown/MDXだけでなく、 独自テンプレート 独自レンダラー 独自DSL JSON→HTML EPUB…
好みを詰め込んだDIライブラリを作りました。usingが使えます。
※本ページはプロモーションが含まれています こんにちは、PC博士の猫宮ヨルです! 「フロンティアのゲーミングPCが安いって聞いたけど、種類が多すぎてどれを選べばいいか分からない!」 「今開催されているセールの中で、一番お買い得なモデルが知りたい!」 そんな疑問を持っていませんか? フロンティア(FRONTIER)のセールは業界最安値級で超お得ですが、パーツの組み合わせがたくさんあって初心者さんは迷…
はじめに 以前紹介したように、GitHub Copilot CLI(以下Copilot CLI)では、BYOK(Bring Your Own Key)機能を使ってローカルLLMやGitHub以外のプロバイダーのLLMを使うことができます。 sublimer.hatenablog.com OpenAI API互換のエンドポイントが提供されていれば任意のプロバイダーを使えるので、さくらのAI Engi…
OpenCodeGoだと足りない Go代替を探す旅→見つけた 一旦結論(おすすめプロバイダ) 詳細 ユースケース/要件 代替案 個別に公式プロバイダを契約(没) API利用(没) オープンウェイトプロバイダ(採用) オープンウェイトプロバイダの使用感や評判 Alibaba, BytePlus(不採用) OllamaCloud(不採用→採用) AtlasCloud(不採用) CanopyWave(不…
次のページ