「私は数学者なんかをして人類にどういう利益があるのだと問う人に対しては、スミレはただスミレのように咲けばよいのであって、そのことが春の野にどのような影響があろうとなかろうと、スミレのあずかり知らないことだと答えて来た。」 岡潔『春宵十話』
「私は数学者なんかをして人類にどういう利益があるのだと問う人に対しては、スミレはただスミレのように咲けばよいのであって、そのことが春の野にどのような影響があろうとなかろうと、スミレのあずかり知らないことだと答えて来た。」 岡潔『春宵十話』
月曜日。今日は仕事でとても煮え切らない、腹立たしいとも悲しいとも違う、形容しがたい虚無感を覚える出来事があった。言葉で表現することがはばかられるような出来事だ。婉曲的に、平たくいえば、多忙な働き方を強いられることで健康を損なう人がたくさん出たことの帰結のようなことが起こった。 そこで最終的に共有されたのは、「みなさんも抱えこまないように気をつけましょう」という耳触りのいい忠告だった。 セルフケアは大切だと思うし、方法はどうであれ自分の機嫌を自分でとっていけたらいいなと感じるけれど、セルフケアを持てはやしすぎると「社会に不満を持ってしまうのは自分のセルフケアが足りないからだ」的な話になりかねないから少し警戒している— 八月 (@koseee_) 2023年2月12日 ちょうど昨日から「セルフケア」の話を考えていたせいか、今日はいろいろな出来事にさらされて情緒がめちゃくちゃになり疲れた。 セル
話題仕事術 人生経験も豊富で、仕事における知識もある「おっさん」。しかし一部のおっさんは、なぜか若い世代に嫌われ、煙たがられる傾向にあります。人気サービス「おっさんレンタル」を運営し、自身も「おっさん」として活躍する西本貴信さんに、「嫌われないおっさん」になるための心構えを聞きました。 年間の依頼は約1,000件!7割は「相談系」の依頼 ――まず、「おっさんレンタル」に登録しているおっさんはどれくらいいるんですか? 全国各地に70人くらいですね。現役の大学教授から、メガバンクに勤めていたおっさん、IT企業の経営者までさまざまですよ。基本的には1年契約で、クレームを3回受けるとクビになる、というルールで運営しています。 現在は毎月数十人程度のおっさんが応募してきます。「志望理由に下心がないか」「身なりが不潔ではないか」といった項目を面接でチェック。その中でも「人の役に立ちたい」という熱意のあ
こういう誰かを傷つけることを正論ぶってわざわざ人の写真つけてツイートしちゃう人大嫌い。教養ある大人ならもっと建設的な問題提起の仕方があるだろって思う。
プログラミング言語が2-圏として考えられるということについてソースから訳出した。(2023.2.22) 動機 最近、chatGPTにいろいろ尋ねるのが流行っているらしい。Haskellで有名なモナドの概念がなぜ導入されたか尋ねている人を見かけて、そういやそういう記事見たことないなと思ったので適当に調べた。 一次ソース 元ネタは以下のマイナーだと思われる文献 An abstract view of programming languages Eugenio Moggi教授のあんま読まれてない方の論文 Denotational Semantics Peter D. Mosses教授のこの論文(2部あって後半の方) 邦訳があり邦訳で読んだ。 プログラミングのモナド発見の経緯 プログラミングのモナドはなんか包んだり抜き出したり見たいな感じの概念で知られてますが、プログラミングの概念をモジュール化す
メリークリスマス この記事はFediverse (3) Advent Calendar 2020の23日目です。明日はID:weepさんの「#InstanceTicker のあれやこれ!」です。 今回16種類のWebフレームワークでActivityPub実装を行うプロジェクト「StrawberryFields」を立ち上げました。 TL;DR Mastodon上でActivityPub実装をフォロー、アンフォローできるようにする。 実装したサーバーににcurlで直接クエリをPOSTし、Mastodonアカウントをフォロー、アンフォローできるようにする。 今回は上記2点を目標とし、実装していきたいと思います。そのために必要な技術は以下のとおりです。 Webアプリケーションフレームワークを使用してサーバーからJSONのレスポンスを返す。 HTTPリクエストクライアントを使用してサーバーからJSO
This is an informal guide to help new implementers get up to speed with the ActivityPub specification (published as a W3C Recommendation) and how to build projects with ActivityPub support. Note: This is a Wiki Post that anyone can edit. Please help improve and extend this document ! Why choose ActivityPub? Why might you choose to implement ActivityPub in your project? Possible reasons include: “t
Dependent type (or dependently typed programming) languages allow to enhance the expressiveness of your code, thereby increasing the errors the compiler can catch (at compile time). This allows you to correct them and improve the chances that your program behaves as expected at runtime. It makes them particularly well suited to write smart contracts. For feedback or questions, please do not hesita
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く