サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Pixel 9
qnighy.github.io
LL Toy Classical Logic Intuitionistic Logic Modal Logic Modal Logic K Modal Logic T Modal Logic S4 Linear Logic Proposition Start!
Coq演習2014 について 世の中には締め切りがないとなかなか勉強できないという人がいます。そこで、Coqの証明課題に締め切りつきで取り組める企画というのがあれば、今まで興味があるが手を出せなかった人もCoqをはじめることができるのではないかと考えました。それがこの「Coq演習2014」です。 あと、まとまった資料を作ろうとするとだいたい先にやる気が切れてしまうので、資料は最低限のものだけに留めようと思います。できるだけ省パワーでやります。必要な情報は自力で収集しましょうというスタンスです。もちろん、質問には答えます。 この企画は担当のやる気がなくなったら終了(お流れ)になります。ごめんなさい。 形式 2学期制の大学の1学期分と考えて、1週間に1回の演習を13-15回程度行う形式でいこうかなと考えています。 これは単なる自主企画なので、実際の単位にはなりませんが、雰囲気を出すために評定を
筆者: qnighy 0完太陽 0完だった時に、そのことを太陽を使って華々しく報告すること。JAPLJが最初にはじめた行為である。 0完以外の場合、得点状況に応じて「きゅうり」(緑色の物体を吐く人物)やリスが使われる。 「草が生える」の発展形として、「太陽が生える」という極めてシュールな形容がなされることがある。 0点 (れいてん) [スラング] semiexpによる用語。満点でないことを指す。 11℃ (じゅういちど) [スラング] 華氏温度で51.8°F。ケルビン温度で284.15K。外国(特にタイ)の夏場のホテルの空調の標準的な設定温度である。 AOJ (えーおーじぇー) Aizu university Online Judgeの略。会津大学が運営するオンラインジャッジである。国内の問題が提供されていたり、日本語の問題文が提供されているのが特徴である。 AtCoder (あっとこーだ
筆者: qnighy 競技プログラミングでは手続き型言語として必要な最低限度の言語仕様さえ覚えておけば問題ないとされることが多い。 その一方で、ある種の特殊な言語仕様を知らないことによって特殊なバグに悩まされることも少なくない。 そこでここでは、そのような競技者の嵌りやすい罠を見つけ次第挙げていきたい。 CとC++の配列初期化の罠
筆者: qnighy qnighy( id:qnighy , @qnighy )による情報オリンピックの問題および解説です。 このページの作者 このページの作者であるqnighyは、アルゴリズムとかが割と好きな高校生です。 qnighyの戦績を挙げます。 東工大および阪大が主催するスーパーコンピューティングコンテスト(SuperCon)の2009と2010にチームZATORIKUとして参加し、2度とも優勝しました。 第22回国際情報オリンピック(カナダ大会)に日本代表として参加し、金メダル(300人中16位タイ)を獲得しました。 第23回国際情報オリンピック(タイ大会)に日本代表として参加し、銀メダル(302人中28位タイ)を獲得しました。 このページの目的 このページは、国際情報オリンピック(IOI)やそれに近い系統のレベルの高い大会において、よりよい成績を残すために、日本語話者にとって
このページを最初にブックマークしてみませんか?
『自己紹介 - quantified-qnighy』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く