記事一覧
Stable Diffusion Web UIの設定を消費メモリを確認して行う
長らく放置してきたAutomatic1111の起動オプションを弄ってみた。settingsで行う部分が増えていてコマンドラインはかなり削れそう。オプションとして残るのはxformersとかmedramやモデルやコンフィグの指定かな。(実はxformers使っていなくて、opt-sdp-no-mem-attentionを有効にしているけど)
見直すポイントは以下二つ
モデルのfp8を有効にす
【旧文部省の日本史捏造】百姓一揆の嘘
戦後の日本史は唯物史観により捏造されており、時代区分から捏造だが特に目に余るものを調べてみる。ただし、教科書の内容は、コロコロ変わるので今教えている日本史の内容と調査内容が一致するかは知らない。
中高の日本史における百姓一揆は、まるで幕府の悪政に対して起こした様にかかれているが、江戸時代における百姓一揆の件数は、大目に見ても3200件程度である。江戸時代は概ね260年あるので1年にたったの1
STEAM教育は、要するにSTEM教育
STEM教育とは、
面倒なのでGPTに説明させた。一方STEAM教育は、
本来artsは術に過ぎなく、リベラルアーツを指すと思うのだが、「文法」「弁証」「修辞」「算術」「幾何」「天文」「音楽」の7つのうち半分が数学。修辞は詭弁術だが、文法は生成文法では実質数学だし、弁償は論理学だから実質数学、算術と幾何は数学、天文は物理学と数学、音楽は実質数学である(ここでは修辞の技術を駆使した)
Stable Diffusionでfp8は使えるのか?
Stable Diffusionで、pytorch 2.1.0から実装されたfp8が利用出来る様なったらしい。一番大きいのはメモリの減少。なおGeForceの場合、fp8は40xx移行のみ対応しているらしい。
fp8とはなんなのか
fpとは浮動小数点(floating point)をさし、8は8bitを差す。元々CPUに於いては小数点の実装は回路が複雑になるため実装そのものを避けて整数演算
日本の度量衡雑語り 1合は合理的
度量衡雑語りの続き
🤔そうするとそもそも一合と言うのも合理的に考えた単位ではなく、適当に作った単位では❓そもそも昔は1日2食だったと言うじゃないですか。3合でも5合でも中途半端ですよね。
🧞♂️いきなり、 雑学マウントアルマジロを憤死させるような事を言うのは行けないよ。ちゃんと理由はあるんだよ。
🤔え、ちゃんと理由があるの❓
🧞♂️この単位は唐から導入したんだ。これには大升と
無料版のChatGPTでもWeb検索が出来るようになっていた
すぐ上限に到達するけど。試用版だな。
試しに中世雑語りさせてみた。
要するに入浴する習慣がなくなったのは近世ヨーロッパに流行った疑似医学の所為。
ChatGPTに古い英語を解読させてみた
読めるかこんなのと言うわけでGPT-4oに駄目元で読ませてみた。リチャード2世の料理人が書いたとされる、"Forme of Cury"と言う料理本の一部(「料理の作法」と言う意味でいいのかな?)1390年ごろなので、中英語だと思うのだが、このテキストは印刷されているから恐らく16世紀より後。
ところどころ雑なのだが解読しやがった。ところで、これは古英語ではなく中英語だと思うのだが。
カポン
生成AI曰く「生成AIは高EQの職を奪う」
リリースされたばかりのGTP4oが無料で使えるので(一定時間にアクセス出来る回数に制限があるらしい)ChatGPTに説明させた。GTP4oはコーディング以外はかなり優秀。Microsoftがチューニングするとアホの子になるのだろうけど。
――というわけでLLMの特性も理解せずIQよりEQと言うアホの子(こういう発言している時点で低EQだと思う)が出現していたので「生成AIは高EQの職を奪う」
16世紀イングランドが製鉄を始めた時、すぐ枯渇する程度の森林しかなかった
ここ嘘でしょうね。昭和の歴史学者はろくに調べもせず平然と嘘つくから。オランダは国土の大半が海の中だからノルウェーから輸入してたけど。イギリスは、オランダ経由で輸入してたとか。
http://reposit.sun.ac.jp/dspace/bitstream/10561/531/1/v36n4p331_tanizawa.pdf
ロシアからも船用材木を輸入していた。
https://dig
中世ヨーロッパ雑語り 都市の中に川が来る奴
中世ヨーロッパの都市の中に川にくるケース。市域の拡張で川をまたぐケースが多い、川中島に街作ったケースでは街が手狭になると川またぐ選択肢しか無いし。
パリ
本来のパリは、セーヌ川の河州のシテ島にあった。そのため街がセーヌ川の両岸に拡張していき、川が真ん中に来た。
ハンブルク
https://www.alamy.com/map-of-hamburg-germany-in-the-17th-
生成AIはプログラムに使えるか?
結局、アルゴリズムを知らないと使えない。取りあえず単純かつ極端な例をあげてみる。これはJPEGデコーダの一部IDCTの部分の実装になる。
Q. pythonで8x8のDCTを逆変換する関数を書いて
import numpy as npdef idct_8x8(dct_coeffs): """ Perform inverse Discrete Cosine Transform (I
中世ヨーロッパ異端審問会 近世ヨーロッパとの混同者を審問する
はじめに 中世ヨーロッパ異端審問会は中世ヨーロッパ警察を異端審問し処刑するために存在する。嘘だけど。小説のネタにでもしようかな。中世ヨーロッパ警察って近世ヨーロッパの話ばかりするもの。中世ヨーロッパにやられていたとされている拷問の大半は近世ヨーロッパに行われたものか19世紀に捏造されたものとされている。中世ヨーロッパだと牢屋に放置するだけでも十分拷問だ。そもそも19世紀末にもっとも合理的な拷問は
日本の度量衡雑語り 「一合の米」は標準的な一食分の分量の嘘
🤔「一合の米」は標準的な一食分の分量なのでしょうか❓
🧞♂️結論ありきの俗説だね。
江戸時代の町民や戦前の兵隊の米の消費量は1日5-6合とされているので『「一合の米」は標準的な一食分の分量』と言う雑学がそもそも嘘だよね?
🤔 『一石とは大人一人が1年に食べる米の量』と言うのは❓
🧞♂️ 仮に一日5合として単純にかけ算することにしよう。
$${ 5 \times 365 =