もちむら萬寿 @mochimochimanju タイ料理の出前を取ることになって、なんか気になって「豚肉と野菜炒め」っていうやる気のない名前の料理オーダーしたんだけどカリカリに揚げられた皮付き豚肉と謎青菜がスパイシーに炒められていてめちゃくちゃうまい。この肉「ムーグローブ」っていうらしい。も、もっと食べたい
immersive linear algebra by J. Ström, K. Åström, and T. Akenine-Möller v1.1. ISBN: 978-91-637-9354-7 The world's first linear algebra book with fully interactive figures. Learn More Check us out on Twitter and Facebook Preface A few words about this book. Chapter 1: Introduction How to navigate, notation, and a recap of some math that we think you already know. Chapter 2: Vectors The concept of a
マンションで暮らしていると自宅から粗大ゴミ置き場まで若干の距離があったりします。手で持てるサイズ・重量の粗大ゴミなら手で運べばよいし、それよりも一回り大きいくらいのものならマンション共用設備から台車を借りられる場合があります。 今回、キッチンで 10 年以上利用していた木製の棚 (炊飯器や電子レンジがおける H100 x W70 x D50 (cm) くらいの棚) を捨てることになったのですが、これくらいのサイズだと借りられる台車には乗りません。住んでいるマンションはいわゆる大規模マンションで、部屋から粗大ゴミ置き場まで 150m 以上離れており、複数人でも手持ちで運ぶのはかなり大変です。 引越し業者が使うような大きめの台車があれば良いのでしょうが、あいにく用意することは出来ませんでした。粗大ゴミを捨てる機会は頻繁にあるわけでもないので、新規に大きな台車を購入するは避けたいところです。 そ
Unix 哲学的に考えれば、行を並び替える sort コマンドと重複行を取り除く uniq コマンドは別のコマンドであるべきなように思えます。しかし sort コマンドには -u オプションとして uniq コマンドに相当する機能が組み込まれています。なぜそうなっている(そうなってしまった)のかを「ソフトウェア作法(さくほう)」を参照しながらこの記事で明らかにしたいと思います。 関連記事 Unix哲学「一つのことをうまくやる」は単機能のコマンドを作ることではない 「誰」がuniq機能をsortコマンドに組み込んだ!? 熱烈的な Unix 哲学の信者は「どうせ Unix 哲学を理解しない GNU が便利だと思ってオプションを追加したのだろう」と考えるかもしれません。しかし uniq 機能が組み込まれたのは Version 7 Unix、つまり Unix の開発者が組み込んだのです。これは 1
Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during the compilation process.
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人(具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである)はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう? この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
アジもりだくさんの、魚問屋食堂さかなやくろへ 喫茶フレンドで電車を待ちながら 館山は小さなリゾートだった 海の街であるならば、寿司をたべよう 館山式モーニング、チキンバスケットセット 旅立ちのびわゼリー 内房の街をひたすら歩く 海水浴場の喫茶店 黄金アジフライという、天衣無縫の食べ物 突然、アジフライが食べたいなと思った。しかも、そのへんのアジフライということではなく、とびきりおいしいやつがいいなあと思った。そういうことが時々ある。揚げ物の引力だ。 それは、木曜日のことで、来る週末には何も予定がなかった。しかも月曜は有休である。しめしめと、僕はグーグルマップを開き、いいアジフライを食べられそうな場所を検討することにした。やはり海沿いがいいよな。茨城と神奈川はこの間行ったしなあ。ぱっと行けて海があるところということで、自然と目的地は千葉となった。外房はやや遠いということで、内房へとりあえず向
id:rummelonpです。 夏の訪れを感じたのでコーラを煮ます。 材料 水400ml 砂糖400g 上白糖を使うと白色のコーラになってアッサリめになる 三温糖を使うと茶色のコーラになってコッテリめになる カルダモン(ホール)15個〜20個 ハサミで半分に切って種ごと入れる カルディで売っているカルダモンが一袋大体15個〜20個入ってるので一袋全部入れる クローブ(ホール)15個〜40個 カルダモンと同じ個数から2倍くらいの個数を入れると良いらしい クローブを入れすぎると独特の渋みが強くなるので気持ち少なめくらいが好み シナモンスティック3〜4本 半分に割って入れる レモン2個 1個は輪切りにして入れる、もう1個はレモン汁を絞った後適当に切って入れる、レモン汁は煮冷ました後に入れるため取っておく 面倒なら全て輪切りにして入れても良い バニラエッセンス バニラビーンズが高いため代用 多分な
The economic advantages of portability are very great. In many segments of the computer industry, the dominant cost is development and maintenance of software. Dennis Ritchie and Stephen Johnson 1978 … many insist that C is the programming language and that it will last forever. Byte Magazine 1983 The August 1983 issue of Byte Magazine devoted its cover, and a large part of its editorial content,
「なんとなく言語 (学) に興味がある人のためのブックガイド」をつくりました。 「なんとなく言語 (学) に興味があるのでもうちょっと読んでみたい」 「言語学にどんな分野があるのか知りたい」 「専門的に勉強したいというほどではないのだけれど、もうちょっと何か読んでみたい」 という人のために、言語 (学) についての入門的な本を紹介します。 これらの本を読んで言語 (学) っておもしろいなと思ったら、ぜひ大学などで言語学の授業を受けたり、専門的な入門書を読んだりしてください。 あるいは、以下の記事を参考に自分で言語学を勉強してみるとよいでしょう。 あくまで、なんとなく言語 (学) に興味がある人のためなので、注意点がいくつかあります。 網羅的なリストではありません。まだまだ編集中です。おもしろかった本があったら教えてください。 基本的に和書で、一般向けの本を紹介しています。 出版年順に並べて
その他のサンプル: Wikipedia:良質な記事, Wikipedia:長いページ 紹介 「テキストゆれないくん」は文章に含まれる表記揺れを検出するツールです。「コンピュータ」と「コンピューター」、あるいは「全て」と「すべて」といった同じ単語の別表記が使われていないかどうかをチェックできます。 「テキストゆれないくん」は元々このサイト (https://inzkyk.xyz/) の文章校正用に開発されました。機能が成熟してきたので UI を付けて公開します。 このページから手動で使う限り、「テキストゆれないくん」は商用/非商用を問わず自由に使って構いません。「テキストゆれないくん」は無保証で提供されます。 特徴 ウェブブラウザから使える このページをウェブブラウザで開いているなら、「テキストゆれないくん」は既に動いています。このページの最初にあるのは「テキストゆれないくん」を使うための完
通常、会社員は自ら確定申告をする必要がないため、所得控除などの節税方法をあまり知らない方もいるでしょう。前回記事では、確定申告でしか処理できない「3つの物的控除」を紹介しました。今回も引き続き、稲垣啓氏の著書『イラストでサクッとわかる 日本一たのしい税金の授業』(日本実業出版社)より一部を抜粋し、会社員が使える所得控除について紹介します。 「会社員の必要経費」が認められるようになったワケ 法学部で勉強されたことのある方なら、一度は聞かれたであろう「サラリーマン税金訴訟」もしくは「大島訴訟」を紹介しておきましょう。 【事件の概要】 サラリーマンがもらう給与・賞与は「給与所得」(所法28①、所令64、65)に分類されるのに対し、個人事業主などが得る収入は「事業所得」(所法27①、所令63)になります。 事業所得者の必要経費は、実際に払ったものであれば、この金額を控除できます(所法27②)が、必
ddc.vim の開発が一通り終了し、ようやく ddu.vim (dark deno-powered ui framework)の開発にとりかかることができました。 ここにきて一通りの機能がそろいましたので、広くユーザーに使ってもらうフェーズに進めたいと考えています。 ddc.vim のときと同様に、ユーザーからの要望やバグ報告に対応が終わってから正式版の 1.0 をリリースしようと考えています。 私が以前に作成したファジーファインダープラグインである denite.nvim は既に開発を終了しました。 私自身は既に denite.nvim から ddu.vim に移行しています。ddu.vim に denite.nvim の一部機能はまだ実装されていませんが、自分が使うぶんには十分です。 ファジーファインダーフレームワーク開発の歴史 私はこれまでいくつかのファジーファインダーを開発してき
Web上にあるほとんどのHaskellチュートリアルは言語についてのマニュアルのような教え方をしようとしているようです。それらには言語の文法、概念が少し載っていて、読者に対話環境でいくつかの簡単な関数を作るように指示します。よく機能する有用なプログラムの書き方は大抵最後にまわされるか、そもそも省かれていたりします。 このチュートリアルは違う方針を取ります。コマンドライン引数解析から始めて、完全に機能するR5RS Schemeのかなり大きなサブセットの実装まで進みます。道すがら、Haskellの持つI/O、mutable state、dynamic typing、エラー処理、そして構文解析機能を学びます。このチュートリアルを終える頃には、あなたはHaskellとScheme両方がかなり良くわかるようになっているはずです。 このチュートリアルの対象読者は主に以下の2種類です。 LispかSch
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く