irisuinwl’s diary

サークル不思議(略)入巣次元の、数学や技術的なことを書きます。

コミケの感想とやったことのまとめ

C95参加してきました。とても面白く、色々と感じることがあったので記録しておきます。 この記事では①感想、②創作活動とソフトウェア開発との類似性、③創作活動で何を工夫したか、を書いていきます。

参加した結果としては、30部刷り、12時前に完売することができました。 様々な人とも話すことができ、創作活動や技術者としての刺激となりました。ブースに来て頂いた皆様、誠にありがとうございます。

③はなぜ自分が新刊を印刷でき、完売できたか、楽しんで参加できたかを考えながら書いてます。参考になればと思います。

続きを読む

M.Davis Applied Nonstandard Analysisメモ①

最近、M.DavisのApplied NSAを読んでます。

NSA+MLで同人誌を出しましたが、このままその方向で進めるなら、数理論理的、モデル理論的な扱い方を知らないのは困るな、と思ったので読んでます。

 Chapter1.3 individual and superstructureについてのメモです。
(これは、英語で読むより日本語wikiを見たほうがニュアンスが伝わりやすいと思いました。 cf: 超準解析 - Wikipedia

続きを読む