2026-03-31

๋ฐ์ดํ„ฐ ์ƒ๊ด€๊ด€๊ณ„๋งŒ ๋ณด๋˜ ๊ธฐ์กด ๋ฐฉ์‹ ํ•œ๊ณ„๋ฅผ, ์‹ ๊ฒฝ-๊ธฐํ˜ธ ๊ฒฐํ•ฉ์œผ๋กœ ๋„˜์—ˆ๋‹ค๋Š” ์ ์ด ํ•ต์‹ฌ์ด์—์š”

๐Ÿ’ก ํ•œ์ค„ ์š”์•ฝ|๋ฐ์ดํ„ฐ ์ƒ๊ด€๊ด€๊ณ„๋งŒ ๋ณด๋˜ ๊ธฐ์กด ๋ฐฉ์‹ ํ•œ๊ณ„๋ฅผ, ์‹ ๊ฒฝ-๊ธฐํ˜ธ ๊ฒฐํ•ฉ์œผ๋กœ ๋„˜์—ˆ๋‹ค๋Š” ์ ์ด ํ•ต์‹ฌ์ด์—์š”.

๊ทœ์ • ์ค€์ˆ˜๊นŒ์ง€ ํ•™์Šตํ•˜๋Š” ์˜ˆ์ธก ๋ชจ๋‹ˆํ„ฐ๋ง AI๊ฐ€ ๋‚˜์™”์–ด์š”. ๋ฐ์ดํ„ฐ ์ƒ๊ด€๊ด€๊ณ„๋งŒ ๋ณด๋˜ ๊ธฐ์กด ๋ฐฉ์‹ ํ•œ๊ณ„๋ฅผ, ์‹ ๊ฒฝ-๊ธฐํ˜ธ ๊ฒฐํ•ฉ์œผ๋กœ ๋„˜์—ˆ๋‹ค๋Š” ์ ์ด ํ•ต์‹ฌ์ด์—์š”.

๋…ผ๋ฌธ์€ Logic Tensor Networks(LTN)๋กœ ๋„๋ฉ”์ธ ๊ทœ์น™์„ ๋ชจ๋ธ์— ์ฃผ์ž…ํ–ˆ์–ด์š”. ์˜ˆ๋ฅผ ๋“ค๋ฉด โ€œํ™˜์ž ํ‡ด์› ํ›„ 1์ฃผ ์ด์ƒ ์ง€๋‚˜์•ผ ์ˆ˜์ˆ  ๊ณ„ํš ๊ฐ€๋Šฅโ€ ๊ฐ™์€ ํ”„๋กœ์„ธ์Šค ์ œ์•ฝ์„ ํ•จ๊ป˜ ํ•™์Šต์‹œํ‚ค๋Š” ๋ฐฉ์‹์ด๊ฑฐ๋“ ์š”.

ํŒŒ์ดํ”„๋ผ์ธ์€ 4๋‹จ๊ณ„์˜ˆ์š”. ํŠน์ง• ์ถ”์ถœ, ๊ทœ์น™ ์ถ”์ถœ, ์ง€์‹๋ฒ ์ด์Šค ์ƒ์„ฑ, ์ง€์‹ ์ฃผ์ž… ์ˆœ์„œ๋กœ ์„ค๊ณ„๋๊ณ , ์ปดํ”Œ๋ผ์ด์–ธ์Šค ์ธ์ง€ ์‹คํ—˜ ์ „๋ฐ˜์—์„œ ๋ฒ ์ด์Šค๋ผ์ธ ๋Œ€๋น„ ๋” ๋†’์€ ๊ทœ์ • ์ค€์ˆ˜์™€ ์ •ํ™•๋„๋ฅผ ๋ณด์˜€์–ด์š”. ์ด ์—ฐ๊ตฌ๋Š” CAiSE 2026 ์ฑ„ํƒ ๋…ผ๋ฌธ์ด์—์š”.

์˜๋ฏธ๋Š” ๋ถ„๋ช…ํ•ด์š”. ์•ž์œผ๋กœ ์—…๋ฌด AI ํ‰๊ฐ€๋Š” ์ •ํ™•๋„๋งŒ์ด ์•„๋‹ˆ๋ผ โ€œ๊ทœ์น™์„ ์ง€ํ‚ค๋ฉฐ ๋งž์ถ”๋Š”๊ฐ€โ€๋กœ ์ด๋™ํ•˜๊ฒŒ ๋  ๊ฐ€๋Šฅ์„ฑ์ด ์ปค์กŒ์–ด์š”.

