備忘録: uv 利用プロジェクトで pre-commit で mypy を設定したときに .venv のライブラリが参照されない問題の解決方法
uv で pyproject.toml を管理していることを前提としているが、 uv venv を使っている環境や uv 以外の似た環境でも同様のはず。 元々エラーが出ていた設定 .pre-co...
1
0
Comment0
154 search resultsShowing 1~20 results
Stocked
You need to log-in
TypeScriptで有効なスタバの注文を静的に検証する
Xを眺めていたら、こんなポストが流れてきました。 お、これがあれば型が作れる。 ということで、作ってみました。 // サイズ type Size = "ショート" | "トール" | "グランデ...
0
0
Comment0
Heine-Borel の定理の証明
最近、位相空間論を真面目に勉強し始めたので、書いておく。 を使って勉強している。 Heine-Borel の定理 $\mathbb{R}^n$ の部分集合 $A$ について、次の2つは同値である...
1
0
Comment0
DGX Spark をリモートの量子回路シミュレーターとして使う
DGX Spark を買いました。かわいいね DGX Spark は、NVIDIA GPUと結構デカいUnifiedメモリを積んだ小型スパコンです。 会社マネーではなく、完全に自費で買っています...
4
1
Comment0
Claude Codeが動くDocker環境を作ろう
Dockerがインストールできていて、動く状態になっていれば、とても簡単です。Dockerfileなどはここに置いています。 最低限の環境しか用意していないので、uv とか nvm が必要だった...
4
2
Comment0
【備忘録】Flatpakを使ってWayland環境に入れたVSCodeでpodmanからdevcontainerを使う
何故そんなことをした? という感じですが、何故かこうなりました。 環境 ディストリビューション: Arch Linux デスクトップ環境: KDE Plasma 6 Flatpak: 1.15....
2
1
Comment0
Steve Wozniakは退屈ではない
Dockerでコンテナを作る際、明示的に名前を与えなかったら、自動的に 形容詞_偉人名 の形式で名前が付けられる。 そのソースコードを読んでみたところ、Steve Wozniakは退屈ではないの...
2
0
Comment2
Polars でセルの書き換えを頑張る
セルの書き換え、私の苦手な言葉です Pandasでよくやる df[idx, col] = value のように値を書き換える機能は、PolarsのDataFrameでは削除されたり、再実装された...
2
2
Comment4
プログラミング言語Kokaとは
プログラミング言語「Koka」 プログラミング言語Kokaとは、Microsoft Research の Daan Leijen 氏らが開発するプログラミング言語で、algebraic effe...
1
0
Comment0
Polars の基礎概念を理解する
この記事は、Python Polars 1.5 のドキュメントを元に作成しています。 Polars は比較的若いライブラリのため、API や実装は短期間のうちに変更される可能性があります。 Po...
12
10
Comment0
多数の重ね合わせ量子ビットをシミュレートする 〜Gottesman-Knillの定理
古典ビットのシミュレートでは満足できない 以前、128古典ビットの加算器をBlueqatで実装しました。 けれど、まぁ、古典だしそりゃできるよね、つまんないよね。やっぱり重ね合わせたいよね。 そ...
11
7
Comment0
Coqのnatやssrnatでは0で割った答えは0になる
何度目か分からないが、 $\mathbb{X}$ で、小学の算数テストで0で割った答えがどうこうのという話題を見て、思い出したので書いておく。 言うまでもないが、Coqと小学生の算数テストの間に...
3
0
Comment0
[備忘録][一行メモ]Pythonに-uオプション付けたらstdout, stderrがunbufferedになる。teeにパイプするとき便利
タイトルが内容のすべてですが、一応捕捉 python -c 'import time; print(1); time.sleep(1); print(2)' ⇒1が表示され、しばらくしてから2が...
6
1
Comment0
Kullback-Leibler情報量の解釈に関する備忘録
Kullback-Leibler情報量は何度聞いてもよく分からないのだが、先日、面白い解釈を読んだ。 Imagine that you have an random variable of pr...
3
0
Comment0
量子カーネル法
はじめに 友人たちと、古典のカーネル法について勉強をしていた。それが一通り終わったので、量子カーネル法について自分が知っていることをまとめて、友人に紹介することにした。 そのまとめを公開するが、...
49
39
Comment0
Julia独習メモ ＜2＞
Juliaを独習していて、その内容や気になったことをメモ書きとして残しています。 前回まで: 3日目 マニュアル読みの続き 算術演算子と初等関数 算術演算子、論理演算子、ビット演算子 概ね普通な...
3
2
Comment1
Julia独習メモ ＜1＞
Juliaに入門した。そのときのメモをここに書く。n日目表記は、実際の日数とゆるく対応している。 あまり、誰かの役に立つのかは分からないが、メモ書きとして公開する。 1日目 環境構築 julia...
1
2
Comment0
Rustでgeneratorを実現する
この記事のコードは https://github.com/gyu-don/minimal-generator に置いています。 generator 最近のプログラミング言語には、generato...
22
9
Comment0
[備忘録]flatpak上のVSCodeでrust-analyzerを動かす (SDK extensionを利用する)
rust-analyzerのドキュメントに書いてあると言われればそうなんだが、読んでも苦労したのでメモしておく。もっといい方法を知っている人がいたらコメントをほしい。 現段階では、VSCodeを...
1
1
Comment0
量子回路シミュレータのノイズモデル
量子コンピュータの実機は、外部からのノイズの影響で計算途中にエラー(誤り)が生じます。 そのため、従来のコンピュータで動作させる、量子回路のシミュレータでの理想的な実行結果との差が生じます。 で...
10
6
Comment0
154 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles