世界初！愛知県豊田市で誕生したコメ兌換通貨の凄味〜「腐るおカネ化」で流通の加速を目指す(ダイヤモンド・オンライン) - Yahoo!ニュース
世界初！愛知県豊田市で誕生したコメ兌換通貨の凄味〜「腐るおカネ化」で流通の加速を目指す ダイヤモンド・オンライン5月14日(金) 8時30分配信 / 経済 - 経済総合 愛知県豊田市でコメと交換できる地域通貨が誕生し、今年の5月1日から一部の地域で流通が始まった。その名も“おむすび通貨”だ。 発行元は弁理士で代表を務める吉田大氏や、大学准教授の村田尚生氏などが中心となって立ち上げた「物々交換局」という共同事業組合。吉田氏によれば、コメで価値が担保された地域通貨というのは世界で初めてだという。 通貨単位は“むすび”といい、1むすびは無農薬・有機栽培・天日乾燥の玄米0.5合（おにぎり1個分）と交換できる。この通貨を幅広く流通させることで、荒廃した農山村の振興を図ろうというのが目的だ。 さらに、コメとの交換以外でも、飲食店や雑貨屋など20店舗以上ある協力店舗で代金を支払う際にも利用できる。
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
Libron(リブロン) - 図書館をもっと身近に
Libron（リブロン）とは Libron は Amazon のページから素早く最寄りの図書館の蔵書を検索し、貸出予約ができる便利なツールです。 図書館蔵書検索サイト「カーリル」(https://calil.jp/)の提供するAPIを利用することで、全国7000以上の図書館(1400館以上の大学図書館を含む)に対応しています。 サポートのお願い 2010年よりLibronはオープンソースかつ無料で提供しております。継続して開発を続けるためには、使っていただいている皆さまからの支援が必要です。1杯のコーヒーという形でサポートをいただけると大変ありがたく思います。 ※ クレジットカードの明細には「合同会社つくる社」と表示されます。 更新履歴 3.0.18 - 2023/01/23 本以外の商品ページでも検索のローディングアイコンが表示されてしまうバグを修正しました。 3.0.17 - 2023
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
