約 544,436 件
https://w.atwiki.jp/hirotakaohkubo/pages/42.html
4.7 定理4.1から4.3は帰納法による退屈な式変形で示せる。 定理4.4は不明。証明の過程で問題4.9の式を使うようだ。 4.8 dropM d _ | d 0 = error "What to play?" dropM d m = droM d (padM m) droM d (Prim (Note p d0)) = if d0 d then Prim (Note p (d0− d)) else Prim (Rest 0) droM d (Prim (Rest d0)) = Prim (Rest (max 0 (d0− d))) droM d (m1 = m2) = droM d m1 = droM d m2 droM d (Tempo a m) = Tempo a (droM (d ∗ a) m) droM d (Trans a m) = Trans a (droM d m) droM d (m1 + m2) = let d1 = durM m1 in if d d1 then droM d m1 + m2 else droM (d − d1) m2 同等であること示すのは、定理4.4の証明と同等に困難。 4.9 わかりません。 4.10 演奏とその長さを対にして返すようにする。 perform Context → Music → Performance perform c m = fst (perf c (padM m)) perf Context → Music → (Performance, DurT) perf c@(Context t dt k) m = per m where per (Prim (Rest d)) = ([ ], d ∗ dt) per (Prim (Note p d)) = ([Event t (absPitch p + k) (d ∗ dt)],d ∗ dt) per (m1 + m2) = let (p1,d1) = per m1 (p2,d2) = perf (c{cTime = t + d1}) m2 in (p1 ++ p2, d2) per (m1 = m2) = let (p1,d1) = per m1 (p2,_ ) = per m2 in (merge p1 p2, d1) per (Tempo a m) = perf (c{cDur = dt/a}) m per (Trans p m) = perf (c{cKey = k + p}) m この答えは不完全である。 なぜなら、padMのpadがまたdurMを呼び出すところに、本質的に同じ無駄があるからである。 同様のアプローチでdurMも効率化しなければならない。 4.11 「時系列」を「時刻の昇順に整列されたイベントのリスト」として、帰納法で容易に証明できる。 4.12 いずれも退屈な証明と予想される。 コメント 名前 コメント
https://w.atwiki.jp/akios/pages/63.html
4. 型と値と変数 4.1. 型と変数の種類 4.2. プリミティブ型と値 4.3. 参照型と値 4.3.1. オブジェクト 4.3.2. Objectクラス 4.3.3. Stringクラス StringクラスのインスタンスはUnicodeコードポイントの列を表します。 Stringオブジェクトは定数(変更不可)値です。 文字列リテラルはStringクラスのインスタンスへの参照です。 文字列結合演算子+は結果がコンパイル時に定数式でなければ暗黙的に新しいStringオブジェクトを作成します。 4.3.4. 参照型が同じである条件 4.4. 型変数 4.5. 引数付き型 4.6. 型の抹消 4.7. 具象可能型 4.8. 未加工型 4.9. 交差型 4.10. サブタイプ化 4.11. 型の使用箇所 4.12. 変数
https://w.atwiki.jp/goodgames/pages/908.html
BF4 Beta - 15 本日は一気に作業を進める予定でございます。 ・GeForce TITAN ULTRA / i7-4770K@4.4Ghz ・GeForce GTX660 LOW / i7-4770K@4.4Ghz ・GeForce GTX660 MID / i7-4770K@4.4Ghz ・GeForce GTX660 HIGH / i7-4770K@4.4Ghz ・GeForce GTX770 LOW / i7-4770K@4.4Ghz ・GeForce GTX770 MID / i7-4770K@4.4Ghz ・GeForce GTX770 HIGH / i7-4770K@4.4Ghz ・GeForce GTX770 ULTRA / i7-4770K@4.4Ghz ・RADEON HD7870 LOW / i7-4770K@4.4Ghz ・RADEON HD7870 MID / i7-4770K@4.4Ghz ・RADEON HD7870 HIGH / i7-4770K@4.4Ghz ・RADEON HD7950 LOW / i7-4770K@4.4Ghz ・RADEON HD7950 MID / i7-4770K@4.4Ghz ・RADEON HD7950 HIGH / i7-4770K@4.4Ghz ・RADEON HD7950 ULTRA / i7-4770K@4.4Ghz ・HD6850 720p / i7-4770K@3.5Ghz 88GTとHD4000(HD4600)はどうするか... ( - )
https://w.atwiki.jp/sabapena/pages/198.html
結果 チーム成績 順位 勝 敗 分け 勝率 5位 59 80 2 .424 投手成績 防御率 被打率 失点率 奪三振 与四球 3.93 .273 4.4 632 531 野手成績 打率 本塁打 犠打(*1) 四死球(*2) 出塁率 得点率 盗塁 .276 74 134 602 .353 4.1 21 OPS(*3) 失策 守備率 ±(*4) .722 81 .982 -15.64 選手名鑑 監督 バレンタイン 投手コーチ 安田 打撃コーチ 初芝 守備走塁コーチ 鬼軍曹 投手 阿久津正臣 ましろ 蚕 らっきょ ナットミン 綾瀬 捕手 ×× 内野手 雪月華 MUGEN H軟膏 外野手 もっさり リックス Today - / Total - Update 2009-11-20
https://w.atwiki.jp/aionten/pages/5.html
血戦装備 槍 65 256枚 PVP攻撃力 +11.6%攻撃速度 +18% 合計 256枚 PVP攻撃力 +11.6% 胴 65 171枚 PVP防御力 +5.7% 腰 65 128枚 PVP防御力 +4.5% 足 65 85枚 PVP防御力 +3.4% 肩 65 85枚 PVP防御力 +3.4% 手 65 85枚 PVP防御力 +3.4% 合計 554枚 PVP防御力 +20.4% あたま 65 171枚 PVP防御力 +2.2% ネックレス 65 171枚 PVP攻撃力 +4.4% イヤリング 65 128枚 PVP攻撃力 +3.3% リング 65 85枚 PVP攻撃力 +2.1% ベルト 65 85枚 PVP攻撃力 +2.1% 合計 853枚 PVP攻撃力 +17.3%PVP防御力 +2.2% ウイング 団体 証 Lv アイテム名 効果 グリーン ハット(傾向として対人向け) 81枚 65 シャイニング ピュリフィケーション ウイング HP +453物理クリティカル抵抗 +49最大飛行時間 +88物理クリティカル +4物理防御 +14麻痺抵抗突破 +2 シルバーリン(傾向として狩り向け) 81枚 65 シャイニング シルバーリン ウイング HP +453物理クリティカル抵抗 +49最大飛行時間 +56攻撃力 +2命中 +5麻痺抵抗 +4 のりもの タワーオブアイオンの商標および著作権表示 The Tower of AION™ is a trademark of NCsoft Corporation. Copyright © 2010 NCsoft Corporation. NC Japan K.K. was granted by NCsoft Corporation the right to publish, distribute and transmit The Tower of AION™ in Japan. All rights reserved.
https://w.atwiki.jp/akios/pages/72.html
4. 型と値と変数 4.1. 型と変数の種類 4.2. プリミティブ型と値 4.3. 参照型と値 4.4. 型変数 4.5. 引数付き型 4.6. 型の抹消 4.7. 具象可能型 4.8. 未加工型 4.9. 交差型 交差型(intersection type)はT1 ... Tn(n 0)の形式をとります。ここでTi (1 ≦ i ≦ n)は型式です。 交差型は捕捉変換や型推論の処理中に生じます。プログラムの一部として交差型を直接書くことはできません。これに対する文法はありません。 交差型の値は1≦i≦nに対する全ての型Tiの値であるオブジェクトです。 交差型T1 ... Tnは以下の通り決定されます。 各Ti(1≦i≦n)に対し、Ti Ciである最も特殊なクラスもしくは配列をCiとします。その時、任意のi(1≦i≦n)に対しCk CiであるようなTk Ckが存在します。なければコンパイル時にエラーとなります。 1≦j≦nに対し、もしTjが型変数ならば、Tj をTjのpublicメンバーと同じメンバーのインタフェースとします。そうではなく、もしTjがインタフェースならば、Tj はTjとします。 その時、交差型は交差型が現れる同じパッケージ内で宣言された本体のないクラス型と直接スーパークラスCkと直接スーパーインタフェースT1 ... Tn と同じメンバーを持ちます。 交差型と型変数の制限の間の区別について詳しく記述する価値があります。全ての型変数の制限は交差型を誘導します。この交差型はしばしば取るに足りません(すなわち、単一の型からなります)。制限の形式は生じる特定の面倒な状況を排除するために制限されます(最初の要素だけはクラスや型変数である場合があり、ただ一つの型変数が制限の中に現れるかもしれません)。しかしながら、捕捉変換は制限がよりジェネラルな(例えば配列)型変数の作成する結果につながることができます。 4.10. サブタイプ化 4.11. 型の使用箇所 4.12. 変数
https://w.atwiki.jp/kobapan/pages/197.html
新しい splash screen をインストールしようとしたら、 You need at least KDE 4.8 to use this theme! と書いてある これなのか? ↓ $ dpkg -l | grep kde ii kde-config-gtk-style 1 1.1+svn5-4+b1 KDE configuration module for GTK+ 2.x style selection ii kde-l10n-ja 4 4.4.5-1 Japanese (ja) localization files for KDE ii kde-plasma-desktop 5 66 the KDE Plasma Desktop and minimal set of applications ii kde-standard 5 66 the KDE Plasma Desktop and standard set of applications ii kde-window-manager 4 4.4.5-7+squeeze1 the K window manager (KWin) ii kdebase-apps 4 4.4.5-2 base applications from the official KDE release ii kdebase-bin 4 4.4.5-2 core binaries for the KDE base applications ii kdebase-data 4 4.4.5-2 shared data files for the KDE base applications ii kdebase-runtime 4 4.4.5-1 runtime components from the official KDE release ii kdebase-runtime-data 4 4.4.5-1 shared data files for the KDE base runtime module ii kdebase-workspace 4 4.4.5-7+squeeze1 KDE Plasma Workspace components ii kdebase-workspace-bin 4 4.4.5-7+squeeze1 core binaries for the KDE Plasma Workspace ii kdebase-workspace-data 4 4.4.5-7+squeeze1 shared data files for the KDE Plasma Workspace ii kdebase-workspace-kgreet-plugins 4 4.4.5-7+squeeze1 KDE greet libraries for authentication ii kdegraphics-libs-data 4 4.4.5-2 data files for libraries from the kdegraphics module ii kdelibs-bin 4 4.4.5-2+squeeze3 core executables for KDE Applications ii kdelibs5-data 4 4.4.5-2+squeeze3 core shared data for all KDE Applications ii kdelibs5-plugins 4 4.4.5-2+squeeze3 core plugins for KDE Applications ii kdepasswd 4 4.4.5-2 graphical password changing utility ii kdepim-runtime 4 4.4.7-1 Runtime components for akonadi-kde ii kdepimlibs-kio-plugins 4 4.4.5-2 kio slaves used by KDE PIM applications ii kdeplasma-addons 4 4.4.5-1 addons for Plasma ii kdesudo 3.4.2.3-2+b1 sudo frontend for KDE ii libakonadi-kde4 4 4.4.5-2 library for using the Akonadi PIM data server ii libkde3support4 4 4.4.5-2+squeeze3 the KDE 3 Support Library for the KDE 4 Platform ii libkde4-ruby1.8 4 4.4.5-3 KDE bindings for Ruby 1.8 ii libkdecorations4 4 4.4.5-7+squeeze1 library used by decorations for the KDE window manager ii libkdecore5 4 4.4.5-2+squeeze3 the KDE Platform Core Library ii libkdepim4 4 4.4.7-3 KDE PIM library ii libkdesu5 4 4.4.5-2+squeeze3 the Console-mode Authentication Library for the KDE Platform ii libkdeui5 4 4.4.5-2+squeeze3 the KDE Platform User Interface Library ii libkdewebkit5 4 4.4.5-2+squeeze3 the KDE WebKit Library ii libkworkspace4 4 4.4.5-7+squeeze1 library for the kdebase workspace ii libsmokekdecore4-3 4 4.4.5-3 KDE Core Smoke libraries ii libsmokekdeui4-3 4 4.4.5-3 KDE Ui Smoke libraries ii network-manager-kde 1 0.9~svn1141976-1 KDE system tray applet for controlling NetworkManager ii openoffice.org-kde 1 3.2.1-11+squeeze8 office productivity suite -- KDE integration ii oxygencursors 0.0.2010-05-10-kde4.4.3-1 Oxygen mouse cursor theme ii polkit-kde-1 0.95.1-2+b1 KDE dialogs for PolicyKit ii python-kde4 4 4.4.5-3 Python bindings for the KDE Development Platform ii uim-applet-kde 1 1.5.7-9.1 KDE applet for uim ii update-notifier-kde 1.2 Update notifier for the KDE Plasma Desktop しかし、kde とか kde-core とかってのはないのね kdebase-bin のバージョンを見ればよいのだろうか
https://w.atwiki.jp/akios/pages/79.html
4. 型と値と変数 4.1. 型と変数の種類 4.2. プリミティブ型と値 4.3. 参照型と値 4.4. 型変数 4.5. 引数付き型 4.6. 型の抹消 4.7. 具象可能型 4.8. 未加工型 4.9. 交差型 4.10. サブタイプ化 4.11. 型の使用箇所 4.12. 変数 4.12.1. プリミティブ型の変数 プリミティブ型の変数は常にその正確なプリミティブ型のプリミティブ値を保持します。 4.12.2. 参照型の変数 4.12.3. 変数の種類 4.12.4. final変数 4.12.5. 変数の初期値 4.12.6. 型とクラスとインタフェース
https://w.atwiki.jp/akios/pages/53.html
4. 型と値と変数 4.1. 型と変数の種類 Javaプログラミング言語の型は大別すると、プリミティブ型と参照型の2種類に分けられます。従って、変数に保存され、引数として渡され、メソッドの戻り値として返され、演算されるデータ値には、それぞれプリミティブ値と参照値という2種類が存在します。 Type PrimitiveType ReferenceType ヌル型(null type)という特別な型があります。式nullの型であり(3.10.7.、15.8.1.)、名前を持ちません。 ヌル型は名前を持たないため、ヌル型の変数を宣言したり、ヌル型へキャストすることはできません。 ヌル参照はヌル型が唯一取りうる値です。 ヌル参照はどの参照型への拡幅参照変換も常に行うことができます。 実際には、プログラマーはヌル型を無視し,nullを任意の参照型となれる単なる特別なリテラルであると見なすことができます。 4.2. プリミティブ型と値 4.3. 参照型と値 4.4. 型変数 4.5. 引数付き型 4.6. 型の抹消 4.7. 具象可能型 4.8. 未加工型 4.9. 交差型 4.10. サブタイプ化 4.11. 型の使用箇所 4.12. 変数
https://w.atwiki.jp/hyakujuutaisenn/pages/109.html
ミッションをプレイ 悪魔猛虎「アルゴル」(マスターレベル4.4) 攻撃力 9400 体力 9300 総合力 11600 相手 バイソン組長 総合力10300 1ターン負け レベル4 ウルトラ 昼食のオトシマエ 4500 自分デビルリボーン (総合力12500) 2ターン勝ち レベル3 グレート じごく蹴り 5800 相手カイザーフラッシュ(総合力10900) 3ターン勝ち レベル5 アルティメット ネクロギガブレイク 9300(モノスゴダメージ、アイコダメージ、キアイダメージ) K.O