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
おはようございます.Aizu Advent Calandar 20日目の @yutopp です. 前の人は @GUCC1_sp1ritu4l,次の人は @ishi_kuro です. 今回はK-frameworkというプログラミング言語の意味付けをサポートするフレームワークの紹介をしたいと思います. 日本語の資料がほとんど無い(英語もない)ので,どんどん使っていきましょう!! 間違えなど含んでいると思われます.ご指摘いただけると嬉しいです. K-framework is 何 概要やチュートリアル,論文などは K-framework にて公開されています. また,実装はGitHubの kframework/k 上で行われているようです. 何が出来るかというと,K-framework上で configuration と computation, rule を用いて,実行可能なプログラミング言語や
Gitでのdiff表示を、vimdiffを使うことで「左右2画面」にて表示する方法について備忘録。 Gitはローカル環境ですべて完結できるためちょっとしたお試しプロジェクトを作るには便利なツールで、またコマンドラインツールの機能が充実しているのでCUIオンリーな環境での開発時はSubversionより便利だと思って最近少し使っています(git VS svnの全面的な評価ではないのであしからず)。特にgit diffのカラー表示は非常に重宝するのですが、GUIアプリのWinMergeやmeldなどのように左右に新旧のファイルを比較表示するツールと比べると、さすがに読みやすさの点で劣ります。そこで、CUI環境で左右に画面分割して比較を行うvimdiffをgitの差分表示にて使えるよう設定する方法を調べてみました。 調べてみると非常に簡単です。Gitは外部コマンドで差分表示を行うdifftool
Amazon S3 Glacier ストレージクラスは、データアーカイブ専用に設計されており、クラウドで最高のパフォーマンス、最高の検索の柔軟性、最低のコストのアーカイブストレージを提供します。すべての S3 Glacier ストレージクラスは、事実上無制限のスケーラビリティを提供し、データの耐久性が 99.999999999% (11 ナイン) を実現できるように設計されています。S3 Glacier ストレージクラスは、アーカイブデータへの最速のアクセスとクラウド内の最低コストのアーカイブストレージのためのオプションをもたらします。 さまざまなアクセスパターンやストレージ期間に最適化された 3 種類のアーカイブストレージクラスから選択できます。医療画像、ニュースメディアアセット、ゲノミクスデータなど、すぐにアクセスする必要のあるアーカイブデータであれば、ミリ秒レベルの取得時間で最低コス
Also boot into legacy systems Microsoft doesn't support: Windows XP, Windows 9x, MS-DOS, and more! Boot anything. Windows, Linux, macOS, & BSD! Boot both from and into USB drives, ISO images, virtual disks, and more. Boot anywhere. Create bootable USB sticks with repair utilities that you can take with you anywhere. Protect against disaster. Create entries to boot into recovery utilities or safe m
Click here for APC's exclusive full-version downloadsFrom the Copilot button in Windows 11 to AI summaries of Amazon customer reviews, there’s no escaping artificial intelligence, and this is only the beginning. The first AI-enabled PCs went on sale recently, new PC keyboards now include a Copilot key and Google is now showing ‘AI overviews’ above its search results in the US. This rapid AI onslau
Subscribe to our weekly newsletter: https://www.tfir.io/dnl Become a patron of this channel: https://www.patreon.com/TFIR Follow us on Twitter: https://twitter.com/tfir_io Like us on Facebook: https://www.facebook.com/TFiRMedia/ Richard Stallman Talks About Ubuntu & its privacy invasing (according to EFF and FSF) Features. In order to access the video (watch or download) usining free software. P
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く