43 search resultsShowing 1~20 results

Stocked
Ganesha

@Ganesha

python環境構築【2025年春】

この記事は、私自身の忘備録です。 定期的に環境を変える羽目になるのですが、今回は異なるpythonのバージョンを使い分ける必要があったため、pyenv + poetry の環境を構築しました。若...

1
0
Comment0
Ganesha

@Ganesha

GUI上の画面にprintで表示させる方法

はじめに CLI(コマンドラインインターフェイス)上で動かしていた関数があって、これを直感的に使えるよう、GUI(グラフィカルインターフェイス)にし、exe化してみんなに配布したいと思った。 C...

1
2
Comment0
Ganesha

@Ganesha

「Ctrl + C」で選択した文章を翻訳する。

Ctrl+Cを押したときにクリップボードの内容を翻訳し、表示するシンプルなツールを作成しました。Local LLMを用いて翻訳することで、機密文書などをネットワークを介してやり取りするのは「ちょ...

1
1
Comment0
Ganesha

@Ganesha

SMTソルバー Z3Py

ちょっと前に「Answer Set Programming」というのが使えそうだと思ったのだが、記述表現がよくわからなく停滞していたが、同じようなことをが「Z3Py」を使うとPythonで書ける...

0
2
Comment0
Ganesha

@Ganesha

Intel FPGA 開発環境構築

DE10-Liteを手に入れた。FPGAを使うには、Verilog-HDLなる言語を習得する必要があるようだが、その前に開発環境を整え、「Lチカ」を実施したので、それを記録しておく。 準備 ダウ...

1
2
Comment0
Ganesha

@Ganesha

Z3Py 例題 ハノイの塔

問題 以下のルールに従って、すべての円盤を右端の杭に移動する。 3本の杭と、中央に穴の開いた大きさの異なる複数の円盤から構成される。 最初はすべての円盤が左端の杭に小さいものが上になるように順に...

2
2
Comment0
Ganesha

@Ganesha

Z3Py 例題 コイン問題2

問題 以下のユーロ硬貨を持っているとする(総和は148セントになる)。 20セント硬貨 4枚 10セント硬貨 4枚 5セント硬貨 4枚 2セント硬貨 4枚 合計がちょうど93セントになる組合せは...

0
1
Comment0

43 search resultsShowing 1~20 results

Qiita is a knowledge sharing service for engineers.

  1. You can follow users and tags
  2. You can stock useful information
  3. You can make edit suggestions for articles
Functions that can be used after logging in