You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
この記事は、KCS アドベントカレンダー 23 日目の記事です。 22 日目・24 日目 GPU 上で走る自作言語のコンパイラ こんにちは、lemolatoon です。 最近は、夏に自作 OS ゼミでセキュキャンに参加したりして、また低レイヤへの気持ちを高めたりしていました。 自作 OS も一段落ついた頃、MLIRというものを知り、何やら面白そうだぞということで色々調べて手を動かしたりしていたのですが、ある程度 MLIR の利点を生かしたいい感じのものができつつあるので紹介したいと思います。 まず最初に自作言語を作る手順を、LLVM IR に変換するところまで説明します。 その後、GPU 上で走らせる部分について書きます。 実装は、すべて以下のリポジトリにあります。LLVM IR への変換は少なくともch6ブランチに、GPU 上で走らせる部分の実装はlower-to-gpuブランチにありま
xlsxファイルに対してSQLを実できるxlsxsqlというツールを作りました。 GitHubのxlsxsqlからダウンロードできます。 これは何? xlsxsqlは、xlsxファイルに対してSQLを実行するツールです。 また、CSV,LTSV,JSON,YAMLといったファイルに対してSQLを実行することもでき、その結果をxlsxファイルに出力することもできます。 trdsqlにxlsxファイルの読み書き機能を追加したものになります。 使い方 単純にファイルをテーブルとして指定できます。 -oまたは-outオプションは出力ファイル形式を指定します。 CSV, LTSV, JSON, JSONL, YAML, TBLN, AT, MD等が指定できます。
行為主体性の進化:生物はいかに「意思」を獲得したのか 作者:マイケル・トマセロ白揚社Amazonこの『行為主体性の進化』は、認知科学が専門のマイケル・トマセロによる、「行為主体性」について書かれた本だ。霊長類や他の哺乳類はアリやハチといった昆虫と比べると「知的」であるようにみえる。しかしその知的さをどのようにはかるべきだろうか。もちろん、これについては行動の複雑さなど無数の尺度が考えられるだろうが、本書ではその知的さの違いを「行動の制御」に見出していく一冊だ。 たとえば、アリやミツバチの行動は、それがどれほど複雑であっても個体がすべてをコントロールしているようにはみえない。彼らの行動を主に制御しているのは個体の判断ではなく生物学的機制(バイオロジー)である。一方の霊長類や他の哺乳類は、ある程度は自分のコントロールにおいて、情報に基づく決定を能動的に下しているようにみえる。これに関連して出て
コマンドプロンプトと同じ要領でコマンドが入力できる。 コマンドレット PowerShell では、コマンドのことを コマンドレット と呼ぶ。 コマンドレットは、 <動詞>-<名詞> の命名規則に従って定義されている。 例えば、 Get-Content とか、 Get-Date のような感じ。 エイリアス 「フォルダを移動するときのコマンドレットは、 Set-Location です」 と説明すると、 100 人中 190 人くらいは「ありえへん!」と感じ、 PowerShell を勉強する気が失せると思う。 さすがにフォルダ移動するたびに Set-Location と入力してると自殺したくなるので、 PowerShell にはデフォルトでエイリアスが定義されている。 Set-Location のエイリアスは、 cd と chdir と sl が定義されている。 なので、 cd <移動先のパス
Rocは関数型のバイナリへのコンパイルプログラミング言語で、リファクタリングを簡素化し、低レベルのアプリケーションや組み込みシステムの開発をサポートする。同氏は「純粋で機能的なプログラミングアプローチを組み込んだ読みやすい言語だ」としている。 Recの特徴は以下の4つ。 1.コードの簡素化と整理 関連記事 プログラミング言語「Rust」用の統合開発環境「RustRover」発表 JetBrains JetBrainsはRust用スタンドアロン型IDE「RustRover」を発表した。早期アクセスプログラムを開始しており、2024年9月までにリリースする計画だ。 Kotlinは全ての面でJavaを追い越す――プログラミング言語の人気ランキングにコミュニティーの反応は TIOBE Softwareが発表したプログラミング言語の人気ランキング「TIOBEインデックス」の2023月9月版では、「K
筆者は1997年から「Linux」を使っており、何年も前に、「もう自分が驚くようなことはないだろう」と確信するようになっていた。しかしつい最近、Jorge Castro氏から連絡をもらったことで、自分が間違っていたことを知った。 Castro氏は昔、「Ubuntu」に関わっていたが、最近は「Universal Blue」と呼ばれる新しいプロジェクトに取り組んでいる。この記事では、Universal Blueの技術的な詳細に立ち入ることは避けつつ(普通のユーザーは中身にはそれほど興味がなく、どのような機能があるかに関心があるからだ)、このディストリビューションがどのようなものであるかを説明してみることにしたい。知っておいてほしいのは、ここで説明することは非常に新しいことであり、クールでもあるということだ。 例えば、あるデスクトップOSをインストールしていろいろと試してみた結果、自分には合わな
今から約38億年前に海の中で誕生したと考えられている地球上の生命は、環境の変化とともに進化と絶滅を繰り返しつつ、現在まで繁栄してきました。 デンマーク最大の宇宙研究機関であるデンマーク国立宇宙センター(DTU Space)の科学者チームは、地球の生命の生物多様性の変化と超新星爆発が関連しているという興味深いアイデアを提唱しています。 【▲ 超新星爆発によって発生した宇宙線が海洋に降りそそぐイメージ(Credit: Henrik Svensmark, DTU Space)】科学者チームは、過去5億年の間に起きた海洋生物の多様性の変化と、太陽系近傍での超新星の発生との間に強い相関関係があると考えています。この研究論文の著者であるヘンリック・スヴェンスマルク(Henrik Svensmark)氏は、超新星がもたらす影響の1つとして、地球の気候が変化する可能性を指摘しています。 そのプロセスは以下
税金の世界史 作者:ドミニク・フリスビー河出書房新社Amazonこの『税金の世界史』は、その書名のまんま、税金の歴史について書かれた一冊である。税金というのは、たしかに言われてみればこれはおもしろいテーマだ。我々は消費税増税が起これば大反対をかまし、増税が実際に行われる前に必要なものは少しでも多く、あるいは高いものは先に買っておこうと行動を変える。タバコ税などもあるが、喫煙者の方は値上げするたびに何ヶ月、何年分を買いだめする人も多いだろう。 選挙においても税をどうするのか、といったのは常に一大トピックのひとつだ。我々一般市民からすれば税金は安ければ安ければありがたいものである。しかし、医療、福祉などにおいて必要があるから集めているわけであって、税をゼロにすることは難しい。であれば、どこまで低くできるのだろうか? また、今の税の徴収の在り方は本当に理にかなっているのか? 本書はそうした税金に
アタリのポンは1972年に発表された。設計者はアラン・アルコーン。 汎用CPUがない時代なので(intelの8008が1972年)TTLロジックで構成されている。 オブジェクトの移動、当たり判定、得点表示、フィールド描画等をすべて論理回路で実現している。 ポンの回路を解析している人がいてその説明からどのようにゲームを実現しているか見てみる。 参考にしたpdfファイル。 http://www1.cs.columbia.edu/~sedwards/papers/edwards2012reconstructing.pdf ポンは 二人用ゲーム パドルを操作してボールを打ち合い相手がミスをしたら得点 という単純なもの。ゲーム画面は Wikipediaポンより 画面から 左右にプレイヤーが操作するラケットがあり上下に移動する ボールはラリーによって左右に移動する 画面上部に得点が描画されている 画面
ChatGPTは「手前の文に確率的にありそうな続きの文字を繋げるAI」 まず最初にChatGPTの仕組みについて。 深津さんによるとChatGPTは、「手前の文に確率的にありそうな続きの文字をどんどん繋げていくAIである」とのこと。 例えば「昔々」という入力に対して、確率的にありそうな続きの文字は「あるところに」であるという具合に、続きそうな文字をただ出してくれるAIなんだそうです。 これを誤解していると求めているような回答がなかなか得られないので、ChatGPTに自分が求めている回答してもらうためには、確率的にありそうな続きの文字を出す方向性を狭めていくような質問をする必要があるそうなんですね。
門脇@satoru_kadowakiです。今月のPython Monthly Topicsでは、Rust製の高速データフレームライブラリ Polars について紹介します。 Polarsとは Pythonでデータ分析に使用される主なライブラリに pandas があります。Polarsはpandasと同様にデータフレームというデータ構造オブジェクトを提供するサードパーティライブラリです。特にpandasを意識して作られており、メインページに「Lightning-fast DataFrame library for Rust and Python」とあるように、Rustによる高速処理を謳っています。 Polarsのリポジトリや関連ドキュメントは以下を参照してください。 Github: https://github.com/pola-rs/polars ユーザーガイド: https://pola
先週、小耳に挟んだのだが、リカルド・コッキとユリア・ザゴルイチェンコが引退するらしい。いや、もう引退したのかもしれない。ショウダンス界のスターコンビだ。とびきりのダンスを見せてきた。何度、堪能させてくれたことか。とくにロシア出身のユリアのタンゴやルンバやキレッキレッの創作ダンスが逸品だった。溜息が出た。 ぼくはダンスの業界に詳しくないが、あることが気になって5年に一度という程度だけれど、できるだけトップクラスのダンスを見るようにしてきた。あることというのは、父が「日本もダンスとケーキがうまくなったな」と言ったことである。昭和37年(1963)くらいのことだと憶う。何かの拍子にポツンとそう言ったのだ。 それまで中川三郎の社交ダンス、中野ブラザーズのタップダンス、あるいは日劇ダンシングチームのダンサーなどが代表していたところへ、おそらくは《ウェストサイド・ストーリー》の影響だろうと思うのだが、
令和2年3月21日に開催された民族文化研究会関西地区第23回定例研究会における報告「日本の相互扶助システムーー無尽講あるいは頼母子(たのもし)講」の要旨を掲載します。 (一)はじめに 無尽講とは、原始的な相互扶助の一つである。内容は後述するが、建治元年に記述として初めて現れて以来、現代に至るまで無尽講は続いてきた。また、無尽講が与えた影響も今日見ることができる。 例えば、近代になって無尽講が営利化・会社化した「無尽会社」は、現在の国内外のいくつかの金融機関の前身となったり(例:関西みらい銀行、台湾中小企業銀行)、「無尽会社」を冠する会社は現在でも存在する(日本住宅無尽株式会社)。 また、実業家の家入一真氏は無尽講から着想を得て、共同財布アプリ「gojo」を開発した。 このように、無尽講を元にしたシステムなど例を挙げると切がない。 本稿では、現在さまざまな場所で息づく「無尽講」とは何か、どの
数多くのSNSが世に出回っているなか、比較的ユーザーの多いTwitterを利用する一方で、分散型ネットワークのMastodonにも参加し、目的によって両者を使い分けているという人もいるのでは。そんな人にピッタリな、2つのサービスに投稿されたコンテンツをまとめてTwitterのタイムラインに表示するChrome拡張機能「Mastodon Chirper」を使ってみました。 Mastodon Chirper - Chrome ウェブストア https://chrome.google.com/webstore/detail/mastodon-chirper/lgiffpmohlpjlkclpmelkkfmjnlpafne まずは拡張機能の配布ページにアクセスし、「Add to Chrome」をクリックします。 続いて「拡張機能を追加」をクリック。 次に、マストドンのユーザー名とインスタンス名を確
JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。
1. Compose AI:AIを使って文章作成を支援する拡張機能Screenshot: Compose AIまずはAIを使った機能から。 私がAIにライターの仕事を奪われることはないと思いますが、AIツールを使うとどんなふうに文章の質が上がるのか知りたくてたまりません。 テキストボックスに文字を入力する時間があるなら(メール、現状アップデート、ブログの投稿など)、Compose AIをチェックしてみてください。 この拡張機能は、正しい文法を提案するだけでなく、文章全体を書く手助けをしてくれる素晴らしいオートコンプリート機能も備えています。 さらに、わかりにくい文章を書くと、別の表現に書き換えるのを手伝ってくれます。 2. SwiftRead: 流し読みしたいものを速読する拡張機能Gif: SwiftRead速読は読む人によっても読むものによっても向き不向きがあります。 小説、ノンフィクシ
Google が開発したコンテナ管理システムです。 「クバネティス」「クバネテス」「クーべネティス」などと読まれます。 ギリシャ語で「船長」の意味を持ちます。 Kubernetes のスペルが K と s の間に8文字あることから k8s と表記されることがあります。 Kubernetes を簡略化した k3s というものもあります。 Docker や Podman などに対応しています。 コンテナを Pod と呼ばれる単位で複数のノードに配布して実行管理します。 クライアントからのアクセスを適切にノード上の Pod に転送する仕組みを備えています。 コンテナやノードがダウンしても代わりに他のノードでコンテナを起動してくれます。 サービスを停止することなく、コンテナをローリングアップデートしたりアップデートを中断してロールバックすることができます。 Kubernetes の構築には通常1台
画像生成AI「Stable Diffusion」は、指示した通りの画像を生成してくれるAIとして大きな注目を集めています。Stable Diffusionを実際に使うにはPythonのインストールといったPCの知識が求められる作業が必要なのですが、有志が開発した「NMKD Stable Diffusion GUI」なら誰でも簡単にStable Diffusionを使う環境を整えられます。そんなNMKD Stable Diffusion GUIではStable Diffusionに備わった各種機能を簡単操作で実行可能なので、NMKD Stable Diffusion GUIの各種設定項目や自分好みの画像を生成するまでの手順を徹底的にまとめてみました。 My easy-to-install Windows GUI for Stable Diffusion is ready for a beta
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く