逆にこの時確かにそうなる。

逆に,このとき与式は確かに恒等式になる

オーバーロード

オーバーロードとは,名前が同じである複数の関数等において,引数等の型や個数によって処理を分岐できる仕組みのことである。

f:id:nipox25:20181021111218p:plain

f:id:nipox25:20181021111241p:plain

f:id:nipox25:20181021111305p:plain

f:id:nipox25:20181021111331p:plain

f:id:nipox25:20181021111502p:plain

f:id:nipox25:20181021111513p:plain

f:id:nipox25:20181021111534p:plain

f:id:nipox25:20181021111549p:plain

f:id:nipox25:20181021111611p:plain

f:id:nipox25:20181021111637p:plain

f:id:nipox25:20181021111656p:plain

f:id:nipox25:20181021111713p:plain

f:id:nipox25:20181021111734p:plain

f:id:nipox25:20181021111911p:plain

f:id:nipox25:20181021111933p:plain

f:id:nipox25:20181021111953p:plain

f:id:nipox25:20181021112059p:plain

f:id:nipox25:20181021112126p:plain

f:id:nipox25:20181021112157p:plain

f:id:nipox25:20181021112234p:plain

f:id:nipox25:20181021112307p:plain

f:id:nipox25:20181021112335p:plain

 

Googleという関数に"オーバーロード"なる文字列を渡したつもりだったが,特に型を指定しなかったので,暗黙のうちに「ライトノベルの名称」という型であると解釈されて検索が実行されてしまった。こういうのをエンティティの型付け,entity typing,またその対象を型付きエンティティ,typed entityという。