雑記

HLSで「等価性検証は必要ないのか?」と質問された時の正解

元ネタ:TDDで「テストばかり書いて間に合うのか?」と質問されたときの正解 高位合成/動作合成のツールを使った設計において、顧客などから 「等価性検証は必要ないのか?」 などと質問されることがあると思います。 そんな時には、後ろからそっと抱きしめ…

無印良品のノートカバーが Nexus7のカバーにピッタリ!

少し昔にこんなのがあったかと思います。 実際、私も MacBook Airはこちらを使用しています♪ MacBook Airを優しく守る無印良品のフェルト製封筒がシンプルで使える! 今回、パズドラ専用機となっている Nexus7 に対してカバーを探していたところ、 無印良品…

電子書籍の利用

読み放題でコスパよし!電子書籍アプリyomel.jpキャンペーン とあるキャンペーン中なので、書いてみる。 電子書籍について、私はほとんど読んでいない。。。 というもの、小説ほとんど読まないから。 ただ、技術書に関しては別で技術論文(PDF)になっているも…

はてなブログ アプリで書いてみた

はてなブログ for iPhone ってアプリがあることを知ったので、こっちで書いてみることにした。 ※このブログ自体をアプリ書いてます。ただし、リンクはPCでですが。 アプリ自体に Markdown記法モードがあることに驚きを隠せない(笑) 文章入力もiPod touch(…

2013年にやりたいこと

2013年にやりたいこと 3点に絞って考えてみた。 プログラミング どれかしよう。 Vim Script Ruby Haskell Python BluespecSystemVerilog 設計&検証手法へのトライアル 高位合成 UVM フォーマル 環境を改善する

はてブをMarkdown記法で書いてみる。

ブログをMarkdown記法で書こうと思うので色々テスト。 見出し(H2) 見出し (H3) 見出し(H4) 見出し(H5) 引用 改行には一つ必要なのね。 *リスト表示 * 追加 で記述 これでも 番号は自分で付けないといけないのか。 いち に リンクを確認 どうだ?Yahoo! J…