WezTermに移行した - 詩と創作・思索のひろば
PCを新調したのを期に、ターミナルの環境をiTerm2+tmuxをWezTermに移行した。とくに不満はなかったのだけど、iTerm2の設定をぽちぽちする*1ことを考えるとこれ数年おきにやるのか……と思ってしまったので心機一転、設定をLuaで管理できるというWezTermを使ってみることにした。 偶然以下の記事を見ていたのが大きい。設定も基本これをぱくった。 Okay, I really like WezTerm | Alex Plescan いいところ Luaで設定できる。別にLuaが書きたいわけではなくてVCSで管理できるのがよい。 WezTerm単体で、キーボードのみで文字列選択・コピーができる（Copy Mode）。これまではこの用途にtmuxを使っていたのでシンプルになってうれしい。 さらに、コピーしたいところまでカーソルを動かさなくていい Quick Select というモード
トランザクションを考慮した実装について考える
はじめに アプリケーションレイヤーでトランザクションを考慮した実装をどのようにすればいいのか悩んでいる人が多いことに気がつきました。オニオンアーキテクチャ等でアプリケーションコードを関心ごとのレイヤーに分離するときに、トランザクションを開始するためのDBとのコネクションの作成をどのレイヤーで実施するのか悩んでいる人が多いそうです。 本記事ではDDD+オニオンアーキテクチャ+Repositoryパターンを使う前提で、私がよく使うトランザクションを考慮した実装について説明しようと思います。 トランザクションを考慮した実装 私はトランザクションを開始するためのDBとのコネクションの作成はUsecase層で実施します。 私がよく書く実装ではDDDでいうEntityを定義します。そしてRepositoryではEntityのCRUDのみ行うように実装し、Repositoryをトランザクション境界にしま
meviy に Rust が入りました - DTダイナミクス テックブログ
形状認識処理のディレクターを務めている寺田です。昨年10月よりDTダイナミクス（ミスミグループ出資の戦略的IT子会社）のお世話になっています。 私が入社した時点では meviy の形状認識はすべて C++ で書かれていましたが、そこに Rust を導入したというお話です。 Rust で何作ったの？ ゴチャゴチャと御託を並べる前に、まずは Rust で何を作ったのかを簡単に紹介しましょう。 大きく分けて下記の3領域に Rust を導入しました。 溶接リモデル機能 平板展開機能 自動テストツール ここでは先頭の「溶接リモデル」について簡単に紹介します。 この機能の内部実装を C++ から Rust に置き換えて、またロジックも大きく変更することによって、溜まっていた不具合を大幅に解消しました。 溶接リモデルとは 溶接リモデル 上図の左がリモデル前、右がリモデル後です。 板金製品は、平らな板金材
Matzにっき - 継承は悪か
<< 2003/08/ 1 1. [Ruby]1.8.0 preview7 2 1. [Ruby]Ruby 1.8.0 2. [生活]花火 3. [OOP]オブジェクト指向が難しいのか(予告) 3 1. [教会]松江 2. [家族]米子 3. [名前]ひらがなのなまえ 4 1. 来訪者 2. [Ruby]Ruby 1.8.0 5 1. [車]見積もり 2. [Ruby]記者の眼 3. [Ruby]1.8.0のバグ 6 1. [OOP]継承は悪か 7 1. [仕事]出張 2. [OOP]オブジェクト指向の神髄 8 1. [Ruby]まつもとゆきひろを囲む会 2. [OOP]アイデンティティ 3. 番号 9 1. [Ruby]Lightweight Language Saturday 2. また欠航 10 1. 帰宅 11 1. [Ruby]バグ 2. [Ruby]LL Saturday感想
継承にかかわる諸問題
継承にかかわる諸問題2003-05-07「継承」はオブジェクト指向ではよく話題になり、また問題視されます。しかしそれは使い方が間違っているからです。 今回は少し専門的に、継承のお話です。「オブジェクト指向とは?」と問われ た時、多くの人は「クラス・継承・多態性だ」と言います(そしてそれは間違っ ています)が、そのくらい継承というのは世の中で重要視されています。 「継承」というのはオブジェクト指向言語の一番かっこいい部分であり、また 一番問題になる部分でもあります。ここで「オブジェクト指向言語の」と書い た事に着目して下さい。継承の問題のほとんどは、システム分析などの上流工 程を知らないプログラマが、下流工程であるプログラミング言語の知識をその まま持ってきてしまうことに起因します。つまり、「オブジェクト指向とは？」 という質問と「オブジェクト指向言語とは？」という質問の違いがわからない 人
Google検索でキャッシュ復活へ Internet Archiveとの提携で
米Googleは9月11日（現地時間）、今年初めに削除したGoogle検索のキャッシュ機能を、Webサイトのアーカイブ図書館を目指す米非営利団体Internet Archiveとの連携で復活させたと発表した。「この機能が完全に展開され、40カ国語で検索できるようになるまでには、1日ほどかかる」としている。 キャッシュ機能は、検索結果に表示されたWebページについて、直接アクセスしなくても、その内容を確認できるというもの。更新されたページの更新前の内容を確認する際などに便利だった。 Googleはこの機能を追加する理由を、「研究コミュニティの人々を含め、多くの人が、利用可能な場合はWebページの以前のバージョンを見ることを重視していることを知っている」ためと説明した。 この機能を使う方法は、検索結果の横にある3つのドットをクリックして表示されるウィンドウで、「このページの詳細」ボタンをクリッ
抽象度の高い仕事の進め方 - Konifar's ZATSU
仕事をしていると、だんだんと抽象度の高いことを任されるようになる。 たとえば、方針も明確な小さな修正タスク => 修正方法がいくつか考えられるタスク => そもそも何をやるかから明確にしないといけないタスク といった感じで次第にふわっとした依頼になってくる。いわゆるグレード制を採用している会社において、"どれだけ抽象度の高い仕事を任せられるか" がグレードの違いの要素のひとつと言ってもいい。 抽象度の高い仕事を安心して任せられる人は何が違うのか自分もよくわからないので、自分のまわりの人がどういう動きをしているかを雑にまとめてみる。 1. なぜやるかを明確にしている わからないときはドキュメントやチャットのやりとりを探し、直接聞いたほうがよい人には自分でコミュニケーションを取っている やる理由がないと判断したら依頼者に話をして、実際にやらないこともある あとで「自分はこう言われただけなので」
「甘いカフェイン」摂取、体内時計乱れる恐れ…コーヒー飲料など「いつ飲むのがいいか検討必要」
【読売新聞】 カフェインと甘味料を加えた水をマウスに与えると体内時計が乱れたとする研究成果を広島大などのチームがまとめた。エナジードリンクやコーヒー飲料には両方の成分を含んでいるものがあり、甘いカフェイン飲料を摂取する時間帯には注意
MySQL 8.0 は遅くなってきてる？何故？（１）
いろいろありますが、今後のことを考える前にまずは、バージョン8.0.xの現状を一旦整理・理解してから決めようと思います。 念を押しておきますが、このブログの「内容は個人の考えであって、所属組織とは方針が異なる」と考えてください。 MySQL内部の人は、クラウドとか最新のサーバーとかしか利用していないのかも知れず、MySQL 8.0 が日に日に遅くなっていることに気づいていない人しかいないのでしょう。しかし、数年前のローカルPCで動かすと年々動作が鈍くなっているのを感じます。マイナーバージョンアップで単スレッド性能が下がり続けるなんて商用システムではリスキーです。 証明が難しく、ずっと放置せざるを得なかったのですが、非常に重要な事柄ですので今一度、オープンになっているソースを基に分析をしてみます。 まず、測るモノサシを決めましょう。以前のエントリ「MySQLバージョンアップによるInnoDB
Scala 3のmatch typeで数独solverを作った - xuwei-k's blog
昨日の続き xuwei-k.hatenablog.com 昨日のcheckするだけのものは数秒で終わるのですが、これは手元で compileに2分くらい かかります。 速度に関して改善の余地があるのかどうか？はわかりません。 改善したら、問題が簡単なら数秒で終わるようになりました。 いくつかtweetしましたが、compilerの限界なのでは？と思ったけれど、頑張った結果、いくつかは自分のミスでした。例えば 割り算するべき箇所で余りを取っていた scala.compiletime.ops.any.== は、singleton同士ではないと比較不可能。例えば (1, 2) と (3, 4) といったTupleのまま比較不可能なので、自前でsingletonになるまで必要に応じて再帰的に分解しつつdeepなequalsを実装する必要がある(つらい) 複雑になり過ぎると、上記のようなミスをした場
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
Google Playの住所公開に開業届で対応する
こんにちは。趣味グラマのNobu(@nm_aru)です。 Google Playから以下のタイトルのメールが来ていましたが、身分証の提出ぐらいだろうと甘く考え、期限ギリギリまで放置しようと思っていました。 時間が出来たので内容を見てみると、何と個人開発者は自宅住所をストアに公開するための対応依頼でした・・・。 名前の公開はまだ良いとして、流石に住所公開はハードルが高いので、Playストアでのアプリ公開はもう諦めようかなと思いもしましたが、以下の3点から開業届を出して対応する事にしました。 利用してくれているユーザーがいる iOSのみになるとFlutterを使っている意味がほぼ無くなる 開業届のハードル（手続き、費用面）が低くなった という訳で、ここには備忘録を兼ねて今回の対応を残しておきたいと思います。
翻訳記事：デザインシステムチームの投資収益率（ROI）｜Nobuya Sato
さまざまな企業やチームのデザインシステムプロジェクトを支援し、アドバイザーとして関わる中で、必ず話題になるテーマの一つが「どうやってデザインシステムやチームそのものの費用対効果を社内で説得するか？」というのがあります。 結論から言うと、デザインシステムは企業活動の一環であり、成果物としてのアウトプットでない事を理解する必要があります（もちろんFigmaファイルを作ることでもない！😁）。つまり、デザインシステムを進めるためには、企業活動として必要なコストの予算化（しかもかなりの額！）は避けて通れません。勢いだけでできるのは、デジタルネイティブな企業のアプリ開発ぐらいです、と伝えながら、一緒に悩みながら時間かけて組織改革を一歩づつ進むしかないのが現実です。 とはいえ、そうした問題意識があって前に進めない組織の方が、むしろ健全だと思う今日このごろ。 デジタルネイティブ企業、つまり本業がデジタル
リーディングDAT | 統計数理研究所 統計思考院
思考院トップ 統計思考院の事業活動 リーディングDAT 2022年度 リーディングDAT無料動画 思考院トップ 統計思考院の事業活動 統計教育動画配信 リーディングDAT無料動画 情報・システム研究機構 データサイエンス高度人材育成プログラム リーディングDAT無料動画 ※2023/6/30に「3. 因果と相関」の一部の図を差し替えた動画を公開しました。内容には変更ありません。 リーディングDAT講座の動画公開について ここでは、2021年度リーディングDAT L-A講座（4日間）の前半2日間分、および、関連して作成された補助動画を無料で公開しています。後半2日間分は有料の講座として開催中で、当面は公開の予定はありません。講義の特徴などについてはこちら（所外 YouTube）の動画をご覧ください。 ・動画中で言及されている「付録」については各講師の判断で一部のみPDFで提供します。また、も
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
"型"のあるRailsアプリケーション開発 / Typed Rails application development
一部報道について（第二報） | ニュースリリース | アイコム
技術選定の審美眼（2023年版） / Understanding the Spiral of Technologies 2023 edition
https://scalamatsuri.org/ja/programs/SESSION_DAY_2_06
When to use subtyping & when not use to it
藤井聡太王位が解いた「200年前の詰将棋」に残されたナゾ…実は込められた意味があった バン記者・樋口薫リポート：東京新聞 TOKYO Web
