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
Our Patreons Diamond SponsorsSteven & Felix Halim Reinardus Pradhitya Gold Sponsors--- YOUR NAME HERE ---- Silver Sponsors--- YOUR NAME HERE ---- Bronze SponsorsChristianto Handojo Krzysztof Adamek Fatima Broom Amal Augustine Now available! The Spanish version of Parts 1-3 of the fantastic book series Algorithms Illuminated by Tim Roughgarden. Part 4 coming soon! More info and buying options at: h
Problem Set is the place where you can find large amount of problems from different programming contests.Online Judge System allows you to test your solution for every problem. First of all, read carefully Frequently Asked Questions. Then, choose a problem, solve it and submit your solution. If you want to publish your problems or setup your own online contest, just write us. Peking University ICP
線形代数とは -Introduction- 線形代数は線形写像という性質の良い写像を扱うための学問です。 この章では、線形代数の主役である線形写像とは何かを順を追って説明していきます。 線形代数とは 写像 もうちょっと写像 ベクトル空間 線形写像 行列とは 線形代数で突然現れる行列。あれはただの数が並んだものではありません! 行列の意味を知ると線形代数がよりよくみえてきます。 行列 行列の意味を知りたい方はこちら! 行列の各部の名称 行列の例 行列の和 行列の積 複雑な定義をされている行列の積。行列の積の謎に迫る! 連立方程式 歴史的には、線形代数は連立方程式の考察から生まれてきました。ここでは、連立方程式について線形代数の立場から解説します。連立方程式について知ることは線形代数を知ることにつながります。 連立方程式 解空間 連立方程式の解全体の空間はどのような構造をしているかを解説します
なんとこのチーズケーキ、豆腐が入ってるんです! 秘密の王子様というTV番組で紹介されていたこのチーズケーキのレシピ。 番組では陣内智則さんもビックリ!していましたよ。 実際に試してみたところ、料理が苦手な私コウスケ(@kosstyle)でもカンタンに美味しくできました! しかも、クリームチーズを使わず、カロリー5割カットなのだそうです! 実際につくったときの写真と合わせてレシピを紹介するので、ぜひお試しあれ。 オーブンなど特別なものは要らず、たった3ステップ。 恐ろしくカンタンです! 卵 1個ホットケーキミックス 100g砂糖 60gヨーグルト 180g豆腐 半丁くらい粉チーズ 大さじ4杯 1. 炊飯器に、材料全てを入れて混ぜる 2. 釜ごと下へコンコンと当てて、生地の中の気泡を取り除く 3. あとは「炊飯」スイッチを押すだけ! まとめ たったこれだけで、こんなにキレイにできちゃいます!
最近はTumblrテーマばかり作っているからめっきりやってないけど、ぼくは5年前くらいから同人誌のデザインを依頼されたら作るという活動をしていて、自分のサイトにも掲載している。 同人誌のデザイン、同人作家さんからデザインやってくださいみたいに依頼されるので、作って納品する。大抵は表紙(表1・表4)。そこで、デザインを考えるときの工程を下記にまとめる。最近紙もののデザインを殆どしてないので、事例が2〜4年前くらいのばかりになった。 同人誌、デザインも含めて自分ですべて作りたいという人にとっては、一番楽しい部分をアウトソーシングしちゃうのかよという感じかもしれない。全部自分でやりたい人は普通にそうすればよいと思う。一方で、デザインが苦手で、誰かに任せたほうがうまくいくと思ったなら、第三者に依頼するという選択肢もある。ぼくは特に営業活動みたいなのをしたことないので、そうやって依頼された案件だけを
結論 最強のプログラム検証器 最強の関数型言語 最強のプログラム検証器 Coqは最強の表現力を持つ仕様記述言語を使う 仕様記述言語は検証したいこと を記述するための言語 表現力は検証器によって全然違う 表現できる範囲が、検証器の限界 Coqのそれは高階述語論理 ← 最強 最強のプログラム検証器 Coqを使うためにはPhDが必要? 高校生でも練習すればできる (c.f. プログラミングCoq) 最強のプログラム検証器 証明を人間が与えるのが大変? タクティックによる自動化はOCamlでいくらでも可能 型チェッカはタクティックと独立なので安全 既にomegaなどの自動証明アルゴリズムを実装したタクティックあり 最強の関数型言語 Coqは(型の表現力が)最強の関数型言語 型の表現力が最強 型推論は完全ではない 停止性は保証しなければならない 注意: ここでの関数型言語とは (ラムダ計算を基礎とし
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く