Hashのブックマーク / 2015年5月16日 - はてなブックマーク

Hash id:Hash

2015年5月16日のブックマーク (5件)

第五世代コンピュータ - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年9月）第五世代コンピュータ（だいごせだいコンピュータ）計画とは、1982年から1992年にかけて日本の通商産業省（現経済産業省）所管の新世代コンピュータ技術開発機構（ICOT）が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された。第五世代とはICOTが定義した電子計算機の分類に由来し、第一世代（真空管）、第二世代（トランジスタ）、第三世代（集積回路）、第四世代（大規模集積回路）に続く、人工知能対応の次世代技術を意味した。プロジェクトの三本柱は、非ノイマン型計算ハードウェア、知識情報処理ソフトウェア、並行論理プログラミング言語とされた。当プロジェクトの評価には賛否
Hash 2015/05/16
なんだこの「歴史から葬られた先の大戦」感は

wikipedia

japan

Prolog

研究
リンク
Review: Top 5 Web-based Presentation Tools Compared — SitePoint
November 11, 2014Review: Top 5 Web-based Presentation Tools Compared Key Takeaways The top five web-based presentation tools reviewed are Slides, ZOHO Docs, Google Slides, Emaze, and Visme. Each offers unique features and varying levels of customization, making them suitable for different user needs. Slides and Emaze are recommended for users seeking a high-quality slide builder with a robust free
Hash 2015/05/16
web

presentation

tool
リンク
タックスアンサー｜国税庁
タックスアンサーでは、よくある税の質問に対する一般的な回答を調べることができます。ピックアップ情報（お知らせ）ピックアップ令和5年分　確定申告特集を公開しました（令和6年1月4日）ピックアップNo.1900　給与所得で確定申告が必要な方ピックアップNo.2026　確定申告を間違えたときはこちらをご覧ください。ピックアップNo.2030　還付申告はこちらをご覧ください。 ※ 令和６年能登半島地震に関するお知らせはこちらをご覧ください。 ※ 東日本大震災により被害を受けた場合等の税金の取扱いについてはこちらをご覧ください情報を探すタックスアンサーでは、次の方法により情報を探すことができます。
Hash 2015/05/16
税FAQ

tax
リンク
東京から京都や大阪往復で，帰りに金沢に寄ってもプラス数百円 - 北陸新幹線で行く，はじめての金沢
乗車券を一周するように長く買うと割安に JRの乗車券は，長い区間ほど1kmあたりの運賃が安くなります。ただし，乗車券を1枚にできるのは，交わらずに一筆書きできるところまで。同じ駅を2度目に通るところで乗車券は打ち切られます。それで，大きく一周するルートがとれるほど有利なことを，東京から福井往復の記事で書きました。東京と北陸間は，ループする経路でも行きと帰りで所要時間があまり変わらない地域があり，これで交通費を節約する手法は，以前から使われていました。 2015年3月の北陸新幹線の開業で，東京・金沢間が大幅に時間短縮されたため，別ルートが考えにくかった東京から関西への用事でも，行きか帰りに北陸へ回るルートが現実的になってきました。東京から京都・大阪往復で，北陸に寄り道でも効果絶大その一つが，すでにいろいろ試されている，東京・関西の往復で，片道だけ金沢に寄っても，数百円の追加出費で済むこ
Hash 2015/05/16
関西往復の帰りに余裕がある時行ってみるか

life

travel
リンク
Gödel (programming language) - Wikipedia
Gödel is a declarative, general-purpose programming language that adheres to the logic programming paradigm. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It is named after logician Kurt Gödel. Gödel has a module system, and it supports arbitrary precision integers, arbitrary precision rationals, and also floating-point numbers. It
Hash 2015/05/16
「ゲーデル」ってプログラミング言語があるのか...

programming

wikipedia
リンク
- 2015年5月17日
- 2015年5月16日
- 2015年5月15日