Python Python+Z3で魔方陣
魔方陣をPythonで自動的に作るとなると全パターンを挙げて埋めていけば理論上はできるのですが、時間がかかりすぎます。Z3を使って作ってみました。
デジタル
Python 
マイクロソフト ファイルプロパティの属性の意味と使い方
Windowsでファイルのプロパティを開くと属性として、読み取り専用、隠しファイル、アーカイブというチェックボックスが表示されます。これらの意味と使い方についてまとめます。
Python Pythonで線形探索と二分探索
線形探索と二分探索についてウィキペディアにPythonのコード例がなかったので書いてみました。
JavaScript jQueryを使わずにHTML上の値を操作する方法 – 脱jQuery
私がJavaScriptを学んだときは、HTML上の値を取得するときはgetElementByIdなどを使っていました。その後、jQueryが登場し、CSSと同じセレクタが扱えるようになりました。そして今は、jQueryを使わずにセレクタが...
Tool 将棋の駒の配置を描画する「将棋盤面メーカー」
気まぐれで作ったのですが使い道がないのでここに公開します。
PHP ERR_BLOCKED_BY_CLIENTが出たときに試した方法
MacでMAMPを使い、PHPで生成した画像を、Chromeに表示しようとした際に、ERR_BLOCKED_BY_CLIENTというエラーが出ました。Safariで試すと正しく表示されます。ChromeではAdBlockを使っているのですが...
Python Pythonで最短経路を求める方法
こんな問題があったのでPythonで解いてみました。xとyという2つのリストが与えられている。5つの点の座標はそれぞれxのn番目yのn番目になっている。開始時の点をリストx,yの0番目の座標として、どの点を順番に通るのが最短なのかをリストに...
PHP PHPで文字列を正しい位置に印字する関数
PHPで画像を生成する際、文字列を印字するにはimagettftextを使いますが、位置が微妙にずれます。これを解消する関数を自作しました。
Excel Excelのフィルタがおかしくなったときに試した方法
Excelのフィルタを使っているとフィルタの挙動がおかしくなることがあります。例えば選択していないのに一部の行だけ表示されたりします。そのようなとき、次のようにしたところ、復旧することができました。
Python Pythonで簡易的に形態素解析をする方法
以前、JavaScriptで簡易的に形態素解析をする方法を考えました。今回はPythonで同じことをやってみました。品詞を特定するのではなく漢字、カタカナの区切りを利用する方法です。実は実用的ではありませんでした。メモとして残します。コード...