2016-01-24から1日間の記事一覧
Category Theoryの件でぼちぼちWebノート的な使い方も(手間はかかるが)有益そうな気がしてきたので、Amazon.co.jp: Semiclassical Analysis (Graduate Studies in Mathematics): Maciej Zworski: 洋書とAmazon.co.jp: C*-Algebras and Operator Theory: Ge…
お金のはなし - らんだむな記憶で折角FPの勉強をしたので、簿記の勉強もすることにしてみた。《実務・資格講座》はじめての簿記 スッキリわかる日商簿記3級 | gaccoが手軽な講座のように思う。(既にやっているがWeek1 確認テストは100%!) 別にいますぐ起業…
pdfの加工 - らんだむな記憶で書いたものの、Webサービスでのpdfの結合が結構アップロードも時間かかるし不便。 ghostscript で頑張れないかな?と思ったらできるみたい! 逆引きUNIXコマンド/複数PDFファイルを1つのPDFファイルにまとめる方法・gsコマンド …
ぼけーっと見てたら過去最大 2233万桁の素数発見(2016年1月24日(日)掲載) - Yahoo!ニュースという記事があった。 $$ 2^{74207281} - 1 $$だそうだ。常用対数を使ってみますかね。 $\log_{10}2 = 0.301029995\cdots$ に注意すると、底の変換を行って、 $$ \lo…
1つの目的に向かい、その目的に到達したので急激にモチベーションが下がってきた。 スーパーサイヤ人ゴッドの力を持ったサイヤ人のスーパーサイヤ人状態だったのに、ちょっと油断こいて解除したら横から銃で撃たれてへろってるくらい下がってきた。*1Haskell…
1.6 Construction on categories さて、作業をするための categories が幾つか手元にある状態になったので、既にある categories から新しい categories を創り出す組み立ての手順について考えことができるようになった。 1. 2つの categories $\mathbf{C}$ …
前回示した Theorem 1.6 はちょっと嬉しくないことを誘発する。 ――― Remark 1.7. このこと*1から集合と写像のなす ``具体的な'' category の素朴な概念についてまずいところがあることが見えてくる: 一般に category はその objects と arrows としては特別…
arrows が集合をなす場合についての困った(?)定理。ここからcategoryの「大きさ」みたいなものが重要になってくるのか。 そういった category は ${\bf Sets}$ と同じじゃん、という定理。オリジナルのpdfにおける証明は sketch で大分ざくっと雰囲気だけを…
段々と立体物へと移行。 しっかし、最初の頃はこんなの制作する気力があったんだな!メンタルクラッシャーなブラック職場環境ではどうもこれ系はあまり作った記憶がない。(今さらに無駄に耐え忍ぶことで大事なものを失ってしまった気がしてきた... ちくしょ…
これは懐かしいwww フェルトで作ったマスコットではないか!どこいったんだ...。引っ越した際にどっか押し込んだままか...? これは確か、自分でデザインしたやつだな。
あのポストカードはもともとはお絵描きチャットに描いた絵だったのか...? うーむ。あまりに昔で思い出せない。
ブルータスとゲタ。お前もか!の親戚とカラカラの弟。こういうデカ物は描き甲斐というものがあって良い。 木炭はなんか好かんよ。鉛筆でちまちまと。
しかし、まぁ、イラストでも放り込んだほうがblogは見栄えがいいな。 昔作ったポストカード。ぼっちなので送る相手などいないけどな! こういうゆるキャラ系のほうが好きだな。でも全然最近描いてないな...。
ぷよぷよ~んの模写だな。描いてくれとか言われたんだったか...? (頭の回転が落ちちゃって、昔みたいに3色MAX18連鎖, 4色MAX17連鎖とかできないなwww せっかく某なんとかは4級まではいったのにな) 鉛筆でざっと描いてスキャンして、線画の色だけ変えたやつ…
HDD をごそごそしていたら昔描いた絵が出てきた。ちょっといい感じだから貼り付けておこう。 キャンソン・ミ・タントかそこいらに色鉛筆で描いたような気がする。 そーいえば最近はToolsも行ってないなぁ...
ということで、XyJax - = Xy-pic extension for MathJaxを使いたかったがやめた。というか、https だとうまくMathJax がloadしてくれないのか fail してしまった。 amscd では斜めが出ないんだよねぇ。