サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
画力アップ
ashiato45.hatenablog.jp
これは何? 最近ちびちび宮西正宜・増田佳代さんの「代数曲線入門」を読んでいるのですが、わからないところにあたったときに片手間の数学だとなかなか進まないものです。 代数曲線入門 作者:正宜, 宮西,佳代, 増田共立出版Amazon そんな折OpenAIのChatGPTの新バージョン、GPT4の性能が高いと聞いたので、「試してやろう」とかそういう気持はなく、単に一緒に学ぶパートナーとしてGPT4を試してみることにしました。 わからなかったところ 2.3節「代数曲線の局所環」で、Cをf(X,Y)=0で定まる既約代数曲線とし、Rを座標環k[X, Y]/f(X, Y)としたとき、Cの点とRの極大イデアルが一対一対応するという話をしています。ここで、極大イデアルから点をつくり、そこからまた同じ極大イデアルに戻るところを議論するところで次のように書いてあります。ここで、θはk[X,Y]からRへの全射です
これは何? プログラムのデバッグをしていて、あるいは既存のプログラムの挙動を調べていて、ブレークポイントがある経路を通ってきたときのみ停止してほしいということが結構ある気がしたので、そういうブレークポイントが作れないかをやってみました。その経路の指定のために、各所に「ラベルつきのブレークポイント」が置けるようにして、そのラベルたちの吐いたログが、予め設定しておいた正規表現にマッチするときのみ停止するという風にしてみたらいい感じだったので書いてみます。 Motivating Examples ケース1: ループのなかの処理の最初のほうは無視して最後のほうだけブレークポイントを止めたい 例えばゲームのメインループや最適化法の反復処理で、ループの最後のほうに値や挙動がどうなっているか調べたいのに普通にブレークポイントを置くとそこに到達するまでcontinueし続けなければいけないということがあり
Alloyはモノを抽象的に記述したり、それらの関係を数学で言うところの「関係」でもって記述する言語です。 さらに、そこで記された制約を満足する例を見つけたり、制約に対する反例を見つけたりするための解析器がついてます。 プログラムの仕様をこれで記述して、それに対して見落しがないかを探すのに便利みたいです。 公式サイトhttp://alloy.mit.edu/alloy/の記述を引用すると、 Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching net
マクレーンを読んでて米田の補題を示したはいいが何やってるか全然わからないし、議論する階層も深すぎて何を扱ってるのかもよくわからなかったのでしょうもない 例を作った。式は だが、右のから何か元をとってきてそこからどんな自然変換ができるかを見てみることにした。 それぞれの登場人物は、以下のようにする。 圏: モノイドの圏。 関手: からへの忘却関手 : 「という4文字のアルファベットを並べた文字列」というモノイド そして、の元として文字列「」をとり、これがでどんな自然変換を生むかを見る。 「AabB」を使って、モノイドを固定したときに自然変換を作りたい、つまり モノイド準同型がでのどこに写るかを定めたい。 そのためには以下の図式を使うのだった。 ここで、この図式の左側はモノイドの圏の図式で、右側が集合の圏の図式なことに注意する。 ここで、右の四角の左上に恒等写像を流せば、図式の可換性より とな
最近はSyncTeXで、書いているTeX文章とプレビューア(SumatraPDFがメジャーだそうで)との間を行き来できるようにするのが流行りだそうですね。 ぼくはこの度メインのテキストエディタをEmacsからAtomに移そうと画策していたのですが、inverse searchは簡単にできてもforward searchには結構手間取ったのでここに過程とか解決策を書いておこうと思います。まとめると、Windows上でテキストエディタとしてAtomを、プレビューアとしてSumatraPDFを使ったときのinverse searchとforward searchについて書きます。 Atomでinverse search inverse searchは、プレビューアの文章のほうで選択した箇所に対応する 位置に、テキストエディタ上でジャンプする機能です。できたPDFを読んでいて「あ!誤字だ!」となっ
このページを最初にブックマークしてみませんか?
『ashiato45.hatenablog.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く