Gitの中身
はじめに Gitで管理するプロジェクトには.gitというディレクトリがあり、その中にGitの管理情報が入っている。その中には、全てのコミットや、いろんなバージョンのファイル、ブランチ、タグといった情報が格納されている。Gitを操作するにあたり、この中身がどうなっているかを理解する必要はないし、もし中身を覚えたとしても、操作方法は変わらないまま、内部実装だけ変更になる可能性もある。それでも、Gitの仕組み、特に様々な情報が.gitにどのように格納されているかを知っておくのは二つの理由から有用だと考える。 一つ目の理由は、「物が動く仕組み」を知っておくことが教養だからだ。車を運転するのに、アクセルを踏めば進み、ブレーキを踏めば止まり、ハンドルを回せば曲がることを知っていれば十分だ。しかし、シリンダーにガソリンが噴射され、ピストンで圧縮したところで点火し、爆発する力でピストンが押される、という直
never型があると便利か（言語処理系実装者の観点から） | 雑記帳
TypeScriptをはじめとするいくつかのプログラミング言語には、never型という型がある。この型は典型的には「制御を返さない関数」の返り値として使われる： function f(x: string): never { console.error(x); throw new Error(); } never型は型システム的には「値を持たない型」「任意の型の部分型」として特徴づけられる。 他のプログラミング言語、例えば私が作っているLunarMLにもnever型があると便利だろうか？ 前提：部分型はゼロコストで変換できて欲しい これは私の意見だが、部分型から上位型へはゼロコストで変換できて欲しい。例えば Sub <: Super という関係があった時に、Sub 型の値をゼロコストで Super 型へ変換できて欲しいのはもちろん、関数型についても A -> Sub から A -> Supe
「言語がなかったらどうやって考えられるのか？」といった発想があるけど、言語的思考だけが思考だったり、思弁的表現だけがメッセージだったりするわけがないのではないかという話
中島 智 @nakashima001 たまに「言語がなかったらどうやって考えられるのか？」といった発想をみかけることがある。非言語芸術に携わっていると、この手の「思考」観には辟易してしまう。言語的思考だけが思考だったり、思弁的表現だけがメッセージだったりするわけがない。これだと芸術鑑賞もまた「意味解釈」になってしまう 2025-03-16 23:36:52 中島 智 @nakashima001 澱み澱み話している人に感じることは、長年学生のレポートを読んできて「書き損ね」とか「語り損ない」に感じることに似たクオリアがある。そこには相対化できない固有体験があったり、非言語的思考の言語への翻訳不可能性があったりもする。このリアルが感受できないとたんなる稚拙さと誤解してしまう 2025-03-16 23:39:26 中島 智 @nakashima001 澱みなく語れるとすれば、言語的なリアル（即
時間の止まった死体を幻視する、時間SF✗ミステリのすべての要素が噛み合った良作──『パラドクス・ホテル』 - 基本読書
パラドクス・ホテル (創元SF文庫) 作者:ロブ・ハート東京創元社Amazonこの『パラドクス・ホテル』は、米国の作家ロブ・ハートによる時間ＳＦミステリ長篇だ。物語の舞台になっているのは過去へのタイムトラベル技術が実用化された未来で、「時間離脱症(アンスタック)」と呼ばれる厄介な病にかかってしまった主人公ジャニュアリーと、タイムトラベル用の港に併設されたホテルで起こった世界を揺るがす大事件(とそこで起こった殺人事件)を追っていく構成になっている。 時間離脱症はタイムトラベラーがかかる病で、初期症状としては現在ではない過去や未来の情景が視界に映り込み、最終的には心が量子状態に陥り、負荷に耐えきれなくなって死に至るとされている。主人公のジャニュアリーはこの時間離脱症の初期症状がでているせいか、勤務先のホテルで「彼女以外見ることのできない、時間の止まった死体」を幻視してしまい──と、時間SFと殺
川崎には、超カッコいい90sビルがある ～バブルの都市計画「かわさきテクノピア」～
川崎、ノーマークだった 川崎って、駅前の便利さだけでいうと、日本有数の街なんじゃないかと思う。 駅直結の巨大商業施設がいくつもあって、街歩きをしなくてもほとんどのものが揃う。 2006年、東芝の跡地にできた駅直結の巨大ショッピングモール「ラゾーナ川崎プラザ」 例として、駅前だけでユニクロは３店舗、無印良品も３店舗、ABCマートは５店舗もあるくらいだ。 筆者は神奈川出身なので、何度も川崎駅で降りたことはあるのだけど、駅前を離れず買い物だけして満足してしまっていた。 それが今思うと悔しいのだ。 こんな素敵な90sビルがあったとは！ 多摩川を渡り、JRで川崎駅に入っていく途中、超高層ビル群が見える。どこもかしこも高いビルだらけの今となっては、そんなに目立つわけでもない。 だが、そのうちの一つが不思議な形をしているように見える。 なんだか90年代初頭っぽさを感じるのだ。 80年代～90年代のビルや
素数の逆数和が発散することの証明 | 高校数学の美しい物語
素数の逆数和が発散することの証明には以下を前提知識として使います。 1：limn→∞∑k=1n1k=∞\displaystyle\lim_{n\to\infty}\sum_{k=1}^n\dfrac{1}{k}=\inftyn→∞limk=1∑nk1=∞ つまり，調和級数 1+12+13+⋯1+\dfrac{1}{2}+\dfrac{1}{3}+\cdots1+21+31+⋯ は発散する。 →調和級数1+1/2+1/3…が発散することの証明 2：x>0x > 0x>0 において log(1+x)<x\log (1+x) <xlog(1+x)<x 微分すれば簡単に証明できます。図形的には y=log(1+x)y=\log (1+x)y=log(1+x) の x=0x=0x=0 における接線が y=xy=xy=x であることから従います。 また，和の記号 ∑\displayst
Deepseekでも使われてる技術「蒸留」ってなに？ - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? AI論文を手軽にキャッチアップできるpodcastのニュースレターを試験的に配信しています。 こんな感じのpodcastでスキマ時間に聞くだけで論文の概要をキャッチアップできます！ サンプル: https://open.spotify.com/episode/6OoOKIRmRAOrzk81cHp9hJ?si=V-xY1lp5SqavsXjSaK5jeg 元論文 この記事を読んで興味ある方はこちらのフォームから登録してみてください。 登録はこちらから → https://forms.gle/KbcYAz2AmDeKrGYT7 「蒸留」っ
どうすると生き残れないのか/how-not-to-survive
きのこカンファレンス2025 アンカンファレンスの登壇資料とアンカンファレンスで得られた内容の結果です。
120年謎の難問パズル解明 「悪魔の証明」に日米の数学者が挑んだ：朝日新聞
120年以上謎だった難解パズルを解明したと、日米の数学者3人が10日、発表した。「悪魔の証明」とも言われる「ないことの証明」に成功しており、計算機で解くことが困難な図形パズルに新たな解法が得られる可…
スマホ片手にフリースタイルでAI Agentでコーディングする環境をつくる。
オチ code-serverをいれる claude codeをいれる 様子 あらすじ 我々はスマホでごろ寝コーディングがしたい(主語がでかい)。 しかしながらスマホでコードをポチポチするのは苦行であり、もっと楽にやりたい、なんなら音声入力でどうにかしたい。 となると、昨今はやりのAI Agentをつかったコーディングが選択肢にあがる。 すでにDevinやReplit がそういった体験を提供しているが、どちらも結構お高いし、「本当に俺はスマホでそんなにソースコード書くのか？」とか、「金はともかく、GitHubやSlackと連携させるのか？(Devin)」とか、「コードが読みにくい(Replit)」とか「PHPを書けない…だと…？(Replit)」という様々な問題があって自分には微妙だった。 そこで私が試したのがcode-serverとclaude codeだった 概要 code-server
男尊女卑やゆ「さす九」SNSで拡散 性別による無意識の思い込み調査、九州の傾向は | 西日本新聞me
ジェンダーその先へ いつまでたってもジェンダー平等〝後進国〟の日本。一人一人が性別にとらわれず、自分らしく生きられる社会に向けて、今こそ一歩前に―。
MCPで広がるLLM 〜Clineでの動作原理〜
この記事『Clineに全部賭ける前に 〜Clineの動作原理を深掘り〜』では、Clineの内部構造について解説しました。今回は、その中でも最近、特に注目されている機能の一つ、MCPについての概要、ならびにCline内部での実装方法について詳しく掘り下げていきます。 そもそもMCPとは MCP（Model Context Protocol）はClineやCursorなどといった、LLMを使用しているクライアントがMCPサーバーと連携するためのプロトコルです。広義的に、MCPとはそのプロトコルを使用したサービスのことを指します。 MCPサーバーとはクラウド上のサービスやローカルで立ち上げているサーバーなどのことです。LLMがこのサーバーと連携することで、Notionのファイル編集やSupabaseのデータベースクエリ、Cloudflareのステータスチェック、ローカルのファイル編集などが可能に
AIコーディング時代の開発環境構築：VS Code × Cline（Roo Code）で爆速開発！
AIコーディング時代の到来 AIを使ったコーディングが話題になっていますね。私も個人のプロジェクトやデモで実験的に使っていますが、ちょっとしたアプリやツールなら、それこそ人間には不可能な速度で爆速で開発することができるようになり、その体験に驚き興奮しています。一方で「そんなに便利に思えない」とか「Cline(Roo Code)、Cursor、Windsurf、GitHub Copilot等たくさんAIによるコーディングサポートツールが出てきていて、どれを使えばよいのか分からない」という理由で、なかなか利用に踏み出せない人も多いのではないでしょうか？ 私が、ツールをいくつか試してみて感じたのは、それぞれのツールごとの使い勝手の違い、メリット・デメリットはありますが、開発の方向性としては共通していることです。それは、多くのツールがAIがCopilot（副操縦士）からPilot（操縦士）として振
「夢見てた楽園が、だんだん牢獄に見えてくるんだよ」セカンドライフを満喫するためタイのパタヤに来た欧米人『ファラン』たちの話
🇹🇭 もっさん @extreem_mossann お前さん。パタヤって知ってるかい？タイの南国の楽園だよ。ビーチがあって、酒があって、夜の女がいての歓楽街だ。そこに集まるのが、「ファラン」、欧米の白人連中だ。特に男どもが多いんだが、どうにもこうにも、自殺する奴が後を絶たねえって話だ。なんでだと思う？ちょっと耳を貸してみな。↓ 2025-03-04 18:50:01 🇹🇭 もっさん @extreem_mossann まずな、パタヤってのはヤツらには夢の国なんだよ。ヨーロッパやアメリカでブルシットな仕事して、寒い冬に震えてたジジイどもが「もういい加減、南国で楽に暮らそうぜ」とばかりにやってくる。家売って、年金握り締めて、ビザ取って、コンドミニアム借りて、若い女とイチャついてさ。最初は天国だよ。 2025-03-04 18:51:09 🇹🇭 もっさん @extreem_mossann
“恋人が太ったら別れる派”を見かける度に相手がどんな姿になっても愛する方が本質的な愛なのでは？と思ってたんたけど、先日説明されて腑に落ちた→人と生きるって面白い
nono @_______nono00 “恋人が太ったら別れる派”を見かける度に相手がどんな姿になっても愛する方が本質的な愛なのでは？と思ってたんたけど、先日その派閥の人と話してたら｢相手に魅力的だと思われるために努力し続けることが私にとっては愛情表現なんだ｣と教えて貰ってかなり腑に落ちた。人と生きるって面白い。 2025-03-03 18:50:08 nono @_______nono00 また以前恋人に｢これって私があなたに対して“あなたが勃起不全になったら別れる”って言ってるのに近い感覚なんだけど、それ言われたら嫌じゃない？｣って伝えた時にあんまり共感を得られなかった理由が分かって結構納得した。私はその例え話ですら聞かせることに躊躇したのに、つくづく違う人間だなと 2025-03-03 23:43:04
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「ついに見つかってしまったか...北海道の最終兵器が...」NHK札幌放送局の謎の可愛いキャスター、愛嬌があって食レポもすごく美味しそうにやってくれる
中学の時、3ヶ月で退部するため「サボりやすい」と噂の陸上部に入ったら貫禄がエグい先輩と砲丸投げをやることになった話
「本が高い。不当な値段ではないけど読書が自分の生活水準に見合わない趣味になったら辛い」値段に驚いて買い控えしてしまうという声
オレを救った Cline を紹介する
chromeのはてなブックマークが突然使えなくなった方へ - orangestar2
