yamataku13のブックマーク / 2010年5月14日

yamataku13 id:yamataku13

2010年5月14日のブックマーク (4件)

シゴタノ！ — Macを買ったもののどうしていいかさっぱりわからない人のために
百式管理人さんもMacへ移行中のようですが私も長々とWindowsを使い続けて、Macへ移行してから日が浅いため、戸惑うことばかりです。最近になって、ようやく少し慣れてきました。慣れるに当たっては、とても多くのサイトやブログにお世話になりました。今はそういう時代ですね。ここに、お礼もかねて特にお世話になったサイトなどを、紹介していきたいと思います。細かくいえばもっともっとあるのですが、全部は覚えていませんし、特にお世話になったところだけに絞らせていただきます。ごめんなさい。わかばマークのMacの備忘録
yamataku13 2010/05/14
Windows

mac
リンク
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。入門的概説論理一般高階論理と型理論直観主義論理コンビネータとラムダ計算時相論理および時制論理様相論理適切さの論理自然言語の論理空間論理モデル理論安定性理論無限論理計算可能性理論および再帰理論集合論 pcf理論記述集合論実数の集合論選択公理強制法と内部モデル連続体仮説 NF 証明論と構成的数学順序数解析算術の体系と不完全性証明可能性論理線形論理構成的数学代数的論理と圏論ブール代数普遍代数量子論理圏論歴史入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学講義ノート（2013年度版）」． St
yamataku13 2010/05/14
数学

まとめ
リンク
英語の議論で“勝つ”ための3つの技術：日経ビジネスオンライン
2006年から、自社のグローバル経営会議（Executive Committee）のメンバーを務めている。メールや電話での個別のやりとりは別にして、メンバー全員が出席する正式な会議は、2週間に1回程度のテレフォン・コンファレンス（電話会議）と、2カ月に1回4～5日かけて議論をするリアルでの会議だ。経営陣自体の視野を広げ、現地の政府・企業の方々との議論の機会もできるだけ増やすという考え方から、リアルでの会議は世界各地持ち回りで行われる。この1～2年も、ロンドン、フランクフルト、サンフランシスコ、シドニーといった辺りは当然として、モスクワ、ドバイ、サンパウロといった新興国の都市にも積極的に出かけてきた。特に新興国では、当然ながら、経営会議のメンバーも、そのすべてについて現地事情に通じているはずはないので、会議の機会に自分の目で現地を見て、実際に様々な人と議論することが、半強制的な経営陣への
yamataku13 2010/05/14
英語

あとで読む
リンク
cyclowired | シクロワイアード - スポーツ自転車情報サイト
シクロワイアードは、スポーツ自転車の総合情報サイトです。ロードレースなどのレース情報から、フレームやパーツ、イベントやショップの情報に至るまで、皆さんの自転車ライフに役立つ情報を日々ご紹介しています。
yamataku13 2010/05/14
自転車

工具
リンク
- 2010年5月16日
- 2010年5月14日
- 2010年5月13日