タグ

2015年7月8日のブックマーク (14件)

  • Batalin-Vilkovisky quantization and the algebraic index

  • 雑把の仮想マシン(JVM, .NET, BEAM, スクリプト言語, LLVM) | プログラマーズ雑記帳

    今回は JVM, .NET といった仮想マシン(VM)についての記事です。 最初、 .NET と仮想マシンの説明のスライドを作っていたのですが、 最近 JVM と BEAM を少し調べて興味がでてきたので、合わせて VM の話としました。 そうすると今度は、スクリプト言語や LLVM の話も外せないなと思って足したら、結構な大作になってしまいました。 JVM に絞った話では、以下の記事にも説明を書いているので、こちらもご覧ください。 JDK のインストール(Windows)と Java 関連用語の説明 | プログラマーズ雑記帳 スライド版です。 ここからブログ版です。 はじめに 仮想マシンといっても、 OS のエミュレーターのようなものではなく、 JVM といったプロセス仮想マシンについてのお話です。 JVM 、 .NET Framework など最近、この仮想マシン(VM)のシェアが大幅

    KatagiriSo
    KatagiriSo 2015/07/08
    わかりやすい
  • 派生型 - Wikipedia

    このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。

  • 静的単一代入 - Wikipedia

    静的単一代入(せいてきたんいつだいにゅう、英: Static Single Assignment form, SSA)形式は、コンパイラ設計における 中間表現 (IR) のひとつで、各変数が一度のみ代入されるよう定義されたものである。もともとの中間表現における変数は「バージョン」に分割され、全ての変数の定義がバージョンを表現できるよう、通例新たな変数は元の名前に添え字を付けて表現される。SSA ではuse-def 連鎖が明示的であり、連鎖は要素を一つだけ持つ。 SSA はRon Cytron、Jeanne Ferrante、Barry Rosen、Mark Wegman、Ken Zadeck および IBM の研究者たちにより1980年代に開発された。 Scheme、ML、Haskell などの関数型言語のコンパイラでは、Fortran や C などのコンパイラで SSA の利用が期待され

    静的単一代入 - Wikipedia
  • LLVM - Wikipedia

    LLVM(エルエルヴィーエム、 またはエルエルブイエム)とは、コンパイル時、リンク時、実行時などあらゆる時点でプログラムを最適化するよう設計された、任意のプログラミング言語に対応可能なコンパイラ基盤である。当初は、LLVMの名称の由来は、Low Level Virtual Machine (低水準仮想機械) の略であるとしていたが[3]、現在は、何の頭文字でもないとしている[4]。 概要[編集] LLVMは、JavaJava VMの関係のように、まず仮想機械をターゲットとした中間コード(ビットコード)を生成し、その仮想機械向けコードを特定のマシンの機械語に変換する。この時言語やプラットフォームとは独立した最適化を行う。この方法によってLLVMは言語からもアーキテクチャからも独立しており、それぞれに特化した、プログラミング言語固有のモジュールと、マシン向けコード生成部を用意することにより様

  • 3番地コード - Wikipedia

    3アドレスコード(英: three-address code)とは、コンピュータ・プログラミング言語処理系などにおける中間表現などにおける形式の1パターンである。処理系においては、コンパイラ最適化などの処理を掛けるのに適している。2つの入力と1つの出力のアドレス(メモリまたはレジスタ)を指定する形式であるため、3アドレスコードと呼ばれる。命令セットアーキテクチャにおける「3オペランド」形式の類推とも言える。 概要[編集] この形式における各命令は、形式的に4ツ組で表現すると (オペコード, ソース1, ソース2, デスティネーション) である。より直感的にプログラミング言語における代入と2項演算子による数式っぽく書くと、 あるいは、 といったようになる(ただし は、なんらかの演算の2項演算子とする)。「左辺」「右辺」という用語の都合から、ここでは以後、後者の記法を使う。 ここで、a と b

  • iOSアプリ 64bit 対応メモ - Qiita

    アップルがiOSアプリ開発者向けて、2015年2月以降の新規アプリおよび更新には64bit対応および iOS 8 対応を義務付けることを宣言しました。 先日申請しようとした際に64bitに対応してないよと怒られたので、現段階でも申請するアプリには64bit対応が義務付けられているようです。いつかはくることがわかっていましたが、今回やっと64bit対応しました。 ※(11/18更新)現在でも64bit対応が義務付けられていると書いてありますがおそらく間違いです。混乱させてしまい申し訳ありません。 私の場合、validateの時点でワーニングが表示され、64bit対応してから申請したため、64bit対応前に申請していないのですが、おそらく申請はできると思います。validateもあくまでワーニングであり、validateはpassしたと記憶しています。曖昧な記憶で申し訳ありません。 今回は、そ

    iOSアプリ 64bit 対応メモ - Qiita
    KatagiriSo
    KatagiriSo 2015/07/08
    64bit対応
  • MathOverflow

    ag.algebraic-geometry × 75 nt.number-theory × 69 reference-request × 63 fa.functional-analysis × 45 co.combinatorics × 40 rt.representation-theory × 38 lo.logic × 36 pr.probability × 33 set-theory × 31 ct.category-theory × 29 dg.differential-geometry × 25 gr.group-theory × 25 real-analysis × 25 at.algebraic-topology × 24 ac.commutative-algebra × 20 gt.geometric-topology × 20 linear-algebra × 18 al

    MathOverflow
  • 無線LANは、素人は手を出さない方がいい - 中小事業所のオフィスインフラを考える - なからなLife

    今やオフィスも家庭も無線LANが当たり前になってきて、兼任情シスだろうがなんだろうが無線の面倒まで見なくてはいけないです。 そして、あまりにも便利なので利用者のニーズが高く、ちょっと不安定だとクレームも声高になりがちです。利用者自身で解消できることもあるのにー、みたいなイライラもあります。 実際トラブルに見舞われると、無線は目に見えない分、対処がしづらいです。 そんな無線LANが、今回のテーマとなります。 勉強なしに無線LANの世話をするのはキツイのです 適当に買ってきた機材をつないで、割と簡単にネットにつながってしまう製品も多いのですが、この勢いで設置すると早晩破綻します。 勉強する時間も気力もないなら、それを素直に認めて業者に任せましょう。 自宅で無線LANを運用していて、SSIDとパスワードと暗号化のところを理解してきちんと設定が出来ているのであれば、アクセスポイント1台まではなんと

    無線LANは、素人は手を出さない方がいい - 中小事業所のオフィスインフラを考える - なからなLife
    KatagiriSo
    KatagiriSo 2015/07/08
    勉強になりました。
  • [翻訳]プログラマの生産性の壊し方 - Qiita

    George Stockerの「How to destroy Programmer Productivity」の翻訳です(Georgeさんには報告済み)。 間違いがございましたら、ご指摘お願いします。 プログラマの生産性に関する次の画像は、インターネット中を徘徊しています。 ザ・シンプソンズが出てきそうだけれども、「真実だから面白い」。 私は、今まで生産的になる秘密について解明してきませんでした。それは、主には、私が一貫して生産的ではなかったからです。Joel on Softwareのジョエル・スポルスキは、ブログの記事でこのことについて話しています: 時々私は何も終わらせることができなくなります 確かに、私はオフィスに入って、10秒ごとにe-mailをチェックして、ウェブを読んで、アメリカン·エキスプレスでの支払いのようないくつかの頭を使わないタスクを処理します。しかし、コードを書くフロ

    [翻訳]プログラマの生産性の壊し方 - Qiita
  • [Android]retrofitとkimonoで作るお手軽RESTアプリケーション | DevelopersIO

    kimonoについて まずはWEBページのデータを取得してAPI化してくれるサービスkimonoの使い方から説明します。 kimonoはプログラミングが一切不要で、WEBページからデータの抽出をしてくれるとても便利なWEBサービスです。 定期的に指定したURLの情報を取得してjsonやCSVで出力したり、情報に変更があったら指定のURLに通知したりといった事がブラウザ上から簡単に設定できます。 https://www.kimonolabs.com/ ではまず上記リンクからアカウント登録を行い、chromeエクステンションが用意されているのでchrome上から色々試していきます。 アカウント登録とchromeエクステンションの導入部分は省略いたします。 今回はDevelopers.IOのサイトから記事のタイトルを取得してAndroid端末に一覧を表示させる所までをやってみようと思います。 デ

    [Android]retrofitとkimonoで作るお手軽RESTアプリケーション | DevelopersIO
  • Setting up Visual Studio Code

    Version 1.81 is now available! Read about the new features and fixes from July. Getting up and running with Visual Studio Code is quick and easy. It is a small download so you can install in a matter of minutes and give VS Code a try. Cross platform VS Code is a free code editor, which runs on the macOS, Linux, and Windows operating systems. Follow the platform-specific guides below: macOS Linux W

    KatagiriSo
    KatagiriSo 2015/07/08
    macはcode () { VSCODE_CWD="$PWD"; open -n -b "com.microsoft.VSCode" --args; } で通った。
  • Rainy Cafe

    “A moderate level of noise enhances creativity compared to both low and high levels of noise. Moderate background noise induces distraction which encourages individuals to think at a higher, abstract level, and consequently exhibit higher creativity.” Source: Exploring the Effects of Ambient Noise on Creative Cognition

    Rainy Cafe
    KatagiriSo
    KatagiriSo 2015/07/08
    雨音とカフェの音を再現してくれる作業用サイト
  • 【SOCAP15 キックオフイベントレポート(前編)】東京目黒にあるImpact HUB Tokyoはアントレプレナー達の出会いの場 | BOOSTAR

    KatagiriSo
    KatagiriSo 2015/07/08
    こっそりいる