はしくれエンジニアもどきのメモ

情報系技術・哲学・デザインなどの勉強メモ・備忘録です。

はてなブログのコードブロックのcssスタイルを変更する

はてなブログ CSS

はてなブログのコードブロックのcssスタイルを変更する

はてなブログのコードブロックのスタイル変更時のメモ。

  • 色などのスタイル変更
  • 言語名の追加

を中心にまとめる。 はてなブログの場合、意外に行数表示はCSSだけではタグ構造上無理でJSが必要になりそうなので gistやcodepenみたいなサービスの埋め込み使うのもありかも。

続きを読む

伊勢田哲治「哲学的思考トレーニング」の感想とメモ

Philosophy CriticalThinking

伊勢田哲治「哲学的思考トレーニング」の感想とメモ

伊勢田哲治先生の「哲学的思考トレーニング」(2005)を読んだので感想とメモを残す。

などが分かる本で、 文系学生に限らずみな読んでおいたほうがいい本である．

哲学思考トレーニング (ちくま新書)

哲学思考トレーニング (ちくま新書)

Amazon

続きを読む

ドット絵で30°の斜線を引くには

ドット絵

ドット絵で30度の斜線を引くには

ドット絵で中途半端な角度の斜線を引くための計算メモ． 数学的に考えると，極座標系のグリッド化問題になる？

結論からいくと，

  • 単純に30度を引くには，「2,2,1,...」の周期並びで問題ない． arctan 3/5 ≒ 31度になる．+1度の誤差が発生するが，ジャギ消し分含めるとあまり問題ないはず
  • 画像サイズが大きくもっと精度良くしたい場合には，『「2,1,...」の周期並べx4，「2,2,...」の均等並べx13, 「2,1,...」の周期並べx4』の周期並べが良さげ． arctan 58/100 ≒ 30.1度で+0.1度まで誤差を抑えられる．でもジャギ消しで見え方変わるのでここまでこだわる必要があるかはなんとも言えない．

f:id:cartman0:20211007220039j:plain
30°の表現2パターン

環境

  • Windows10 64bit
    • edge 1.29b

続きを読む

BlenderでMMDのpmxファイルを読み込む

Blender MMD

BlenderでMMDのpmxファイルを読み込む

BlenderでMMDのpmxファイルを読み込むには，アドオンの導入が必要なのでその辺のメモ．

環境

続きを読む

プチブロックで学ぶプーリー・ベルト機構

ブロック

プチブロックで学ぶプーリー・ベルト機構

ダイソー100均のプチブロックの車輪パーツを見てたらプリー・ベルト機構を作れそうだなということで作ってみたメモ．

とりあえず車輪４つとベルト用の輪ゴムあれば，以下のような簡易なものは作れる． ただし，駆動輪側は手動なので教育用な感じ．

プーリー・ベルトアニメ
プーリー・ベルト機構

続きを読む

2010-2020年くらいのプラモ界隈の流れをざっくりまとめたい

プラモデル 雑記

2010-2020年くらいのプラモ界隈の流れをざっくりまとめたい

最近，自分の中の小学生男子心が疼きプラモ熱が高まり，調べてみたところ昔比べてかなり結構進化してるなと思ったのでいろいろまとめたい．

今のプラモ界隈の流れとしてポイントは6つ+αほどある．

  • 骨組みフレーム＋外付けアーマー形式により可動箇所が増えた
  • フィギュアスケールプラモ（美少女フィギュア形含む）が普及して当たり前になった
  • 共通規格（3mm軸ジョイント，キットブロック系）ができはじめてきた
  • 価格安めが増えてきた（特にバンダイ）
  • 低年齢狙いの商品が増えてきた
  • 環境問題対策（特にバンダイ）
  • (+α)100円ショップで便利な道具が安く手に入るようになった

f:id:cartman0:20210705200415p:plain

続きを読む

pythonのビット演算周りのメモ

Python

pythonのビット演算周りのメモ

負数の取り扱いとビットの反転がわかりにくいのでメモ

環境

続きを読む

ディリクレ(Dirichlet)分布を3Dで可視化する

確率・統計 Python

ディリクレ(Dirichlet)分布を3Dで可視化する

（3次元の）ディリクレ分布をpythonのmatplotlib.plot_surfaceで可視化するメモ．

環境

続きを読む

2020年代でも環境構築できる論理型言語のメモ

論理型言語

2020年代でも環境構築できる論理型言語のメモ

2020年代でも使えそうな論理型言語のメモ． 論理型言語自体アカデミック向けだったり最近の人工知能はディープニューラル系が多いので情報が少ない．

このあたりhttp://minikanren.org/#papers を見ると，最近では"Program Synthesis"というコードの自動生成（Quin生成）の分野では活躍してるぽい．

結論から列挙すると以下が良さげ．

続きを読む

gccのコンパイルの流れとオプションのメモ

C/C++

gccのコンパイルの流れとオプションのメモ

docker利用によりWindowsでもMinGWなど使わずとも手軽にUnixベースのgccが利用できるようになった．

gccでの中間コード（Intermediate code; アセンブリコード）， オブジェクトコード（Object code）， 実行ファイル(Executable file)の流れとオプションを使った生成のメモ．

環境

  • Windows10

続きを読む