- サラリとして手ざわりのやわらかな「エアリズム」。 - 紫外線を防ぐUVカット機能付き。 - 伸縮性にすぐれたウルトラストレッチの機能を持つ素材。 - 接触冷感機能付き。 - あごにファスナーが当たりにくいように配慮したチンガード付き仕様。 - ネームラベルあり。 - 抜群の通気性。 - シーンを問わず着用できるシンプルでカジュアルなデザイン。 - 袖口、裾は体に程良くフィットする切り替え仕様でアクティブなシーンにも対応。 - ポケット裏側からパッカブルにできるので、バッグなどに入れて持ち歩きやすい。 - フロントはファスナーで開閉。 - コーディネートのポイントになる、爽やかなマーブルの総柄プリント。 - UPF50+。 仕様 - トップスフィット: 普通 - 100サイズは、オンラインストアのみでの取り扱いとなります。 - 当商品は、ポスト受取り対象商品となります。 商品の組み合わせ

Kernel/VM探検隊はカーネルや仮想マシンなどを代表とした、低レイヤーな話題でワイワイ盛り上がるマニアックな勉強会です。植山氏は、制作中のリンカである「mold」について発表しました。全2回。前半は、リンカの概要について話しました。 LLVMのリンカ「lld」オリジナルの作者 植山類氏：植山類です。今僕が作っているmoldというリンカについて発表します。 今回の発表の概要です。リンカが何かを知っている人はそんなにたくさんいないと思うので、まず説明します。次に、「mold」のポイントは速いことなのですが、速いと何がうれしいのかを説明します。そのあと、どれくらい速いのかを説明した上で、どう実現されているのか、概要を紹介します。詳細になると何時間あっても終わらないので、かなりハイレベルな話をします。 自己紹介のスライドを入れていませんが、僕はリンカを何度か作ったことがあって、LLVMのlld

始めに Arty A7(T35)を入手して3年余り。少しずつ部品を書き溜めていますが、そろそろ付属しているDRAMへのアクセスを始めようと考えました。最終的には少しずつ機能拡張をしているRISC-V(my-riscv-rv32i)のデータRAMとしてDRAMを使うところにあります。現在データRAMとして使用しているBRAM領域はそのままキャッシュにしてDRAMのデータを読み書きできることが最終目標になります。さらにインストラクションRAMもキャッシュ化することを考えると、データ転送はバス化することが得策と考えました。いくつかのバスを検討し、AXIバスを参考にして、プロトコルをパクり、必要な機能のみをサブセットとして実装してみることにしました。このサブセットtiny_axiは、バースト長を固定した単純なリードとライトができだけに機能を絞り、これをArty A7に搭載されているSDRAM I/

僕の学科では伝統的に3年の後期に半年かけてCPU実験というものをおこなう。 班で自作のアーキテクチャを設計・実装し、FPGA基板上でMinCaml(OCamlのサブセット)でかかれた課題用レイトレーシングプログラムが動けば単位がもらえるというものである。 レイトレ完動後には、その高速化にはげむもよし、余興としてゲームをつくるもよしで、自作CPU上で色々あそんだりする。 今年は有志で班を結成し、自作CPU上でxv6というOSを動かした。 僕はその班にCコンパイラ係として参加したので、そのことについてかく。 あと、OS移植班全体の成果についても触れる。 わりと長くなってしまったので、結局なにができたんだっていう人は、とりあえず先にこっちに飛んでほしい。 動機 期間は4ヶ月程度、配布されたFPGA基板のうえで動かしたいという制約のもとで移植するOSはxv6を選択した。 このOSはシンプルであるが

今年のCPU実験では、有志からなる我らがX班が、おそらくCPU実験史上初である自作CPUへのOS (xv6) 移植に成功しました。コア係とコンパイラ係の面々がそれぞれまとめ記事を書いていたので、OS係から見たOS移植のまとめも書こうかなと思います。こんなことしてましたってことが伝わればいいなと思います。 この記事を読む後輩やらなんやらがいたら、ぜひ僕らがやったようなことはさっさとクリアしちゃって、さらにさらに面白いことをする踏み台にしていってほしいですね。 どなたが読んでもある程度概要が伝わるよう、まずCPU実験とは何かということをさらっと書いた後、実際にxv6を移植するにあたってやったことをまとめたいと思います。 CPU実験とは CPU実験は僕の学科（理学部情報科学科）で3年冬に行われる、半年間にわたる学科名物演習です。 最初の週で4～5人程度の班に分けられた後、それぞれの班でオリジナル

インフラチームでインターンをやっている粟本です。 普段はansibleをのんびり書きつつ、Pairsのボトルネック調査と称してGoと戯れている人間ですが、今回は業務から少し離れて、私がつい先日まで大学の学科でやっていた学生実験の話を書きたいと思います。 会社のブログに大学の事を書くのも変な話ですが、如何せん自分のブログを持たない身には自分のやった事をアウトプットする場所がないのです。というわけで、ここは一つ、大目に見て頂ければ。 ちなみにタイトルに（概要編）とついているのは、この記事が二部構成になっているからで、第一部の今回は、技術的な話を廃したCPU実験の概要に関するお話です。ある程度ITに詳しい人なら分かるかな、くらいを目指しています。 第二部はこちら。 CPU実験とは私が所属している東京大学理学部情報科学科では、学部３年の冬学期になると、「プロセッサ・コンパイラ実験」（通称CPU実験