์ด ๊ธ€์ด ์–ด๋• ๋‚˜์š”?

๊ด€๋ จ ๊ธ€

๊ธฐ์กด์—” ์—์ด์ „ํŠธ ๋ฃจํ”„์™€ VS Code ํ™•์žฅ์ด ๊ฐ•ํ•˜๊ฒŒ ๋ฌถ์—ฌ ์žˆ์–ด์„œ ์œ ์ง€๋ณด์ˆ˜์™€ ํ™˜๊ฒฝ ํ™•์žฅ์ด ์–ด๋ ค์› ๋Š”๋ฐ์š”, ์ด๋ฒˆ์— ๊ธฐ๋ฐ˜์„ ์žฌ๊ตฌ์„ฑํ•˜๋ฉด์„œ CLIยทKanban์— ๋จผ์ € ์ ์šฉํ–ˆ๊ณ  IDE ํ™•์žฅ๋„ ์ˆœ์ฐจ ์ด๊ด€ ์ค‘์ด์—์š”

๊ธฐ์กด์—” ์—์ด์ „ํŠธ ๋ฃจํ”„์™€ VS Code ํ™•์žฅ์ด ๊ฐ•ํ•˜๊ฒŒ ๋ฌถ์—ฌ ์žˆ์–ด์„œ ์œ ์ง€๋ณด์ˆ˜์™€ ํ™˜๊ฒฝ ํ™•์žฅ์ด ์–ด๋ ค์› ๋Š”๋ฐ์š”, ์ด๋ฒˆ์— ๊ธฐ๋ฐ˜์„ ์žฌ๊ตฌ์„ฑํ•˜๋ฉด์„œ CLIยทKanban์— ๋จผ์ € ์ ์šฉํ–ˆ๊ณ  IDE ํ™•์žฅ๋„ ์ˆœ์ฐจ ์ด๊ด€ ์ค‘์ด์—์š”.

์žก๋Œ์Œค2๋ถ„ ์†Œ์š”

์ง€๊ธˆ์€ Google AI Studio์—์„œ ์ด๋ฏธ์ง€ ํŽธ์ง‘ยท์ง€๋„ ์žฅ์†Œ ํƒ์ƒ‰ ๋ฐ๋ชจ 2๊ฐœ๊ฐ€ ๋ผ์ด๋ธŒ๊ณ , ๋‘˜ ๋‹ค ๊ฐ€๋ฆฌํ‚ค๊ธฐ์™€ ์Œ์„ฑ์œผ๋กœ ์กฐ์ž‘๋ผ์š”

์ง€๊ธˆ์€ Google AI Studio์—์„œ ์ด๋ฏธ์ง€ ํŽธ์ง‘ยท์ง€๋„ ์žฅ์†Œ ํƒ์ƒ‰ ๋ฐ๋ชจ 2๊ฐœ๊ฐ€ ๋ผ์ด๋ธŒ๊ณ , ๋‘˜ ๋‹ค ๊ฐ€๋ฆฌํ‚ค๊ธฐ์™€ ์Œ์„ฑ์œผ๋กœ ์กฐ์ž‘๋ผ์š”.

์žก๋Œ์Œค2๋ถ„ ์†Œ์š”

์ด ํ”„๋ ˆ์ž„์›Œํฌ๋Š” LLM์ด ๋‹ค์Œ ๋‹จ๊ณ„๋ฅผ ์ฆ‰ํฅ์ ์œผ๋กœ ๊ณ ๋ฅด๋Š” ๋Œ€์‹ , Rust ์—”์ง„์ด ๋ผ์šฐํŒ…ยท์ƒํƒœ ์ „์ดยท๋„๊ตฌ ํ˜ธ์ถœ์„ ๊ฒฐ์ •๋ก ์ ์œผ๋กœ ๊ด€๋ฆฌํ•ด์š”

์ด ํ”„๋ ˆ์ž„์›Œํฌ๋Š” LLM์ด ๋‹ค์Œ ๋‹จ๊ณ„๋ฅผ ์ฆ‰ํฅ์ ์œผ๋กœ ๊ณ ๋ฅด๋Š” ๋Œ€์‹ , Rust ์—”์ง„์ด ๋ผ์šฐํŒ…ยท์ƒํƒœ ์ „์ดยท๋„๊ตฌ ํ˜ธ์ถœ์„ ๊ฒฐ์ •๋ก ์ ์œผ๋กœ ๊ด€๋ฆฌํ•ด์š”.

์žก๋Œ์Œค2๋ถ„ ์†Œ์š”