2011-01-01から1年間の記事一覧

代数幾何(スキーム前)

をある目的に使いたいので、事実を羅列しておく、記号は標準的教科書と若干変えてるので注意。 ■アフィン代数的集合 を体、 とする。 に対して、 を が定めるアフィン代数的集合という。 のときの代数的集合は、 、、有限集合、のいずれかになる。 イデアル …

システムソフトのエリュシオン

を約20年ぶりに遊んでみた、もちろんPC98版。 最初にハマったRPGで、今後これ以上にハマるRPGはないかと。 イースを買いにいって、ソフト1本プレゼントのクジに当たり、F氏が選んだ一本。 ポプコムでも特集組んでたりとか、懐かしい。 ティルナノーグに付い…

ケータイアップデートに失敗しました(0002)

は、ブラウザのキャッシュを消去で解決。

新大阪(京都方面)の編成車両数

は次のとおり。 ・17:S04(_),R13(08),S19(_),R28(_),S34(_),R43(10),S49(08),R58(_)・18:S04(_),R13(_),S19(_),S26(_),R29(_),S34(_),S41(_),R44(_),S49(_),S56(08),R59(12)・19:S04(_),R13(_),S19(_),R28(_),S34…

怒らないこと

を読み終え、怒らないと決めた日。

Androidアプリ開発環境(実機使用)の構築

について。 ■スマホ側の環境設定 ・設定→アプリケーション→提供元不明のアプリにチェック ・設定→アプリケーション→開発→USBデバッグにチェック■Windows側の設定 ・IS11CAだと、下記ページからUSBドライバをDLしてインストール http://k-tai.casio.jp/downlo…

スマホに変えたので

導入アプリをメモっとく。 ・カスペルスキーモバイルセキュリティ 9 for アンドロイド ・ ・ ・ ・

Androidアプリ開発環境の構築

について。 ■Java SE (JDK) ・http://www.oracle.com/technetwork/java/javase/downloads/ で「Java Platform (JDK)」を選択し、「jdk-6u26-windows-i586.exe」をDLして実行■Eclipse ・http://download.eclipse.org/eclipse/downloads/ から「eclipse-SDK-3.…

連続体仮説の否定モデル

について勉強、緩いストーリーを纏めとく、間違ってたらゴメンナサイ。 とある理由から、いきなりズバッと否定モデルは作れず、可算モデルをベースにして拡張する必要があるらしく。 そこで をベースとなる可算モデルとし、更にMostowskiの同型定理から推移…

今日から地下鉄で出勤

朝も冷房かかってて涼しい。

2011年の花粉散布開始は5/14夜

でした。 紐で頭をグルグル巻かれ、脳みそグワングワン揺らされ、船酔いしてる感じ…

代数方程式を解く

機会があったので、ついでに可解性を久方ぶりに復習してみた。とりあえず係数体は としておく。 大方間違ってないと思うけど、永遠にβ版。 ■2次方程式の解法 2次方程式 の解の公式は となる。 ■2次方程式の解法のキモ 与えられた方程式は、拡大体 で一次式に…