The Rockin Horse | Home - A Rockin New Year
A Rockin New YearIt’s a Perth thing. For generations the bright young things from Perth have been going to the races on new years day. The rockstars amongst us sun ourselves in luxury, sipping cool beer and cheap wine. And we do all this, usually without seeing a horse, in a dodgy Tentland marquee listening to some wide-eyed DJ play the latest pop and dance tracksHomer Simpson said it, in fact
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
blosxomの時代終了のお知らせ:Ck2 Blogger
何か新しいblosxomネタないかなと、復活してから探し回ってるわけですが、ない！ほんとにない！！いまだにblosxom使ってる人は昭和らしいし....て事で、blosxomの時代終了！ 単にネタがないのは、blosxomerな方々は、さらにいろいろ開発しちゃってblosxomから離れていったりとか、私自身がそういう事ができる程のスキルがないとか、この自分のブログでは、それなりにいろいろイジりきってきたのでイジりたい部分がそうそうないとかね。それよりもまず、新たなプラグインを作り出すスキルすらない事が原因。既存のプラグインをちょっとイジくる....ぐらいしかできないっていうヘタレなのが理由な訳ですよ。 が、しかし！私は諦めませんよ。こんなヘタレな私でも、一応ここまで作り上げてこれた訳だし、こんなヘタレブログでも、一応「参考にしてます」的なコメントとか、「blosxomユーザーとして読んで
シンプルに分かりやすくメモを作る·iroha Note MOONGIFT
iroha NoteはAdobe AIR製のフリーウェア。構造的にノートを書くときにはアウトラインエディタやマインドマッピングがよく使われる。一度に長文を書こうと思うとなかなか筆が進まなかったり、メンテナンスするのも大変だが、小さく分割することで可視化され、整理されるのだ。 ノートとリースでメモをする マインドマッピングソフトウェアは数多く存在し、高機能なものも多数存在する。だが多機能であると逆に操作に混乱してしまい、元々の目的だったノート作成がおぼつかなくなってしまう。そこで使ってみたいのがiroha Noteだ。 iroha Noteは日本製のAdobe AIRアプリで、Windows/Mac OSX/Linuxで動作する。左側にノートリストがあり、その右側にノートのコンテンツを作成する。付箋紙のようなリーフと呼ぶメモを貼り付け、各リーフをリンクさせてノートを作成する。 リーフ同士は線
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Takeshi Hanzawa
