タスク・知識管理OS v15に至るまでの記録 - 祈りと身体と自由意志
有限の時間や気力を有意義に使うのは極めて難しい。 また、個人が蓄積した知識を管理するのもかなり難しい。 学部生活が終わりに近づき、院生活が見えてきた頃、タスク・知識管理をするモチベーションには以下のようなものがあった。 鬱を罹患して使える気力が少ないため、気力を有意義に使いたい。 会社に勤めながら研究をすることになるため、どちらにおいても使える時間が少なく、時間を適切に使いたい。 自分の記憶だけで予定管理をするとダブルブッキングが遅延が多発する。 自分の記憶だけで知識を持つようにすると知識の蓄積の効率が悪い。 鬱を罹患していたり、社会人学生をしているのは比較的特殊な事情だが、「やりたいことに対して気力も時間もまるで足りない」という状況はかなり普遍的だと思う。 このブログでは、M1からD2現在までの4年半をかけてどんな「タスク・知識管理OS v15」を構築したか、どのように段階を踏んでそれを
商業品質の日本語 - golden-luckyの日記
編集者は「日本語を直す」機会が多い仕事である。 しかし文章というものは内容、つまり「何を言いたいか」だけで成立するものではないので、表現、つまり「どう言いたいか」も尊重する必要がある。 やみくもに内容が正しい別の表現で書き換えていいわけではない。 それでもわれわれは日本語を直す。 そして「直す」と言うからには、そこに何かしら解消が必要な課題を見ている。 編集者は、原稿のどのような状態を「課題」として認識するのだろうか。 人によって違いはあるだろうけど、ぼくの方針は「下記のような印象を想定読者にもたらしうる部分が原稿に残らないことを目指す」だと言える。 この書き方だと読み手に不要な時間を割かせてしまいそうだなあ この書き方だと読み手が挫折しそうだなあ この書き方だと勘違いされそうだなあ 上記のような印象を読み手が抱かないようにするために何をするかというと、文意を保存した変換を作成する。 文体
ジョセフ・ヒース「反自由主義的リベラリズム」（2024年7月30日）
近年の政治環境で最も奇妙な点の１つは、はっきりとリベラルの伝統に基づいた価値観を奉じながら、そうした価値観を促進するために、明らかに反自由主義的と言いたくなるような戦略をとる人が非常に多いことだ。ソーシャル・メディアからファシストを追放したがっている「反自由主義的な進歩派の若者（YIP：young, illiberal progressives）」が、現代の共和党員のほとんどを「文字通りの意味でのファシスト」と見なしているという話は今やおなじみである。 こうした若い活動家が、自身の表明している価値観と自身のとる政治手法との間にある明白な矛盾に無頓着なことに、関わった人なら誰でも気づくだろう。傷つけられやすい多様なマイノリティを守るという大義を掲げながら、自分たちに同意しない人をキャンセルしたり罰そうとしたりするイジメのような戦術を用いることには驚くほど躊躇がない。戦術的なレベルに絞って考え
オーバーエンジニアリングしないために心がけていること - $shibayu36->blog;
オーバーエンジニアリングしてしまうという悩みがあって困っている、そのうち必要になるのではないかという気持ちになって無駄に抽象化して頑健にしてしまう。じゃあ素朴にやればいいのかというと、例えばDBスキーマみたいな要素は素朴になってはならないという難しさもある— Windymelt💀(めるくん)🚀❤️🔥 (@windymelt) 2024年9月12日 上のツイートを見かけたので、自分は何を心がけているか書いてみる。 結論 プロダクト方針的に起こりそうな未来を想像する 想像した未来が起こったとして、どのような実装になりうるかをざっくり考える その上で、その未来が起こったときに「詰む」ことがなさそうな一番シンプルな設計にする 前提: あらゆる未来の変更に強い抽象化はない 設計を考えていて複数案を出すと、結局トレードオフが存在することがわかる。案Aを選択すると、こっちの未来には対応しやすいが
人生3回目のCSVエディタを作っている話
私は今、人生で3回目のCSVエディタを作っています。もはや狂気です。 なぜ作り始め、なぜ今また作り直しているかみたいな話を書きたいと思います。 About Me 株式会社ヘンリーでソフトウェアエンジニア & アーキテクト的なことをしつつ、個人開発してます。 Social accounts: kohii on GitHub @kohii00 on X 今までに作ったCSVエディタたち 初代SmoothCSV（2011年〜） 私は新卒で入った会社で公共系のシステム開発に従事しており、CSVを扱う機会が多くありました。（今は医療スタートアップにいますがこの業界もよくCSVが現れます。） 既存のCSVエディタをいろいろ試してみたのですが、どれも求めるものと違うと感じ自分で作るしかないと思い、作りました。 SmoothCSV。時代を感じるUI Java / Swingで作成 (当時Javaくらいしか
抽象度の高い仕事の進め方 - Konifar's ZATSU
仕事をしていると、だんだんと抽象度の高いことを任されるようになる。 たとえば、方針も明確な小さな修正タスク => 修正方法がいくつか考えられるタスク => そもそも何をやるかから明確にしないといけないタスク といった感じで次第にふわっとした依頼になってくる。いわゆるグレード制を採用している会社において、"どれだけ抽象度の高い仕事を任せられるか" がグレードの違いの要素のひとつと言ってもいい。 抽象度の高い仕事を安心して任せられる人は何が違うのか自分もよくわからないので、自分のまわりの人がどういう動きをしているかを雑にまとめてみる。 1. なぜやるかを明確にしている わからないときはドキュメントやチャットのやりとりを探し、直接聞いたほうがよい人には自分でコミュニケーションを取っている やる理由がないと判断したら依頼者に話をして、実際にやらないこともある あとで「自分はこう言われただけなので」
万能交換チケットとしての金は大好きだけど資本としての金に魅力を感じな..
万能交換チケットとしての金は大好きだけど資本としての金に魅力を感じない。労働も当然嫌いなので金持ちになれない。 金持ちほど浪費をしないみたいな話聞くと、それもう金持ちである意味がないじゃんって思う。貧乏人は金遣いが荒いってのはともかく。 豪邸住んで好きなものに囲まれて、金で実現出来る事を沢山やれる金持ちは普通に羨ましいね〜〜って思う。ユニクロ着て特に金を注ぎ込む趣味もありませんみたいなのって、そこまで金稼がなくていいじゃんって思う。意識して稼がない道理もないけど。 浪費とか虚しいよ、とか言われても全然共感出来ない。金を好き放題使うのに飽きる体験をしてないから。ゴータマ・シッダールタが悟りを開いたのもボンボンだったからだと思ってる。 飽きすらせず最初からそう思ってる類の人間こそが金持ちの素質があるというのなら、ますます無意味な素質じゃんと思う。 いやまあ金の不安に晒されるストレスからの脱却だ
ちいかわとセックスしている夢を見た
日曜の朝のことだ。休日なのに最悪の目覚め。 しかし心当たりもあった。 前日の土曜日。予定もなく町を彷徨った末にパチンコ屋へと入ると、これが驚くほど勝った。 これほどの大勝は久しぶりで、俺は躊躇することなくトルコ風呂屋へと足を向けた。 そこは既に馴染みと言える店で、従業員が若くておっぱいの大きい子が入りましたよと勧めてきた。 俺はその子を指名することにして、待っていると来た女は若く、確かにおっぱいがデカかった。 だが少し太り過ぎているようにも見えた。 彼女に部屋までエスコートされるとまずは恒例行事のように身体を洗われる。 でかく柔らかい乳の感触を背中越しに味わうというのは、悪い気分じゃない。 そのあと本番に入ると女は五月蠅いほどにあんあん喘ぐ。 俺はげんなりしたが、口には出さずに居た。 騎乗位になると女はあっ、あっと喘ぎ、その声はちいかわに似ていた。 俺の脳裏には水曜朝の光景が浮かんだ。 そ
Scala 3のmatch typeで数独チェッカーを作った - xuwei-k's blog
なんかtweet流れてきたので TypeScriptの型がどれほど強力かというと、コードエディタ上で直接数独ができるほどの複雑な型を作成した方がいるほどです。このSudoku型を使用すると、TypeScriptの型チェッカーが間違いを正確に指摘してくれます。 pic.twitter.com/mCXXjGqK9D— Jeffry Alvarado (@jalva_dev) September 7, 2024 github.com Scala 3のmatch type自体の詳細な説明は省略しますが、compile時計算的なことができて、チューリング完全です https://tarao.hatenablog.com/entry/lambda-scala3 あくまで答えがvalidか？のcheckerだけで、プレースホルダー部分実装してない それも実装しました。下記に貼った 少なくともIntell
はてなブログの自動生成アイキャッチでおみくじをひけるようにした - k-murakami0609の日記
はてなブログの新機能が出てた。 staff.hatenablog.com htmlとcssを書けるんだから何か変なことできるでしょって思って、おみくじ以外を思いつかなかったのでとりあえずやってみることにした。 実装は chatgpt に聞いたらすぐ答えてくれた。animationで頑張れば良いらしい。 .omikuji { font-size: 36px; font-weight: bold; text-align: center; padding: 20px; color: #fff; background: linear-gradient(135deg, #ff7e5f, #feb47b); border-radius: 12px; box-shadow: 0 8px 20px rgba(0, 0, 0, 0.1); width: 300px; margin: 100px auto;
「なんでも忘却できる力」の祝福と呪縛 - 祈りと身体と自由意志
こんなツイートが話題になっていた。 https://x.com/mental_ot/status/1828547007117697487 要約すると「嫌なことを忘れるためには、思い出したことを自覚した瞬間に他のことを考えよう」というものだ。 この方法は自分の思考を常に監視する必要があるためかなり大変だが、かなり効果がある。 なぜ言い切れるのかというと、自分はとある経緯（後述）で忘却術を身につけることを余儀なくされ、最初に効果があった（そして一番効果が強い）のがこの方法であることを身をもって経験しているからだ。 しかし、忘却の力は「嫌なことを忘れる」だけからは想像もつかないほど強力であり、危険なものだ。 このブログでは、小学生の頃から15年以上「なんでも忘却できる力」とともに過ごしてきた自分の体験談を交えつつ、その祝福と呪縛について述べるものである。 そして、「本当に死ぬことを考えているが、
突如現れた「ブラジリアンミク」さんと、世界中のミクさんまとめ｜羽中
（8/26 いろいろ加筆修正しました。） （8/27 情報を頂いたのでブラジリアンミクブームの発端についてもう少し詳しい説明を書きました。） （9/2 さらにミクさんを追加。一番下にまとめてあります） ブラジリアンミク、誕生の経緯・ブラジル人のアーティストでありインフルエンサー、「Tuzera」氏が初音ミクを使用した楽曲「Himitsu da yo」を発表 「Himitsu da yo」 @tuzeraofc I’ve made brazillian funk with Hatsune Miku. Name of the song: “himitsu da yo - tuzera” #vocaloid #music #hatsunemiku #vocaloidmiku #miku #vocaloidcosplay ♬ Himitsu da yo (feat. Hatsune Miku) -
帝国議会会議録検索システムで全期間の本文テキストデータが利用できるようになりました（付・プレスリリース）｜国立国会図書館―National Diet Library
2024年8月23日 帝国議会会議録検索システムで全期間の本文テキストデータが利用できるようになりました（付・プレスリリース） 国立国会図書館は、帝国議会会議録検索システムにおいて、戦前・戦中期分（明治23（1890）年11月～昭和20（1945）年8月）の速記録の画像データ（合計約27万ページ）からOCR（光学的文字認識）処理により作成した本文テキストデータを、新たに公開しました。 これにより、既に本文テキストデータを提供している戦後期分（昭和20（1945）年9月～昭和22（1947）年3月）と合わせて、帝国議会の全期間にわたり、速記録に掲載された質疑や議案本文などの全文検索とテキスト表示ができるようになりました。 ぜひご利用ください。 なお、今回公開した戦前・戦中期分の本文テキストデータは、人手による校正を行った戦後期分と異なり、OCR処理による文字の認識間違い（誤字・脱字）や認識不
ITがつまらんとか言ってるのは老害だけ | さにあらず
最近は、ITが面白いだとかつまらんだとか言って盛り上がってるけども、面白いってのは、どういうことか、ちょっと考えてみようか。 知識と学習#一つ目は、学習するに足るだけの知識体系がそこにあるかどうか。 知らない事を知る、出来なかったことが出来るようになる快感ってのは、何度経験しても最高なんであって、一人でも多くの人にこの体験をして欲しい。素晴らしいことに、ソフトウェア技術だけに範囲を絞ってもまだ理解できてない事は大量にあるし、増え続けてる。 生成AIがアシスタントしてくれるけど、ちょいちょい嘘をついてくるってのが、また熱いよね。AIが言ってる事だけを真に受けちゃダメで自分でちゃんと試さないといけない。そして、インターネット上に無い情報について、やつらは手も足もでない。 最近は新しい技術が出てこないなんて言ってる連中もいるようだが、現実の社会課題を解決し、それを付加価値として提供できて初めて新
おお、その話ですか、キュウリのサンドイッチの話でしたら拙者にお任せく..
おお、その話ですか、キュウリのサンドイッチの話でしたら拙者にお任せくだされ（早口）。 そもそもキュウリというのはインド周辺を原産とする植物でしてな、大航海時代に香料と一緒に西洋に広まりました。 日本にはシルクロードを通って陸路で伝わっておりましてな、途中に「胡」の国がかつてありまして、そのルートを通って入ってきたものには「胡」の漢字を充てるのです。 胡瓜（きゅうり）、胡椒（こしょう）、胡豆（そらまめ）、胡桃（くるみ）、胡麻（ごま）、などですな。 一方で、西洋には海路を通って伝わったわけです。 当時の西洋の貴族では自宅に植物園・菜園を所有しているのが当たり前でして、ま、ま、当初は観賞用植物として広まったようですが。 キュウリのサンドイッチはそのような菜園を所有している貴族の最大限のおもてなしだったのです。 当然、そのレシピとしては午後のティータイムに合わせたシンプルなものです。 キュウリはで
「掛け算の順序問題」について思うこと
正直なところ言及したくない話題なのですが、最近あまりにもひどい動きが散見されるので今の私の考えを書き留めておくことにします。 予めこの記事で「しないこと」について記しておきます： 丁寧な背景説明 現行の教育方針に対する是・非の判断 何が問題なのか？ 客観的な事実 数 a と数 b があったとき、a\times b と b\times a は同じ結果をもたらします。両者は等号で結ばれるものであり、両者に数学的な違いは存在しません。これ自体は疑いようのない事実であり、誰の目にも明らか[1]です。 注意すべきなのは、このことを理解するために高度な数学の知識は全く必要がないということです。つまりここで「実数体の乗算の性質が」とか「可換環が」とか言い出すのは追加の情報を与えないので無意味な行為です。 そしてそれは同時に、高度な数学の知識を有していることがこの問題に向き合うにあたってアドバンテージにな
PCの前で泣いてた弱小レイヤーが、マルシルに救われるまで。｜鹿乃つの
これはコミケの2週間前、7月30日の私のサブアカウントでのツイート。 この数日前に撮影してもらったマルシルの写真がたくさん届いたので、1枚1枚確認していた時のこと。どのお写真も素敵だったんだけど、この写真の時になんとなく手が止まって、気づいたら年甲斐もなくPCの前で号泣してた。 そのとき私のサブアカウントに、思うままに書いたのが「いい写真だ、マルシルだ、マルシルがいるよ、受け入れられたい」だった。 自分でも気づいていなかった本音がぽろっと出てくることってたまにあるけど、これも完全にそうで。私はこの言葉の根底にあるものを探らなければならなかった。自分の言葉だっていうのに、まったく！ 「似合う」と「好き」で悩んだ半年間だったこの写真は見た瞬間に「おーいライオス〜！」って聞こえてくるような、そんな感じがした。自分が被写体であることも忘れ「わっ、マルシルがいる！」って思った。 「自分に似合うコスプ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
『抽象度の高い仕事の進め方 - Konifar's ZATSU』へのコメント
正規表現を"微分"する!? 爆速で自作できる正規表現エンジン | ドクセル
You forgot a percentage sign or a colon