渤海で１億トン級の新たな大型石油・ガス田見つかる 中国
渤海で新たに見つかった石油・ガス田「渤中13ー2」（2021年2月21日撮影）。(c)Xinhua News 【2月24日 Xinhua News】中国石油大手の中国海洋石油集団は22日、渤海で1億トン級の大型石油・天然ガス田を発見したと明らかにした。 「渤中13－2」と名付けられた同石油・ガス田は、渤海の中部海域に位置する。渤海ではここ数年、大型コンデンセートガス田「渤中19－6」や1億トン級油田「墾利6－1」など一連の重要な石油・天然ガスの発見が相次いでいる。 同社の関係責任者によると、「渤中13－2」が発見された主要エリアは太古代の潜丘構造に属するため、探査難度が高いという。同社の探査要員は、太古代の潜丘に良質な石油・ガス貯留層があるかどうか、油層・ガス層を形成できるかどうかという二つの難題をめぐり、これまでの地質学的理解を刷新することで、油層・ガス層形成の新モデルを提示。大型で軽質
Unityにおける「設計レベル」を定義してみた - Qiita
レベル-1 : C#の文法がわかってない まず根本として「C#の文法がわかっていない」がレベル-1として存在すると考えます。 つまり「UnityのAPI」と「C#の言語機能」の区別がついていない状態です。 この状態では設計の話をするよりも、まずC#の学習をするのが先になります。 レベル-1を脱出するためには まずC#の言語機能を抑えよう MonoBehaviourを使わないクラス定義のやり方を覚える 今使っている機能がUnityAPIなのかどうかの区別をつける レベル0 : 設計なし レベル0は「設計なし」という状態です。 後先考えず、MonoBehaviourを継承した上で手当たり次第に実装を行っている状態です。 「プロトタイピングレベルの超小規模・超短期間な開発」であればこのやり方でも上手くいくかもしれませんが、「ユーザリリースを前提とした開発」では推奨しません。 この状態で1週間も開
型付けは難しい
ベン・フィードラーのブログより。 型検査と型推論 型検査とは、あるプログラミング言語で与えられたプログラムを実行し、すべての変数や式が正しい型を持っているかどうかを調べるプロセスです。例えば、文字列は文字列に代入され、算術式は数値のみを使用するなどです。一部の言語では型推論を提供しており、コンパイラに自分で正しい型を見つけるタスクも提供します。言語の特徴に応じて、型検査と型推論の問題は、些細なものから決定不能なものまで様々です。 一般的な用語 完全性 正しく入力されたプログラムを全てチェックできれば、タイプチェッカーは完了です。 健全性 正しく型付けされたプログラムのみを受け付けるものであれば、型検査は健全です。 決定可能性 任意の入力に対して、その入力が問題を満足するかどうかを有限時間で計算できる場合、決定問題は決定可能です。決定可能な問題の例としては、素数判定や充足可能性などがあります
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
UnityのuGUI記述ライブラリ『Mux』をオープンソース化いたしました - ピクシブ株式会社
東工大、IoT向けCPUアーキテクチャ「SubRISC+」。エネルギー効率3.8倍
