GitHub - Z3Prover/z3: The Z3 Theorem ProverYou 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
オープンソース化されたMSBuildについて - ものがたり
昨日のdotnetconf2015でMSBuildがオープンソースになりましたね。 github.com Miguelがゲストでセッションに参加していて、もしかして何か来るかなと思っていましたが、アタリでした。 このMSBuildのソース、基本的に新しいビルドエンジンのみが対象で、逆に旧エンジンしか無いmonoでは*1、新しいものにdllだけ差し替えるというより、別のツールにするといいかなあと個人的には思っています(xbuildじゃなくてmsbuildにする）が、既に移植を担当する新人ハカー*2がいるので、その辺はそちらの采配次第です。旧エンジンも新エンジンも同じファイル名のtargetsを使っているので、分けて使うのも簡単ではないかもしれませんし。 このMSのコード、昨日仲間内で眺めていたのですが、やはりだいぶWindows依存のコードが多く（"DllImport" とか、それで引っかか
C# 7に向けて(2): 性能と信頼性
C# 7の提案のうちいくつかを見た瞬間、思ったのは「C++ 11みたい」でした。 まあ、背景には、年々C#の適用範囲が広がっていること、そして、オープンソース化に伴って今後はさらに広がるであろうことがあります。 ゲーム開発の標準言語と言えばC# その広がった先の1つはゲーム開発でしょう。「ゲーム開発の標準言語と言えばC#」なんていう煽り(わりかしほんとに「煽り」ではあると思う。「話題にならないよりは炎上する方がマシ」くらいの覚悟の上の)もあります。まあ、割かし昔から、ゲーム開発者にもC#好きな人はいて、ゲーム会社の社内ツールなんかはC#で書かれることが結構あったみたいです。しかし、「ゲーム自体を」となると、これは割かし最近の話。「XNAがあったし(震え声)」と小声で主張もしたいところですが、実際のところ、割かし皮肉なことに、「C#でゲーム開発」が注目を浴びるようになったのはUnityのおか
.NET 2015とは何か
オンラインイベント「Connect();」で、マイクロソフトが明らかにした.NET 2015構想。本稿では、.NET 2015を構成する主要素について概観していく。 連載目次 マイクロソフトが先日開催したオンラインイベント「Connect();」では、.NET関連の発表が多数行われた。Visual Studio（以下、VS）の最新バージョン、VS 2015 Preview、VS 2013 Communityなど、注目すべきトピックは多々あるが、ここでは.NETの新バージョン「.NET 2015」にフォーカスを当て、そのPreview版を基に.NET 2015の構成要素を概観していく。 もう1つの大きなトピックであるVS 2015については、山本康彦氏による記事「VS 2015の新機能をプレビュー版で見てみよう」を参照していただきたい。 .NETとは何だったのか .NET 2015の話をする
マイクロソフト、Linux版の.NETをDocker上でデモ。Visual Studioからリモートデバッグ可能
マイクロソフト、Linux版の.NETをDocker上でデモ。Visual Studioからリモートデバッグ可能 マイクロソフトは先週開催した同社のイベントConnect();で、.NETコアランタイムと.NET server frameworkのオープンソース化、およびLinux版とMacOS X版オフィシャルディストリビューションのリリースを発表しました。 ［速報］マイクロソフト、サーバサイドの「.NET Core Rutime」と「.NET Framework」のオープンソース化を発表。C#コンパイラやASP.NETなど ［速報］マイクロソフト、「.NET server framework」のLinuxとMacOS X用オフィシャルディストリビューションを発表。.NETアプリケーションのビルド、実行が可能に これにあわせて同社は、Linux上のDockerコンテナの上でC#で記述され
Microsoft Research Silicon Valley 最後の日を見て - iwiwiの日記
8 月中旬より，インターンとしてマウンテンビューに位置する Microsoft Research Silicon Valley (MSR SVC) に滞在して研究をしていました．期間は 3 ヶ月の予定で，11 月中旬まで居る予定でした．しかし，Microsoft の経営判断により MSR SVC の閉鎖が突然決定され，所属チームの方々を含む殆どの研究者は解雇となり，僕の滞在も突如終了になりました． このショッキングな事件は，英語のみならず日本語のニュースサイトにも取り上げられています． Microsoft to close Microsoft Research lab in Silicon Valley | ZDNet Microsoft Research closing Silicon Valley lab in latest job cuts - GeekWire http://www
算数、数学の宿題を爆速で終わらせる「Microsoft Mathematics」を紹介する - しがない学生の雑記
こんばんは。艦これのメンテが伸びてしまったのでTwitterをダラダラ見ていたら、こんなソフトが紹介されていました。 Download Microsoft Mathematics 4.0 (英語) from Official Microsoft Download Center （英語）とか書かれていますけど、ページに行けば普通に日本語版がダウンロードできます。 試しに起動してみたんですが、こいつが相当にすごい。数学のソフトで無料のものと言ったら、自分が知ってるものではscilabとかfunctionViewとかぐらいしかなかったんですが、このMicrosoft Mathematicsは数学の宿題を消すために生まれてきたかのようなソフトです。 たとえば、とても簡単な例として、ｘを０～１で定積分を求めると、 こんな感じで回答が出るんですが、注目すべきはこの中央の「解法」ってところです。試しに押
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【海外ITトピックス】 PCの次の革新？ Microsoftのホログラムデバイス「HoloLens」
米MS、開発・実行環境をOSS化し、IDEの無償版を提供――あらゆる開発者・アプリケーション向けの統合開発基盤構築を目指す