#deduce

7 months ago

Meaning Behind the Word: Derive The term derive means to obtain something from a specific source or origin. It can also refer to the process of reasoning or deducing information from existing knowledge or p...

Meaning Behind the Word: Derive #Word #Meaning #Derive #Source #Obtain #Deduce #Reason #Infer #Extract #Conclusion #Formula #Origin #Interpret #Process #Foundation

0 1 0 0

サードニュース@相互フォロー100%

@new3rd.bsky.social

1 year ago

CHEQがAIなりすまし詐欺対策企業Deduceを買収しセキュリティ強化へ CHEQがDeduceを買収！AIによるなりすまし詐欺対策技術を取り込むことで、セキュリティプラットフォームの機能を大幅に強化します。

CHEQがAIなりすまし詐欺対策企業Deduceを買収しセキュリティ強化へ #東京都 #千代田区 #サイバーセキュリティ #CHEQ #Deduce

CHEQがDeduceを買収！AIによるなりすまし詐欺対策技術を取り込むことで、セキュリティプラットフォームの機能を大幅に強化します。

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Readings shared October 11, 2024 The readings shared in Mastodon on 11 October 2024 are Readings shared October 10, 2024. #ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Agda #Math #HoTT #LLMs ImProver: Agent-based automated proof optimi

Readings shared October 11, 2024. jaalonso.github.io/vestigium/po... #ITP #LeanProver #Coq #Deduce #IsabelleHOL #Math #LLMs #LogicProgramming

1 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Take-aways from using Deduce in the classroom During two weeks of September 2024 I experimented with using the Deduce proof assistant in an honors undergraduate data structures course at...

Take-aways from using Deduce in the classroom. ~ Jeremy Siek (@jeremysiek@types.pl). siek.blogspot.com/2024/10/take... #ITP #Deduce

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Deduce: A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs. ~ Jeremy Siek (@jeremysiek@types.pl). github.com/jsiek/deduce #Algorithms #FunctionalProgramming #ITP #Deduce

0 0 0 0

José A. Alonso

@jalonso.eurosky.social

1 year ago

Data structures and algorithms, correctly. ~ Jeremy Siek (@jeremysiek@types.pl). siek.blogspot.com/2024/06/data... #Algorithms #FunctionalProgramming #ITP #Deduce

0 0 0 0

Justin Buzzard

@justinbuzzard.bsky.social

1 year ago

Sometimes what is being spoken isn't the whole story and it is important to find the true story. #communication #story #important #hear #listen #deduce

1 0 0 0

Posts tagged #deduce