steps to phantasien
August 2022 Moved March 2022 Moving WSL2 「ハイブリッド勤務」にむけて Too Obvious To Innovate January 2022 Off Notes December 2021 2021 Outside Work November 2021 Restarting Extra Curricular Book: The Second Shift Webcam 横書き日記 - 完了 Publishing Blog Draft Behind oauth2-proxy on Cloud Run 横書き日記 Revisiting Writing Office HP C1030 Chromebook Alder Lake and The End Of Linux Laptop October 2021 Cycle Laptops Parties A
@syamino はてなダイアリー
ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では，データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置
基本読書
2024-04-18 物理学・生物学的に考えた時、地球外生命体はどのような機能を持っているのか──『まじめにエイリアンの姿を想像してみた』 SF 科学ノンフィクション まじめにエイリアンの姿を想像してみた作者:アリク カーシェンバウム柏書房Amazonこの『まじめにエイリアンの姿を想像してみた』は、書名だけみると小学生ぐらいの夏休みの自由研究みたいだが、実際は動物学者の著者が、生物学、物理学など科学の知識を総動… 2024-04-12 なぜ言論の自由は前進と後退を繰り返すのか──『ソクラテスからSNS: 「言論の自由」全史』 献本御礼 歴史 オススメ！ ソクラテスからＳＮＳ 「言論の自由」全史作者:ヤコブ ムシャンガマ早川書房Amazonこの『ソクラテスからSNS』は、紀元前の古代アテナイの時代からはじまって、インターネット時代である21世紀の現代に至るまで、世界中の「言論の自由」をめぐる
ホライゾーン - SSまとめサイト
島原エレナ「小さい秋、小さい秋、小さい秋、見つけた〜♪」 真壁瑞希「おはようございます島原さん。ご機嫌ですね」 エレナ「あ、ミズキ！ ミズキはこの歌知ってる？」 瑞希「はい。小学校の音楽の授業で合唱したことがあります」 エレナ「じゃあ、小さい秋って何かわかる？ ワタシも見つけたいんだケド、どれが小さい秋なのかわからないんだヨ……」 瑞希「ふむ、小さい秋ですか……」
なぜ今、ブログなのか - jkondoの日記
はてなブログを11月7日にベータリリースしました。 リリース以降、予想を上回る勢いでベータ版の利用申し込みを頂いており、上限を拡げるたびに、すぐに人数が上限に達する状態が続いています。 先日の500人追加応募の際は、募集開始1分で160人の応募がありました。驚くべき勢いです。 日本のブログブームが本格的に始まったのは、はてなダイアリーをリリースした2003年から。まさにはてなダイアリーが日本のブログブームのきっかけでした。 それから8年後の今、なぜ改めて今、ブログなのでしょうか。 つぶやくだけが、文章じゃない ブログには当初、「自己表現ツール」と「コミュニケーションツール」の2つの要素が含まれていました。 文章や写真を使って表現をする仕組みに加えて、コメントやトラックバック、リンク元表示などでお互いにコミュニケーションをする仕組みを内包していました。 ブログが出始めた当時、自由にテキストを
Emacs ひきこもり生活
どの本を読むか まずは、読みたい本を決めることから始めるしかない。本の紹介リストとかAmazonのおすすめとかKindleの0円リストとかTwitterに流れてるとかを興味あったらとりあえずブクログの読みたい本リストに入れている。 本の紹介リストはSFだったら http://love6.2ch.net/test/read.cgi/sf/1251044312/ とか。まあいろんなところに様々なジャンルのおすすめがあるし、そこを全て読んで好きな読者など探索すればよい。 あとは図書館とか部室とかの本棚のてきとーな棚の左上から読んでいくという方法もある。一通り読めるので大変べんりである。 本を手にいれる 本を手元に置くには2種類方法がある。買うか借りるか。4000冊も買っていては破産してしまうので借りるしかない。図書館の蔵書を調べるにはカーリルが大変べんりだ。本のリストが少ないうちは、ここに読みた
FreeBSDいちゃらぶ日記
10/24（金）に、FreeBSDワークショップというものが開かれました。開催場所は、例によって飯田橋に移動してしまったIIJ本社です。主宰はAsiaBSDConなどを運営されている佐藤先生。元東京理科大、現東工大の先生。 話自体非常に分かりやすく、時折さらりブラックジョークを入れて笑いを取ってきたりもするので、聞いていてとても楽しい。流石佐藤先生。惚れる。 Googlemapで IIJ を検索した結果、変な声出た ＞ 閉業！＜ pic.twitter.com/4EbMuUBbG9— えむば姫 (@m_bird) 2014, 10月 24 本エントリでは、FreeBSDワークショップの概要と、その中の空気（なぜか読めない）を簡単に意訳してご紹介したいと思います。なお、何か間違っていたら、ご指摘お願いいたします（凄い勢いで意訳している）。 続きを読む おはようごJail! 2年ぶりくらいには
いろいろクドい話 (旧：帰ってきた真実日記)
正月特番 付録 （1949年の先制核攻撃） 1949年9月、高高度偵察機が収集した大気サンプルの分析で ごく近い過去にアジア大陸で核爆発があったことが確認されます。 これがソ連の核兵器開発成功をアメリカが察知した瞬間です。 ここのあたりは市販の本にもちゃんと書いて […] 1月 5, 2013 · ＢＵＮ · 2 Comments Posted in: アメリカ空軍, 冷戦, 核戦争 正月特番 「原爆機の邀撃はこんなに大変」 ２ 昔の夜間戦闘機と同じような戦い方をする、F94A/BとF89のD以前を全天候戦闘機の最初の世代とすると、地上レーダーと連携してロケットを撃つようになるのが第二世代と言えます。レーダーとFCSと機体設計を一新した新世代はY […] 12月 31, 2012 · ＢＵＮ · 2 Comments Posted in: アメリカ空軍, 冷戦, 核戦争 正月特番 「原爆機
moroの日記
もうすっかり普段書くテキストが Markdown ばかりになってしまったので、この機にはてなブログに移行します。 こちらに、入社エントリを書きました。 http://moro.hatenablog.com/entries/2015/08/03 「この機に」といいながら実は3年前にドメインスクワッティングだけしていたのをさっき思い出したのですが。締まらない。。。 とはいえ、今後ともよろしくお願いします!! 本日2015年7月31日をもって、9 年間勤めました株式会社永和システムマネジメントを退職します。 在職中は多くの方々に助けられ、Rails を中心としたたくさんの仕事をしながら育てていただきました。個別のご挨拶ができなくて大変申し訳ありませんが、本当にありがとうございました。これからもどうぞよろしくお願いします。 今後ですが、すぐ他社で働くことが決まっておりまして、8 月 3 日から出社
insomnia
さとう好明の『アネクドートに学ぶ実践ロシア語会話』は，ロシアン・ジョークを楽しみながらロシア語会話を学ぶことができる学習書である。さとうには申し訳ないが，私はジョーク本として楽しませてもらった。 著者は，長らく商社に勤務し，その現場の経験を踏まえた，活きたロシア語を教えてくれる。通常大学の先生によって書かれるこの種の本にない，現場指向の解説が出色である。トピックにふさわしいジョークだけでなく，ロシア人の生活を交え，ロシア語会話文を肉づけている。例えば，日本人は自分の名前を相手に伝えるとき，「三好と言います，ミは数字の三，ヨシは大好きの好です」などと漢字をインプットして名前を伝えようとするように，ロシア人も人名や地名が聞き取りにくいとき，「ソ連電話託送表」という一定の符牒を用いるそうである。それはロシア人なら聞き間違いようのない人名でアルファベットを明確化する習慣である。「Сато [サトー
komasafarina’s blog
Words & Music by The Clash. （1981年発表） *1 （原題直訳 「ラジオ・クラッシュ」） 歌詞は、次のＵＲＬから、 http://www.elyrics.net/read/c/clash-lyrics/radio-clash-lyrics.html From The Clash compilation album, "Super Black Market Clash". *2 推奨アルバム度 ☆☆☆ アルバム「スーパー・ブラック・マーケット・クラッシュ」（クラッシュ）より 名曲度 ☆☆ 邦題 「レディオ・クラッシュ」（クラッシュ） This is Radio Clash こちら、ラジオ・クラッシュ Stealing all transmissions すべての送信を掠めとる Beaming from the mountaintop 山頂からビームを発して Us
miura1729の日記
少し忙しいのですが、なんとなく全くコンピュータのことを知らない人にTracing JITを説明する文章が書きたくなったので、書いてみます。うまくいくかなー 私はTracing JITコンパイラを書いているわけですが、インターネット上ではなくリアルで会う人にJITコンパイラと言ってもほとんどの場合、通じません(通じる人もいる)。世の中そんなものだと思ったのですが、JITコンパイラとうっかり発したとしても、その後話が続くとどんなに素晴らしいことでしょう。 コンピュータとは? 世の中にはコンピュータというものがあって、広く使われています。これを読んでいる人は携帯電話を使っている、もしかしたらスマートホンを使っている人がいるかもしれませんが(私はスマートホンを使っていませんが)、これはコンピュータの応用品というかほとんどコンピュータです。 コンピュータは日本語で電子計算機と訳されることからわかると
ftp-adminの憂鬱
最初に、5月12～13日の計画停電によるシステム停止で、ご迷惑をおかけしたことをおわびします。 このタイミングでftp.jaist.ac.jpのハードウェアのリプレースを行いました。新しいサーバーはAMD EPYC 7551Pを一つ搭載したDell PowerEdge R7415です。従来はSupermicro 2024GにOpteron 6344を4つ搭載して48コアでしたが、今回はシングルソケットで32コアとなります。 従来からJAISTは、Dellから機材の提供を受けて評価することを継続的に行っていました。今回EPYCを試したい旨打診したところ、DellがEPYCを推していることもあり、機材を提供していただけることになりました。 シングルソケットなのは、Dellが推しているのがこの構成であることと、Solaris 11 for x86のライセンス費がソケット単位なので、ライセンス費が
無免許タクシー
黙っておこうと思ってたんだけど、オノデラ(id:cattyman)のスットコドッコイがうっかりゲロったのでおれも貰いゲロしておきます。 ◆文学フリマ http://bunfree.net/ 開催日：2012年11月18日(日) 開催時間：11:00〜17:00 会場：東京流通センター 第二展示場(E・Fホール) アクセス：東京モノレール「流通センター駅」徒歩1分 ※詳細は会場アクセスをご覧下さい 電車でお越しの方 http://www.trc-inc.co.jp/access/traffic/train.html 自動車でお越しの方 http://www.trc-inc.co.jp/access/traffic/car.html サークル名：消費社 http://tlw.g.hatena.ne.jp/ 誌名：The Last Wannabies ※ブースはFホール2階の「オ-41」です。
佐藤一郎: Web日記 (2009年) 2009年11月13日
ご訪問いただいたお客様へのお知らせ Information for customers visiting this Web site from SpinNet アクセスいただいたWebサービスは提供を終了いたしました。 長年にわたり、多くの皆様にご利用いただきましたことを心よりお礼申し上げます。 SpinNetトップページへ The Web service you are trying to access has been terminated. We would like to thank all of you for your patronage over the years. Go to the SpinNet
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Home | Gregg Kellogg
Something worthless to be written formally
RSS全文配信してると記事を丸々転載されてしまうので、WPプラグインを使って逆に転載サイトを利用してみる
『404 Error - FC2ブログ』へのコメント
檸檬通り