動的型付け - Wikipedia
動的型付け（どうてきかたづけ、英: Dynamic typing）とは、値やオブジェクトの型安全性を、実行時に検証するというコンピュータプログラミングの型システムの方法である。型の検査は実行時のプロセス上で行われて、ランタイムシステムの実行時型情報（RTTI）が照会されるなどして解析される。 動的な型チェックは、代入、束縛、関数適用、ダウンキャスト、ディスパッチ、バインディングといった所で行われる。なお、コンパイル時やインタプリタ開始時の最適化によってすでに型安全性が保証されている所は省略される。動的型付けの言語では、引数や返り値や変数宣言への型注釈が省略されやすくなる。 対義語は静的型付けであり、こちらでは値やオブジェクトの型安全性をコンパイル時に検証する。型の検査はソースコードの解析によって行われる。 動的型付けのルーツはLISPにさかのぼる。LISPは、同時期のFORTRANやCOB
未払い養育費を“手間なく”回収できる「iCash」--埋もれた権利をスマホでお金に
（左から）iCash取締役CTOの齋木保範氏、同社代表取締役社長の齋木拓範氏、同社Co-Founderの伊澤文平氏 これは、眠っている権利をお金に変えるサービスで、第一弾は今まで回収が難しかった養育費の未払い問題を解決する。アプリから必要事項を記入することでおおよその支払額を提示。のちほど郵送される封筒に書類を入れて送付すれば、あとは回収するまで待つのみというシンプルさが特徴。 回収すると、システム利用料20％（現在ベータ版のため調整中とのこと）を差し引いた額がアプリのウォレットに蓄積される。一般的な法律相談所で必要となる着手金といった初期コストや面談、裁判は不要だが、別途弁護士費用が発生する（こちらもベータ版につき具体的な金額については調整中としている）。 iCashはシングルマザーからデータを受け取ると、提携している弁護士などに依頼して元夫を探し出して回収する。これまでは元夫の居場所を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
