|
|
|
|
|
||
|
||
すべて | 関数型言語 | 音響プログラミング | WEBニュース | 研究ネタ | ギーク | システム開発
雑談用ストーリー [2] 785
2024-09-07
置換公理に出てくる「関数」とは
雑記／備忘
公理的集合論の置換公理を「関数の像は集合である」と説明したり理解したりする人がいます。まー、そうなんですけど、ここに出てくる「関数」を普通の意味で理解すると、まったくのトンチンカンなことになります。置換公理に出てくる「関数」は、普通の関数…
2024-09-06
カートメル／ヴォエヴォドスキー／パルムグレンの型理論
雑記／備忘
型理論／型システムは何十種類、いや何百種類もあるのですが、そのなかで、「今のイチ推しは何ですか？」と聞かれれば、カートメル／ヴォエヴォドスキー／パルムグレンの型理論を挙げます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ i…
置換公理に出てくる「関数」とは
カートメル／ヴォエヴォドスキー／パルムグレンの型理論
Laptop-leasing startup Fleet wants to become the IT companion for small companies
Romain Dillet
2 hours ago
Fleet is launching several software services on top of its hardware-as-a-service proposition, from device management to cybersecurity and insurance.
Fintech
Ziina banks $22M as growth explodes for the UAE-based fintech for small businesses
The Dubai-based startup, which now counts 50,000 ret
Welcome to nginx!
If you see this page, the nginx web server is successfully installed and
working. Further configuration is required.
For online documentation and support please refer to nginx.org.
Commercial support is available at nginx.com.
Thank you for using nginx.
耳で聞く小説 - 23,257
JUNK 伊集院光 深夜の馬鹿力 - 14,902
Podcast802 FM802 - 12,116
医療ポッドキャスティング - 11,620
すっとんしずおか昔話 -SBS Podcasting- - 10,833
英語/eChat Vancouver - 9,442
Learn Chinese Culture @ iMandarinPod.com - 9,118
森本毅郎・スタンバイ！ - 8,991
Podcast from RKB radio - 8,816
ニッポン放送 Podcasting STATION - 8,800
朗読三昧 - 8,744
内海文化・ＱＲの現金５万円入りのハンドバッグ - 8,542
books A to Z | Fmyokohama 84.7 - 8,452
新刊ラジオ - 8,318
My Voice Diar
Questions?+1-303-893-0552
Captcha security check
traksy.com is for sale
Please prove you're not a robot
View Price Processing
Dedicated to customer care
Talk to a domain expert: +1-303-893-0552
© HugeDomains.com. All rights reserved.
安くてオシャレ、女性向けスマートリング「Evie Ring」を試してみた
アーム、最新CPUやGPUをまとめた「CSS for Client」--AIに最適化、GitHubにライブラリーも
5月30日昼のモバイルSuica障害、他社システムのエラー復旧で解消へ--JR東、公式「X」で投稿
ZDNET Japan目指すは現場で役立つ生成AI--NTT Com、パートナー企業募集で「tsuzumi」強化へ
安くてオシャレ、女性向けスマートリング「Evie Ring」を試してみた
2024年05月31日 07時30分
アーム、最新CPUやGPUをまとめた「CSS for Client」--AIに最適化、GitHubにライブラリーも
2024年05月31日 08時00分
5月30日昼のモバイルSuica障害、他社システムのエラー復旧で解消へ--JR東、公式「X」で投稿
2024年05月30日 18
読者になる
naoyaのはてなダイアリー
読者になる
結局、人生はアウトプットで決まる 自分の価値を最大化する武器としての勉強術
￥ 1,540
結局、人生はアウトプットで決まる 自分の価値を最大化する武器としての勉強術
￥ 1,540
飲食を始めとするサービス業においては、店舗運営をどうするとか、新メニュー開発がどうのといった各論に気を取られがちです。しかし、彼がこだわっているのは、「スターバックスがなぜ存在しているのか」という、同社の存在意義の部分でした。スターバックスのコンセプトが「サード・プレイス」であることは有名な話です。要は、会社
2000年から日替わりでドットコムを紹介しつづけた『100SHIKI』
ご意見はparadigm@dreamドットコムまで
2014.09.16雑誌『Spectator』31号の「禅（ZEN）」特集にブックガイド記事を書きました
News
Events
Releases
Biography
Contact
Page not found
©2014AOKI takamasa
SoundCloud
Twitter
Tumblr
vimeo
Contact-AOKI TAKAMASA 写真展 Photo Exhibition ”PHOTOGRAPHY” at Bloom Gallery Osaka
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
VALUE-DOMAINならドメインが年990円！、サーバーが年2400円！
.
2011年5月12日
■ 「優しく, 美しく, 気高い数学書」 2011年5月12日 08:13
数学書房さんから出版される『この数学書がおもしろい 増補新版』という書籍に文章を書きましたのでアナウンスします。
この本は「約50名の執筆者が数学書について自由に書く」というもので、 数学に興味を持っている方なら、どなたにも参考になると思います。 編集部によれば、出版は近日中ということですが、正確な日付はまだわからないそうです。
各執筆者は一人およそ4ページずつ書きます。 結城は「優しく, 美しく, 気高い数学書」というタイトルで書きました（このタイトル…なにこれすごい）。
以上、簡単ですがご紹介でした。よろしくお願いします。
『この数学書がおもしろい 増補新版』
数学書房編集部編
ISBN 978-4-903342-64-1
数学書房（5/12現在、まだ本書の情報はないようです）
feedb
■ Google、「Chromium OS」を公開
http://www.publickey.jp/blog/09/chrome_os.html
■ シャットダウンも日本語入力もできない?
http://blog.livedoor.jp/dankogai/archives/51325262.html
■ Chronium OSのコンパイル手順
http://d.hatena.ne.jp/showyou/20091120/1258687525
■ IBM developerWorks:Scitter(ScalaのTwitterクライアントライブラリ)を使ってTwitterを更新する
http://www.ibm.com/developerworks/jp/java/library/j-scala10209.html
■ IBM developerWorks:Web アプリケーションのセキュリ