数学ノート 非単拡大の中間体
テーマは アルティン著「現代代数学特論」4.4中間体 から。次の定理が紹介されている。（明示的に定理としてまとめられているのではなく、内容をまとめたものである。）\( E/F \) は有限次拡大とする。\( E/F \) が単拡大 \( \...
tamaki
数学ノート IT教育 超電磁砲でデータベース（ビュー編）
ビューとは複数テーブルからの問い合わせでテーブルの結合 STATUS NATURAL JOIN AFF をしばしば使って面倒だったろう。あらかじめ結合テーブルが容易出来れば便利である。これを実現するのがビュー(VIEW)である。基本的に読み...
教養数学 クラメルの公式
多くの教科書ではクラメルの公式を逆行列の公式から導出しているようだ。私の使っていた教科書もそうだった。ラング著「線形代数学」で行列式の性質から直接導いているのを見つけ、以降これに従って講義をするようにした。長谷川浩二著「線型代数」でも採用さ...
IT教育 超電磁砲でデータベース（テーブル作成編２）
はじめに今回は外部キーがテーマなので、まずは外部キーを有効化する。また、前回定義したテーブルを利用するが、念のため一旦破棄して再び定義する。もし存在しなければエラーとなるが、それはそれで問題はない。次の命令をコピペして実行して欲しい。PRA...
IT教育 超電磁砲でデータベース（テーブル作成編１）
ここまでは既存のテーブルに対して問い合わせしか行ってこなかったが、ここでテーブルを作成することを学んでみよう。はじめに今回扱う重要な概念の１つに外部キーがある。SQLite の初期状態では無効になっている。有効かどうかは PRAGMA fo...
日記 プラグインなしで MathJax (修正版)
過去記事 プラグインなしで MathJax の修正記事です。テーマは Cocoon を採用していますが、カスタマイズのため子テーマを導入していました。MathJax 設定のため function.php を編集していましたが、Cocoon ...
IT教育 超電磁砲でデータベース（副問い合わせ編２）
前回と異なる副問い合わせの活用法として、IN と EXISTS を取り扱う。ININ は入門編で既に出てきたが、IN ( 副問い合わせ ) の形で副問い合わせが活躍する。次の例は「初春飾利」と同じ組織に属する構成員の名前とその所属組織を表示...
IT教育 超電磁砲でデータベース（副問い合わせ編１）
副問い合わせ副問い合わせとは入れ子になった問い合わせのことである。具体例で見てみよう。次の例は同じレベルの人物が登録されていない人物の名前とそのレベルを表示する。SELECT NAME, LEVEL FROM STATUS AS A WHE...
IT教育 超電磁砲でデータベース（複数テーブル 実践編）
はじめにすでにテーブル STATUS は作成してあるものとする。今回はテーブル AFF を新たに追加する。AFF は NAME と TEAM の２属性からなる。AFF の一部を掲載する。NAMETEAM御坂美琴常盤台中白井黒子常盤台中白井黒...
IT教育 超電磁砲でデータベース（SQLite の設定）
このままでは SQLite を起動するたびに初期設定することになり手間がかかる。起動時に設定を自動読み込みする方法について調べたので、ここでまとめておく。（追記）動作確認の結果、外部キーの設定をここでしても無効でしたので本文中から削除しまし...