RAGを複雑な質問に強くする手法「CoA」について

2024/04/16 107 users coA Rag RAGシステム 生成AI 論文

本記事では、「Chain-of-Abstraction (CoA) Reasoning」についてざっくり理解します。軽めの記事です。 株式会社ナレッジセンスでは普段の業務で、生成AIやRAGシステムを活用したサービスを開発しています。 この記事は何 この記事は、最近聞くようになった「Chain-of-Abstraction (CoA) Reasoning」の論文[1]について、... 続きを読む

Agda による圏論入門

2013/08/22 68 users Agda Record level 要約 圏論入門

Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 Agda の入門の要約 Agda の入門　 Agda の集合の Level　 Agda の record 　 Agda のReasoning 　 Caategory module と圏の入門 自然変換 IdentityFu... 続きを読む

人間は一番疲れている時に一番創造的になれる!? : ライフハッカー［日本版］

2012/02/13 47 users ライフハッカー 人間 Thinking 日本版 Tweet

仕事術 , 豆知識 人間は一番疲れている時に一番創造的になれる!? 2012.02.13 23:30 コメント数：[ 0 ] Tweet なぜ、いいアイデアが浮かんでくるのは眠りに落ちる直前や、半分寝ながらシャワーを浴びている時が多いのか...？ と疑問に思ったことはありませんか？　情報誌『Thinking & Reasoning』に掲載されている研究発表によると、人は意識がもうろうとした状態の時... 続きを読む