増田を書く人を「増師」、ブコメを書く人を「ブ師」と呼ぶとカッコよくない？絵師、みたいな感じでさ、良さげじゃん そうしよう、いまから
え？まだgit checkoutしてるの？
公式ドキュメントには以下のように書かれています。 THIS COMMAND IS EXPERIMENTAL. THE BEHAVIOR MAY CHANGE. 和訳：このコマンドは実験的です。動作が変更される可能性があります。 この記事の内容と違う場合があるので、ご注意ください。 この記事は2024年2月28日時点の情報です。 え？まだgit checkoutしてるの？ git checkoutといえば、ブランチを切り替えたり、git addしたファイルを元に戻したりするコマンドですが、それはもう古いです。 実は2019年8月リリースのgit 2.23からgit switchとgit restoreが追加されました。 知らなかった人も多いのではないでしょうか？(恥ずかしながら私は知らなかった...) 「先輩、checkoutってなんすか？」と後輩に聞かれる前に、この記事を読んでgit sw
数学は哲学？ - Sokratesさんの備忘録ないし雑記帳
「大学で数学は哲学になる」と主張する人がいる*1．特におもしろくもないし，適切な比喩とも思えないんだが，一部の頭がフワフワしている層や視野の狭い人々，数学を神聖なものに祭りあげたい何とかコミュニケーターなどには受けるらしく，ごくまれに信じている人がいる*2． ただ，実際問題，違いを説明しろと言われるとワリと困る．「リンゴとゾウの違いは何ですか」と聞かれているようなものなので，当然なのだが，「いや，見た目も大きさも全然違うじゃん」と言いたくなる．問題は「リンゴとゾウ」なら一目瞭然なのだが，「学問」は目に見えないので，どちらもわかっていない人には誰かが説明しないと違いがはっきりわからない点にある*3．「リンゴの触り心地はツルツルだし，ゾウも（牙が）ツルツルだから，きっと似たようなものだろう」と言う盲人のようなものである*4． この記事の目的は「数学と哲学の違い」という直観的には明らかだが，ちゃ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