ぶりぶーです。Markdown記法でカンタンにスライドを作成できる、VS Codeの拡張機能の「Marp for VS Code」について、今回はデバイスに保存されている動画の埋め込み方法を書きます！ 方法 動画を動かす コントロールバーを追加する（選択必須） 自動再生する（選択必須） 繰り返し（ループ）再生する 消音にする 動画のサイズを変更する 動画再生前の画像を指定する 組み合わせ 例：コントロールバー＋動画サイズ 例：自動再生＋ループ＋消音＋動画サイズ 思った通りにプレビューされない場合 出力方法 OK NG どうしてもPowerPointに出力したい場合 Marpじゃできないこと 方法 ローカルの動画をスライドに貼り付ける方法です。 次のコードをMarkdownファイルに挿入してみてください。ただし、動画を用意して、コード中の「movie_path.mp4」をその動画のパスに書き

保守しやすく変化に強いソフトウェアを支える柱　自動テストとテスト駆動開発⁠⁠、その全体像 ～Software Design 2022年3月号「そろそろはじめるテスト駆動開発」より 今回、Software Design 2022年3月号 第2特集「そろそろはじめるテスト駆動開発 JavaScriptでテストファーストに挑戦」の第1章「保守しやすく変化に強いソフトウェアを支える柱　自動テストとテスト駆動開発、その全体像」を本サイトに掲載します。第2章以降については、本誌『Software Design 2022年3月号』電子版（Gihyo Digital Publishing、Amazon Kindle）をご購読いただければ幸いです。 第1章では、混同されることの多い自動テスト関係の概念を、自動テスト、テストファースト、テスト駆動開発の3つの段階に分け、それぞれの効果や注意点を説明します。ソフ

このブログエントリでは、テスト駆動開発（TDD: Test-Driven Development）の考案者Kent BeckがTDDの定義を改めて明確化した文章を、許可を得たうえで翻訳し、訳者の考察を沿えています。 きっかけ 2023年の年末、テスト駆動開発（TDD: Test-Driven Development）の考案者Kent Beckは、substackにTDDに関するポストを連投して論戦を繰り広げていました。TDDはその誕生から20年以上が経ち、その間に「意味の希薄化」が発生して議論が噛み合わなくなっていました。意味の希薄化（Semantic Diffusion）とは、新しく作り出された用語が広まる際に本来の意味や定義が弱まって伝わる現象です。 私（和田）はTDDと関わりの深いキャリアを歩んできました。Kent Beckの著書『テスト駆動開発』の翻訳者であることもあり、TDDの正

例えば、3GHzクロックの1周期は3.333*10^(-10)秒であるし、太陽の質量は1.9891*10^30Kgというように、工学や理学の分野では、非常に小さな値や非常に大きな値を扱う必要がある。しかし、このような大きな数や小さな数は整数で計算することはできない。このため、浮動小数点形式というデータ表現形式が用いられる。 浮動小数点形式では、数値を1.9891*10^30のように表現する。このとき、1.9891を仮数(Mantissa)と呼び、10の30乗の方を指数(Exponent)と呼ぶ。このように数値を表現すれば、ゼロを30個も並べる必要はなくコンパクトに表現できるので、科学技術計算用には、コンピュータでも浮動小数点形式のデータが使われている。 IEEE 754以前の浮動小数点データフォーマット コンピュータの揺籃期には、各社が独自に命令アーキテクチャを作り浮動小数点データのフォー

電気羊と夏の海で 小島アジコ 「となりの801ちゃん」の小島アジコが久々にバンチに登場！！ 祖父の遺産整理に訪れた青年。そこで彼は、羊（ヒツジ）という名のアンドロイドと出逢うが……。

登壇中にうっかりSlackの通知が出ちゃうみたいなことを避けたいですよね。うっかりを防ぐ対策が集まるスクラップです。

嫌な記憶よ、さようなら～記憶を意図的に忘れる～について　「心理学ミュージアム」は、心理学に関わる職種の方だけでなく、心理学に興味のある方、心理学関係の進路を考えている中学生、高校生にも興味を持っていただけるものを目指しています。アカデミックな心理学の内容を、親しみのもてる雰囲気の中で楽しみながら学んでいただけます。

ここでは、 "Marp の作者自ら" 、Marp の『あんまり使われてなさそうなマイナー機能』や『Tips・テクニック』を随時紹介します。 Marp のメジャーな機能はいろいろな方が紹介してくださっているので、ここでは割愛。

Marp(Marpit)を使って、Markdownからスライドを作成します。 Marpit 準備 VS Codeと拡張機能を使用します。 Marp for VS Code .mdファイルを作成し、左のプレビューアイコンを押します ディレクティブ ディレクティブの種類 名前 説明

【VS Code + Marp】Markdownから爆速・自由自在なデザインで、プレゼンスライドを作るMarkdownVisualStudioCodeDraw.ioMarpvega TL;DR Visual Studio Code上で、Markdownから、こんな感じのデッキを生成できるようにします。 使用したファイル類は、GitHub tomo-makes/marp-styles にまとめました。 きっかけ 叩き台となる資料がなく、急ぎプレゼンをする機会があり、Marpで作成した 内輪では使っていたが、多くの目に触れるのは初めてで、もう少しデザインを調整したいと思った 今後も使いまわせるものを、スニペット、およびサンプルテーマ化しておこうと思い立った ついでにいろいろな図表の生成とデッキへの入れ方、必要そうな配色、素材のリンクをまとめておきたい Marpとは Marp: Markdown