![Windows 11からAndroidスマホへのファイル共有が簡単になる機能、まもなく実装](https://cdn-ak-scissors.b.st-hatena.com/image/square/b87807e05c364db76b2c56bbb7d7aff6a58e488f/height=288;version=1;width=512/https%3A%2F%2Fpc.watch.impress.co.jp%2Fimg%2Fpcw%2Flist%2F1600%2F909%2F1.jpg)
高カインド型(Higher-Kinded Types; HKT)とその表記について勉強したのでメモ。高階関数を知っているレベルからHKTをどう表記するかまでメモする。プログラミング言語として主にScalaを用いているが、Scalaでしか分からない概念は極力排している。知ってる部分は飛ばしてよい。理解が間違っている箇所があったらブコメなどで教えてください。 追記: Higher-Kinded Typesという用語はちょっと奇妙な響きがありつつも使われていて、Kindという用語は型理論としてのちゃんとした用語とのこと。 まず用語がアレ、という話https://t.co/UkxfCy9OFq 自信ないけど、もし上記tweetで言及してるようにScalaが初?だとしたらblog内の「Scalaでしか分からない概念は極力排している」と言いつつ、blogタイトル実は当初Scala独自用語!(だけど他で
仕事でとある機能を設計して実装していた。ある非同期な処理の状況を画面に表示するというだけのタスクだ。ちょっと様子を見に行って、そのステータスを表示すればいいだろう。そう高を括って設計を始める。 のだけれど、一向に進まない。頑張ってちょっとずつ作ってPull-Reqにするのだが、コードレビューでどんどんrejectされる。登山に出たらどんどん霧が出てくるようなありさま。なんかおかしいぞ。目の奥がチリチリしてくる。 ウームどうしたもんか、と思って頭をひねるのだが驚くべきほどに何も進まなくて、俺の頭が悪すぎるのではないかと益々不安になってしまった。 にっちもさっちも行かなくなってしまったので、同僚に助けを求めることにした。 実は難しかった 同僚と相談したときは、なんて俺はアホなんだ、寝不足かなんかで頭回ってないのかな?と思っていたけれど、同僚と話しているうちに、これ普通に難しいっスよ、という感じ
Twitter でいいね欄が全員非公開になってしまった。 わたしはブラウザの Location Bar に tw なり x. なりを入力すると …/likes な URL がいくつかならぶ程度には他人の Likes をたくさん巡回していたし、なんなら相互に Likes 見てるな…という関係もある程度には Likes タブに依存してついった〜を楽しんでいたので大変悲しいニュースだった。 自分が読んでいたアカウントの皆さんが追従するかはともかくとして、一旦自分の Likes を公開する手筈を考えて https://like.sorah.jp/ としてデプロイした。 https://github.com/sorah/publikes にコードを置いてあるので、お手元の AWS アカウンへ terraform apply をすればみなさんも追従できます。 いいねしたツイートを集める 類似事例では
本日6月18日、Qualcommの次世代AI機能を搭載するプロセッサー「Snapdragon X」を搭載する「Copilot +PC」が各社から発売された。今回レビューする「ASUS Vivobook S 15 S5507QA」もそのひとつ。ASUSから日本市場で初めて発売される「Copilot+ PC」となる。 Vivobook S 15は、NPU単体の処理能力が45TOPSで、CPU、iGPU、NPUを合わせた処理能力が75TOPsを実現したプロセッサー「Snapdragon X Elite」を搭載。専用のWindows Copilotキーを搭載することで、AIアシスタント機能「Windows Copilot」を素早く呼び出せるほか、ASUS AIアプリケーションも用意される。 今回ASUSより試用機を借用したので実機レビューをお届けする。ただし、記事執筆時点において最新のアップデート
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く